Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis
Kyoung-Dae Kim · Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) · 2011
A cyber-physical system is a system which encompasses computing, communication, and physical entities with emphasis on their interactions. In this work, we study two different aspects of cyber-physical systems: mechanisms as well as policy. At the mechanism end we study how to provide a platform for developing cyber-physical systems, and at the policy end we study how to analyze the performance of the overall control system. For the purpose of verification of certain high-level properties, a cyberphysical system can be viewed as a hybrid system. It is indeed useful to do so since properties such as safety can then be studied through a reachable set computation. Towards this end, we propose a theory for an overapproximation of the reachable set for a special class of hybrid systems, over a finite time interval, under a certain deterministic and transversal discrete transition condition. A prototype software tool based on the proposed theory is also implemented and used to demonstrate the computation of such an over-approximate reachable set. At the