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 2019

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

Equivariant
Dynamical systems
Safety
Dynamical system
Symmetry

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