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 …

In Ramadge–Wonham supervisory control theory we often need to check nonconflict of
plants and corresponding synthesized supervisors. For a large system such a check …

The development of supervisory controllers for cyber-physical systems is a difficult and error-
prone process. Supervisor synthesis enables control designers to automatically synthesize a …

In this article, we investigate the synthesis of a (possibly nondeterministic) supervisor, with
partial information, such that the controlled nondeterministic plant is bisimulation equivalent …

In the coming decades, numerous locks and bridges in the Netherlands have to be
renovated or replaced, as they reach their end-of-life or have capacity problems. In the past …

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 …