In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolicnumeric method, based on SOS relaxation and interval arithmetic certification, is proposed to generate exact inequality invariants for safety verification of interval hybrid systems. As an application, an approach is provid...

Action Systems is a predicate transformer based formalism for the develop ment of reactive and distributed systems Recently Action Systems were extended with a new action called the di erential action It models con tinuous behaviour Action Systems with di erential actions are used for modelling hybrid systems In this paper we investigate what kind of hybrid systems are conve niently captured by...

Hybrid systems are the result of merging the two most commonly used models of dynamical systems, namely continuous dynamical systems defined by differential equations, and discrete event systems defined by automata. One can view hybrid systems as constrained systems. The constraints are used to describe the possible flows, invariants and transitions on one hand, and to mark certain parts of the...

This paper studies discrete impulsive hybrid systems. The comparison principle and uniform stability are established for such hybrid systems. Moreover, the attraction region is estimated. As applications, the comparison principle is used to study the robust stability problem for linear interval discrete impulsive hybrid systems and a class of nonlinear uncertain discrete impulsive hybrid systems.

We study hybrid systems with strong resets from the perspective of formal language theory. We define a notion of hybrid regular expression and prove a Kleene-like theorem for hybrid systems. We also prove the closure of these systems under determinisation and complementation. Finally, we prove that the reachability problem is undecidable for synchronized products of hybrid systems. 1991 Mathema...

Stochastic hybrid systems arise in numerous applications of systems with multiple models; e.g., air traffc management, flexible manufacturing systems, fault tolerant control systems etc. In a typical hybrid system, the state space is hybrid in the sense that some components take values in a Euclidean space, while some other components are discrete. In this paper we propose two stochastic hybrid...

Dynamic modeling and control of dc-dc series resonant converter (SRC) especially when operating in discontinuous conduction mode (DCM) is still a challenge in power electronics. Due to semiconductors switching, SRC is naturally represented as a switched linear system, a class of hybrid systems. Nevertheless, the hybrid nature of the SRC is commonly neglected and it is modeled as a purely contin...

Untapped pine needles with high potential for energy generation in the hilly area are not only a waste of resource but also increase the chance of environmental hazards as forest fires and GHG emission. This study is conducted to propose a new hybrid system (PV/Wind/Biomass) using abundant pine needle resource as a replacement of existing roof-mounted PV/wind hybrid system and analyse the feasi...

Hybrid systems combining discrete and continuous dynamics arise as mathematical models of various artificial and natural systems, and as an approximation to complex continuous systems. Reachability analysis has been the principal research question in the verification of hybrid systems, even though it is a wellknown result that most non-trivial subclasses of hybrid systems reachability and most ...

The advent of biological data of increasingly higher resolution in space and time has triggered the use of dynamic models to explain and predict the evolution of biological systems over space and time. Computer-aided system modeling and analysis in biology has led to many new discoveries and explanations that would otherwise be intractable to articulate without the available data and computing ...