Invited Talk: Formal Verification of Cyber Physical Systems - A Survey

The IoT wireless nets subject area includes logical and physical message transmission aspects and supports any CPS communication models with connection control function in

We apply IHYDE to identify network models in real-time and to infer transition logic for model changes using data from advanced metering infrastructure. The 33-bus

In fact, to achieve the purpose of the cooperation between the different Information Systems, information must be physically exchanged (technical interoperability), must

Since SysML [28], the OMG 1 standard for sys- tems engineering, is a modeling language commonly used in the industry, and Simulink is a de facto standard for what is referred to

In 5th International Robotic Sailing Conference, pages 107–119, Cardiff, Wales, England, 2012..

The key idea of our approach for the formal verification of intelligent CPS is to augment existing approaches that provide transformations from industrially used design languages

The computation of the reachable set, i.e., the set of all states that can be reached under the dynamical evolution starting from a given initial state set, is thus of

As CPS are often large-scale systems and the control software for self-adaptation is decentralised, an important challenge is to decide what information is collected where, what and