If you made any changes in Pure these will be visible here soon.

Research Output

2020

Multi-agent safety verification using symmetry transformations

Sibai, H., Mokhlesi, N., Fan, C. & Mitra, S., Jan 1 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 173-190 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12078 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2019

Dione: A Protocol Verification System Built with Dafny for I/O Automata

Hsieh, C. & Mitra, S., Jan 1 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 227-245 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification

Sibai, H., Mokhlesi, N. & Mitra, S., Jan 1 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

Algorithmic attack synthesis using hybrid dynamics of power grid critical infrastructures

Huang, Z., Etigowni, S., Garcia, L., Mitra, S. & Zonouz, S., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018. Institute of Electrical and Electronics Engineers Inc., p. 151-162 12 p. 8416479. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Approximate partial order reduction

Fan, C., Huang, Z. & Mitra, S., Jan 1 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 588-607 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics

Fan, C., Mathur, U., Mitra, S. & Viswanathan, M., Jan 1 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer-Verlag Berlin Heidelberg, p. 347-366 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features

Fan, C., Qi, B. & Mitra, S., Jun 2018, In : IEEE Design and Test. 35, 3, p. 31-38 8 p.

Research output: Contribution to journalArticle

Demo: DryVR 2.0 - A tool for verification and controller synthesis of black-box cyber-physical systems

