The number of advanced driver assistance systems (ADASs) and the level of automation in
modern vehicles is increasing at a rapid pace. Moreover, multiple of these ADASs can be …

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

In this paper, we present a case-study on application of Ramadge-Wonham supervisory
control theory (abbreviated by SCT in the sequel) to a patient support system of a magnetic …

Increasing system complexity, time to market and development costs reduction place higher
demands on engineering processes. Formal models play an important role here because …

Development of high-level supervisory controllers is an important challenge in the design of
high-tech systems. It has become a significant issue due to increased complexity, combined …

We extend an existing model-based framework for supervisory control synthesis with
generalized control and verification state-based requirements. The former stem from the …

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 …

Traffic management systems are used to efficiently use the available highway infrastructure
and to improve traffic safety. For example, traffic on the Dutch highway is measured and …

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

It is recognized by various engineering disciplines that models support and speed up the
development of systems consisting of numerous closely related computational and physical …