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

The engineering of supervisory controllers for large and complex cyber-physical systems
requires dedicated engineering support. The Compositional Interchange Format language …

Due to increasing system complexity, time-to-market and development costs reduction, new
engineering processes are required. Model-based engineering processes are suitable …

Modular supervisory control may lead to conflicts among the modular supervisors for large-
scale discrete event systems. The existing methods for ensuring nonblocking control of …

Interactive, or computer-assisted, theorem proving is the verification of statements in a formal
system, where the proof is developed by a logician who chooses the appropriate inference …

Abstract Cyber-Physical Production Systems'(CPPSs) main feature is adaptability, ie they
can adapt quickly to new production goals such as new products or product variants. Today …

Hybrid systems are models for complex physical systems and have become a widely used
concept for understanding their behavior. Many applications are safety-critical, including car …

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 (CIF) supports inter-operability of a
wide range of tools by means of model transformations to and from the CIF. Work on the CIF …

After 20 years since their birth, equation-oriented and object-oriented modelling techniques
and tools are now mature, as far as solving simulation problems is concerned. Conversely …