Qi, B., Fan, C., Jiang, M. & Mitra, S., Apr 11 2018, HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 269-270 2 p. (HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Entropy and minimal bit rates for state estimation and model detection

Liberzon, D. & Mitra, S., Oct 2018, In : IEEE Transactions on Automatic Control. 63, 10, p. 3330-3340 11 p., 8186184.

Research output: Contribution to journalArticle

Language semantics driven design and formal analysis for distributed cyber-physical systems

Ghosh, R., Misailovic, S. & Mitra, S., Jul 23 2018, ApPLIED 2018 - Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, Co-located with PODC 2018. Association for Computing Machinery, p. 41-44 4 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Poster: Recent results in state estimation of dynamical systems with inputs under bandwidth constraints

Sibai, H. & Mitra, S., Apr 11 2018, HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 279-280 2 p. (HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Poster: CODEV: Automated model predictive control design and formal verification

Chan, N. & Mitra, S., Apr 11 2018, HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 281-282 2 p. (HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

Potok, M., Chen, C. Y., Mitra, S. & Mohan, S., Aug 21 2018, Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 88-97 10 p. 8443724. (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

State estimation of dynamical systems with unknown inputs: Entropy and bit rates

Sibai, H. & Mitra, S., Apr 11 2018, HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 217-226 10 p. (HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TightRope: Towards optimal load-balancing of paths in anonymous networks

Darir, H., Sibai, H., Borisov, N., Dullerud, G. & Mitra, S., Oct 15 2018, WPES 2018 - Proceedings of the 2018 Workshop on Privacy in the Electronic Society, co-located with CCS 2018. Association for Computing Machinery, p. 76-85 10 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verified hybrid LQ control for autonomous spacecraft rendezvous

Chan, N. & Mitra, S., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1427-1432 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verifying nonlinear analog and mixed-signal circuits with inputs

Fan, C., Meng, Y., Maier, J., Bartocci, E., Mitra, S. & Schmid, U., Jan 1 2018, In : IFAC-PapersOnLine. 51, 16, p. 241-246 6 p.

Research output: Contribution to journalArticle

2017

Bounded invariant verification for time-delayed nonlinear networked dynamical systems

Huang, Z., Fan, C. & Mitra, S., Feb 1 2017, In : Nonlinear Analysis: Hybrid Systems. 23, p. 211-229 19 p.

Research output: Contribution to journalArticle

Differential Privacy and Minimum-Variance Unbiased Estimation in Multi-agent Control Systems

Wang, Y., Mitra, S. & Dullerud, G. E., Jul 2017, In : IFAC-PapersOnLine. 50, 1, p. 9521-9526 6 p.

Research output: Contribution to journalArticle

Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs

Wang, Y., Huang, Z., Mitra, S. & Dullerud, G. E., Mar 2017, In : IEEE Transactions on Control of Network Systems. 4, 1, p. 118-130 13 p., 7833044.

Research output: Contribution to journalArticle

Dryvr: Data-driven verification and compositional reasoning for automotive systems

Fan, C., Qi, B., Mitra, S. & Viswanathan, M., Jan 1 2017, Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings. Kuncak, V. & Majumdar, R. (eds.). Springer-Verlag, p. 441-461 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10426 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Optimal data rate for state estimation of switched nonlinear systems

Sibai, H. & Mitra, S., Apr 13 2017, HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 71-80 10 p. (HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Simulation-driven reachability using matrix measures

Fan, C., Kapinski, J., Jin, X. & Mitra, S., Dec 2017, In : ACM Transactions on Embedded Computing Systems. 17, 1, 21.

Research output: Contribution to journalArticle

The 20th ACM International Conference on Hybrid Systems: Computation and Control [Conference Reports]

Frehse, G. & Mitra, S., Oct 2017, In : IEEE Control Systems. 37, 5, p. 98-99 2 p., 8038969.

Research output: Contribution to journalArticle

2016

Automatic reachability analysis for nonlinear hybrid models with C2E2

Fan, C., Qi, B., Mitra, S., Viswanathan, M. & Duggirala, P. S., Jan 1 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 531-538 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Differential privacy in control and network systems

Cortes, J., Dullerud, G. E., Han, S., Ny, J. L., Mitra, S. & Pappas, G. J., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 4252-4272 21 p. 7798915. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Entropy and minimal data rates for state estimation and model detection

Liberzon, D. & Mitra, S., Apr 11 2016, HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, p. 247-256 10 p. (HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Entropy notions for state estimation and model detection with finite-data-rate measurements

Liberzon, D. & Mitra, S., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 7335-7340 6 p. 7799402. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Locally optimal reach set over-approximation for nonlinear systems

Fan, C., Kapinski, J., Jin, X. & Mitra, S., Oct 1 2016, Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016. Association for Computing Machinery, Inc, a6. (Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

Duggirala, P. S., Fan, C., Potok, M., Qi, B., Mitra, S., Viswanathan, M., Bak, S., Bogomolov, S., Johnson, T. T., Nguyen, L. V., Schilling, C., Sogokon, A., Tran, H. D. & Xiang, W., Oct 10 2016, 2016 IEEE Conference on Control Applications, CCA 2016. Institute of Electrical and Electronics Engineers Inc., p. 1024-1029 6 p. 7587948. (2016 IEEE Conference on Control Applications, CCA 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

A strategy for automatic verification of stabilization of distributed algorithms

Ghosh, R. & Mitra, S., Jan 1 2015, Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Viswanathan, M. & Graf, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 35-49 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9039).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bounded verification with on-the-fly discrepancy computation

Fan, C. & Mitra, S., Jan 1 2015, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). Springer-Verlag, p. 446-463 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9364).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

C2E2: A verification tool for stateflow models

Duggirala, P. S., Mitra, S., Viswanathan, M. & Potok, M., Jan 1 2015, Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Tinelli, C. & Baier, C. (eds.). Springer-Verlag Berlin Heidelberg, p. 68-82 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9035).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm

Huang, Z., Wang, Y., Mitra, S., Dullerud, G. E. & Chaudhuri, S., Feb 8 2015, 54rd IEEE Conference on Decision and Control,CDC 2015. Institute of Electrical and Electronics Engineers Inc., p. 7434-7439 6 p. 7403394. (Proceedings of the IEEE Conference on Decision and Control; vol. 54rd IEEE Conference on Decision and Control,CDC 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Demo: C2E2 - A tool for verifying annotated hybrid systems

Duggirala, P. S., Potok, M., Mitra, S. & Viswanathan, M., Apr 14 2015, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015. Association for Computing Machinery, Inc, p. 307-308 2 p. (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Differentially private distributed optimization

Huang, Z., Mitra, S. & Vaidya, N., Jan 4 2015, ICDCN 2015 - Proceedings of the 16th International Conference on Distributed Computing and Networking. Association for Computing Machinery, (ACM International Conference Proceeding Series; vol. 04-07-January-2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hybrid automata-based CEGAR for rectangular hybrid systems

Prabhakar, P., Duggirala, P. S., Mitra, S. & Viswanathan, M., Apr 1 2015, In : Formal Methods in System Design. 46, 2, p. 105-134 30 p.

Research output: Contribution to journalArticle

Meeting a powertrain verification challenge

Duggirala, P. S., Fan, C., Mitra, S. & Viswanathan, M., Jan 1 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Pasareanu, C. S., Kroening, D., Pasareanu, C. S. & Kroening, D. (eds.). Springer-Verlag, p. 536-543 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9206).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking tap withdrawal in c. Elegans

Islam, M. A., De Francisco, R., Fan, C., Grosu, R., Mitra, S. & Smolka, S. A., Jan 1 2015, Hybrid Systems Biology - 4th International Workshop, HSB 2015, Revised Selected Papers. Abate, A. & Šafránek, D. (eds.). Springer-Verlag, p. 195-210 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9271).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Safe and stabilizing distributed multi-path cellular flows

Johnson, T. T. & Mitra, S., May 10 2015, In : Theoretical Computer Science. 579, p. 9-32 24 p.

Research output: Contribution to journalArticle

Simulation-Based Verification of Cardiac Pacemakers with Guaranteed Coverage

Huang, Z., Fan, C., Mereacre, A., Mitra, S. & Kwiatkowska, M., Jan 1 2015, In : IEEE Design and Test. 32, 5, p. 27-34 8 p., 7130608.

Research output: Contribution to journalArticle

StarL: Towards a unified framework for programming, simulating and verifying distributed robotic systems

Lin, Y. & Mitra, S., Jun 4 2015, LCTES 2015 - Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems. Association for Computing Machinery, p. 88-97 10 p. (Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES); vol. 2015-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

StarL: Towards a unified framework for programming, simulating and verifying distributed robotic systems

Lin, Y. & Mitra, S., May 2015, In : ACM SIGPLAN Notices. 50, 5, p. 83-92 10 p., a9.

Research output: Contribution to journalArticle

2014

Anonymized reachability of hybrid automata networks

Johnson, T. T. & Mitra, S., Jan 1 2014, Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Proceedings. Springer-Verlag, p. 130-145 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8711 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems

Wang, Y., Huang, Z., Mitra, S. & Dullerud, G. E., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 2130-2135 6 p., 7039713.

Research output: Contribution to journalConference article

Invariant verification of nonlinear hybrid automata networks of cardiac cells

Huang, Z., Fan, C., Mereacre, A., Mitra, S. & Kwiatkowska, M., Jan 1 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer-Verlag, p. 373-390 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On the cost of differential privacy in distributed control systems

Huang, Z., Wang, Y., Mitra, S. & Dullerud, G. E., Jan 1 2014, p. 105-114. 10 p.

Research output: Contribution to conferencePaper

Proofs from simulations and modular annotations

Huang, Z. & Mitra, S., Jan 1 2014, p. 183-192. 10 p.

Research output: Contribution to conferencePaper

Proving abstractions of dynamical systems through numerical simulations

Mitra, S., Jan 1 2014, Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014. Association for Computing Machinery, 12. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution