Hybrid systems are systems consisting of discrete changes and continuous changes over time. Various systems in which computers reliably interact with their physical environment are modeled as hybrid systems. Simulation and verification of hybrid systems are done by integrating the computation of continuous dynamics and discrete changes, and by handling the uncertainties and computation errors. ...

This paper deals with stability analysis of hybrid systems. Such systems are characterized by a combination of continuous dynamics and logic based switching between discrete modes. Lyapunov theory is a well known methodology for the stability analysis of linear and nonlinear systems in control system literature. Construction of Lyapunov functions for hybrid systems is generally a difficult task...

Qualitative behaviors of first-order delay differential equations with piecewise constant arguments are the subject of many investigations see, e.g., 1–19 , while those of higherorder equations are not. However, there are reasons for studying higher-order equations with piecewise constant arguments. Indeed, as mentioned in 10 , a potential application of these equations is in the stabilization ...

In this short note we prove a hierarchical stability result that applies to hybrid dynamical systems satisfying the hybrid basic conditions of (Goebel et al., 2012). In particular, we establish sufficient conditions for uniform asymptotic stability of a compact set based on some hierarchical stability assumptions involving two nested closed sets containing such a compact set. Moreover, mimickin...

In this paper we present recent results on parametric analysis of biological models. The underlying method is based on the algorithms for computing trajectory sets of hybrid systems with polynomial dynamics. The method is then applied to two case studies of biological systems: one is a cardiac cell model for studying the conditions for cardiac abnormalities, and the second is a model of insect ...

With the aim of addressing the stabilization problem of periodic trajectories in systems composed of identical interconnected subsystems, we introduce the class of “spatiotemporally symmetric” nonlinear systems. We address in detail the linear, time-varying case and present conditions for the synthesis of a static and a dynamic stabilizing controller. We show that linear spatio-temporally symme...

The PDDL+ language has been mainly devised to allow modelling of real-world systems, with continuous, timedependant dynamics. Several interesting case studies with these characteristics have been also proposed, to test the language expressiveness and the capabilities of the support tools. However, most of these case studies have not been completely developed so far. In this paper we focus on th...

This paper presents a Model Predictive Control scheme in connection with the Mixed Logical Dynamical framework, which tackles the modelling and optimal control problem of supermarket refrigeration systems. The latter are hybrid systems with switched nonlinear dynamics and discrete-valued input variables such as valves. Simulation results indicate the potential increase in efficiency and reduced...