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

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 5 Similar Profiles
Hybrid systems Engineering & Materials Science
Hybrid Automata Mathematics
Hybrid Systems Mathematics
Automata Mathematics
Controllers Engineering & Materials Science
State estimation Engineering & Materials Science
Entropy Engineering & Materials Science
Trajectories Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2003 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

Critical infrastructures
Electricity
Control systems
Hybrid systems
Topology

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, 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

Order Reduction
Partial Order
Experiments
Labeled Transition System
Reachability Analysis

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, 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

Synthesis
Specification
Specifications
Controller
Controllers

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

Control systems

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

Specifications
Controllers
Simulators
Cyber Physical System