Cyber-physical systems (CPSs) have emerged as a potential enabling technology to handle
the challenges in social and economic sustainable development. Since it was proposed in …

Cyber-physical systems require the construction and management of various models to
assure their correct, safe, and secure operation. These various models are necessary …

Hybrid systems are complex systems where a software controller interacts with a physical
environment, usually named a plant, through sensors and actuators. The specification and …

Deductive verification of hybrid systems (HSs) increasingly attracts more attention in recent
years because of its power and scalability, where a powerful specification logic for HSs is …

Designing and modeling complex cyber-physical systems (CPS) faces the double challenge
of combined discrete-continuous dynamics and concurrent behavior. Existing formal …

Hybrid dynamical systems describe the mixed discrete dynamics and continuous dynamics
of cyber-physical systems such as aircraft, cars, trains, and robots. To justify correctness …

Model-based design has become the predominant approach to the design of hybrid and
cyber-physical systems (CPSs). It advocates the use of mathematically founded models to …

This dissertation builds a compositional cyber-physical systems theory to develop concrete
semantics relating the above diverse views necessary for safety and security assurance. In …

Abstract Cyber–Physical systems (CPS), combining continuous physical behavior and
discrete control behavior, have been widely utilized in recent years. However, the traditional …

We introduce a new system for object-oriented distributed hybrid systems to verify object
invariants and method contracts. In a hybrid setting, the object invariant must not only be the …