Rolf J. M. Theunissen

Learn More
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements and operators for combining these. For the efficient implementation of simulators and the verification of properties of hybrid systems it is convenient to have a model that uses a(More)
In the Model-Based Engineering (MBE) paradigm, models are the core elements in the design process of a system from its requirements to the actual implementation of the system. By means of Supervisory Control Theory (SCT), supervisory controllers (supervisors) can be synthesized instead of designing them manually. In this paper, a framework based on the(More)
— We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for intuitive specification of the control requirements, whereas the latter are employed for liveness verification in order to ensure that the supervisor does not disable desired(More)
—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 resonance imaging (MRI) scanner. We discuss the whole developmental cycle, starting from the mathematical models of the uncontrolled system and of the control requirements, and ending(More)
  • 1