Hybrid systems are systems that exhibit a combination of discrete and continuous behavior.
Typical hybrid systems include computer components, which operate in discrete program …

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a
basic mathematical framework to support description and analysis of timed (computing) …

We propose a new hybrid I/O automaton model that is capable of describing both continuous
and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] …

Hybrid systems are models which combine discrete and continuous behavior. They occur
frequently in safety-critical applications in various domains such as health care …

We describe the timed input/output automata (TIOA) framework, a general mathematical
framework for modeling and analyzing real-time systems. It is based on timed I/O automata …

Safety verification and reachability analysis for hybrid systems is a very active research
domain. Many approaches that seem quite different, have been proposed to solve this …

Although soft robots show safer interactions with their environment than traditional robots,
soft mechanisms and actuators still have significant potential for damage or degradation …

Combining; discrete state transitions with differential equations, Hybrid system models
provide an expressive formalism for describing software systems that interact with a physical …

The design of reliable embedded control systems inherits the difficulties involved in
designing both control systems and distributed (concurrent) computing systems. Design …

Quantitative model checking and performance evaluation deal with the analysis of complex
systems that must not only satisfy correctness requirements, but also meet performance and …