Semigroup models of cyber-physical systems

A new mathematical model for cyber-physical systems based on algebraic theory of interaction and the technology of insertion modeling is considered. It is based on the notion of a semigroup transition system and is abstract enough to describe a wide class of timed transition systems. Multi agent cyber-physical systems are formalized on a base of the theory of interaction of agents and environments. Using this new model allows efficient algorithms to analyze, synthesize, and verify models of cyber-physical systems.

[1]  David R. Gilbert,et al.  A Model for Interaction of Agents and Environments , 1999, WADT.

[2]  Siddhartha Kumar Khaitan,et al.  Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.

[3]  Rajeev Alur,et al.  Principles of Cyber-Physical Systems , 2015 .

[4]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[5]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[6]  Sanjit A. Seshia,et al.  Introduction to Embedded Systems , 2009 .

[7]  Thomas Weigert,et al.  Insertion Modeling and Symbolic Verification of Large Systems , 2015, SDL Forum.