Action Systems is a predicate transformer based formalism for the devel opment of reactive and distributed systems by re nement Lately Action Systems was extended with a di erential action that models continuous be haviour Such action systems capture hybrid systems where a discrete con troller interacts with some continuously evolving environment Recently we investigated a class of Action Syste...

In a standalone hybrid wind-diesel-battery system, the battery lifetime is often optimistically overpredicted by hybrid system designers and battery manufacturers. As a result, battery replacement takes place more often than required. One of the reasons is due to the underestimation of battery wear from the short charge-discharge cycles, otherwise known as microcycles. A microcycle takes place ...

Hybrid systems can switch between many operating modes where each mode is governed by its own characteristic dynamical laws. Mode transitions are triggered by variables crossing specific thresholds (state events), by the lapse of certain time periods (time events), or by external inputs (input events). A simple example of a hybrid system would be a car. The dynamics of the car switch when a gea...

The paper deals with the realization theory of bilinear hybrid systems, i.e. hybrid systems with continuous dynamics determined by bilinear control systems. We will formulate necessary and sufficient conditions for the existence of a bilinear hybrid system realizing a set of specified input/output maps. We will also present a characterization of a minimal bilinear hybrid realization and a proce...

The purpose of this report is to present research results on control of piecewise-linear hybrid systems of an investigation carried out as part of the project Verification of Hybrid Systems (VHS). Many engineering systems can in a first approximation be described by a piecewise-linear hybrid system. Moreover, the computational and complexity issues of this class of systems seems comparatively s...

Supervisory hybrid systems are systems generating a mixture of continuous-valued and discrete-valued signals. These systems provide convenient models for a wide range of complex engineering applications ranging from small real-time embedded systems to large-scale traffic control and manufacturing facilities. In recent years there has been considerable interest in using hybrid systems theory to ...

In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed so that it may be easily used for modeling large, existing embedded applications, which is a first step toward their validation. The discrete subsystem is modeled by a program written in an extension of an imperative language and the continuous subsystem is modeled by differential equation...

In this introductory article, we survey the contents of this Theme Issue. This Theme Issue deals with a fertile region of hybrid dynamical systems that are characterized by the coexistence of continuous and discrete dynamics. It is now well known that there exist many hybrid dynamical systems with discontinuities such as impact, switching, friction and sliding. The first aim of this Issue is to...