A number of powerful and scalable hybrid systems model checkers have recently emerged.
Although all of them honor roughly the same hybrid systems semantics, they have drastically …

Control and coordination is an important aspect of the development of complex machines
due to an ever increasing demand for better functionality, quality, and performance. We …

Designing and modeling complex cyber-physical systems (CPS) faces the double challenge
of combined discrete-continuous dynamics and concurrent behavior. Existing formal …

Complex embedded systems consist of software and hardware components that operate
autonomous devices interacting with the physical environment. The complexity of such …

Supervisory control theory (SCT) provides a formal approach to supervisory controller
synthesis. In this paper, SCT is used to design a supervisory controller for a patient support …

The compositional interchange format for hybrid systems is syntactically and semantically
defined in terms of an interchange automaton in an abstract format, allowing among others …

Different modeling formalisms for timed and hybrid systems exist, each of which addresses a
specific set of problems, and has its own set of features. These formalisms and tools can be …

The idea to use simulations (or refinements) as a compositional abstraction device is well-
known, both in untimed and timed settings, and has already been studied theoretically and …

The compositional interchange format for hybrid systems (CIF) supports inter-operability of a
wide range of tools by means of model transformations to and from the CIF. Work on the CIF …

In this paper we consider the semantics for the evolution of hybrid systems, and the
computability of the evolution with respect to these semantics. We show that with respect to …