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

摘要

The defining feature of a cyber-physical system(CPS) is the presence of a tight integration of the discrete control(the “cyber”) with the analog environment (the “physical”) viasensors and actuators over wired or wireless communicationnetworks. Hence the