Dynamical systems see widespread use in natural sciences like physics, biology, and
chemistry, as well as engineering disciplines such as circuit analysis, computational fluid …

A foundational text that offers a rigorous introduction to the principles of design,
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …

Many implantable medical devices, such as pacemakers, have been recalled due to failure
of their embedded software. This motivates rethinking their design and certification …

We present a model-based falsification scheme for artificial pancreas controllers. Our
approach performs a closed-loop simulation of the control software using models of the …

Medical Cyber-Physical Systems (MCPS) are context-aware, life-critical systems with patient
safety as the main concern, demanding rigorous processes for validation to guarantee user …

Formal methods are proven techniques that provide a rigorous mathematical basis to
software development. In particular, they allow the quality of development to be effectively …

The purpose of this manuscript is to develop a reaction-diffusion heart model for closed-loop
evaluation of heart-pacemaker interaction, and to provide a hardware setup for the …

Hybrid automata are an important formalism for modeling dynamical systems exhibiting
mixed discrete–continuous behavior such as control systems and are amenable to formal …