Compositional Cyber-Physical Systems Theory

Georgios Bakirtzis
A major impedance to engineering safe and secure cyber-physical systems is the lack of formal relationships between different types of models necessary for design. These various models are necessary because of the coupled physical and computational dynamics present in cyber-physical systems as well as the different properties system designers want to assure about a system. Each of the individual models has a set of rules describing what operations are allowed and which are not, including...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.