Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems

  title={Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems},
  author={Shankara Narayanan Krishna and Ashutosh Trivedi},
The presence of a tight integration between the discrete control (the “cyber”) and the analog environment (the “physical”)—via sensors and actuators over wired or wireless communication networks—is the defining feature of cyberphysical systems. Hence, the functional correctness of a cyberphysical system is crucially dependent not only on the dynamics of the analog physical environment, but also on the decisions taken by the discrete control that alter the dynamics of the environment. The… CONTINUE READING
4 Citations
85 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 85 references

Numerical simulation and modelling of electronic and biochemical systems

  • Jaijeet Roychowdhury
  • Foundations and Trends in Electronic Design…
  • 2009
Highly Influential
12 Excerpts

Model Checking

  • E. M. Clarke, O. Grumberg, D. Peled
  • MIT Press,
  • 1999
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…