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

Research Output

Filter
Conference contribution
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

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

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

2017

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

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

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

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

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

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

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

Synthesis and verification of motor-transmission shift controller for electric vehicles

Chen, H. & Mitra, S., Jan 1 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, p. 25-35 11 p. 6843708. (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014).

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

Temporal precedence checking for switched models and its application to a parallel landing protocol

Duggirala, P. S., Wang, L., Mitra, S., Viswanathan, M. & Muñoz, C., Jan 1 2014, FM 2014: Formal Methods - 19th International Symposium, Proceedings. Springer-Verlag Berlin Heidelberg, p. 215-229 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8442 LNCS).

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

2013

Hybrid automata-based CEGAR for rectangular hybrid systems

Prabhakar, P., Duggirala, P. S., Mitra, S. & Viswanathan, M., Jan 1 2013, Verification, Model Checking, and Abstract Interpretation - 14th International Conference, VMCAI 2013, Proceedings. Springer-Verlag, p. 48-67 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7737 LNCS).

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

Verification of annotated models from executions

Duggirala, P. S., Mitra, S. & Viswanathan, M., Jan 1 2013, 2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013. IEEE Computer Society, 6658604. (2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013).

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

2012

A small model theorem for rectangular hybrid automata networks

Johnson, T. T. & Mitra, S., 2012, Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Proceedings. p. 18-34 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7273 LNCS).

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

Computing bounded reach sets from sampled simulation traces

Huang, Z. & Mitra, S., May 10 2012, HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control. p. 291-294 4 p. (HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control).

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

Differentially private iterative synchronous consensus

Huang, Z., Mitra, S. & Dullerud, G., Nov 22 2012, WPES'12 - Proceedings of the Workshop on Privacy in the Electronic Society. p. 81-89 9 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Lyapunov abstractions for inevitability of hybrid systems

Duggirala, P. S. & Mitra, S., May 10 2012, HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control. p. 115-123 9 p. (HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control).

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

Parametrized verification of distributed cyber-physical systems: An aircraft landing protocol case study

Johnson, T. T. & Mitra, S., May 31 2012, Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. p. 161-170 10 p. 6197398. (Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012).

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

Satellite rendezvous and conjunction avoidance: Case studies in verification of nonlinear hybrid systems

Johnson, T. T., Green, J., Mitra, S., Dudley, R. & Erwin, R. S., Sep 13 2012, FM 2012: Formal Methods - 18th International Symposium, Proceedings. p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7436 LNCS).

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

Static and dynamic analysis of timed distributed traces

Duggirala, P. S., Johnson, T. T., Zimmerman, A. & Mitra, S., Dec 1 2012, Proceedings of the 2012 IEEE 33rd Real-Time Systems Symposium, RTSS 2012. p. 173-182 10 p. 6424801. (Proceedings - Real-Time Systems Symposium).

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

2011

Abstraction refinement for stability

Duggirala, P. S. & Mitra, S., Aug 10 2011, Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011. p. 22-31 10 p. 5945418. (Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011).

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

A step towards verification and synthesis from Simulink/Stateflow models

Manamcheri, K., Mitra, S., Bak, S. & Caccamo, M., May 20 2011, HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control. p. 317-318 2 p. (HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control).

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

Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata

Kim, K. D., Mitra, S. & Kumar, P. R., May 20 2011, HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control. p. 113-122 10 p. (HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control).

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

Sandboxing controllers for cyber-physical systems

Bak, S., Manamcheri, K., Mitra, S. & Caccamo, M., Aug 10 2011, Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011. p. 3-12 10 p. 5945416. (Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011).

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

Stability of digitally interconnected linear systems

Johnson, T. T., Mitra, S. & Langbort, C., Dec 1 2011, 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011. p. 2687-2692 6 p. 6161264. (Proceedings of the IEEE Conference on Decision and Control).

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