Search Results - "Theunissen, R J M"

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner by Theunissen, R. J. M., Petreczky, M., Schiffelers, R. R. H., van Beek, D. A., Rooda, J. E.

“…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…”
Get full text

A state-based framework for supervisory control synthesis and verification by Markovski, J, van Beek, D A, Theunissen, R J M, Jacobs, K G M, Rooda, J E

“…We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former…”
Get full text

Improving evolvability of a patient communication control system using state-based supervisory control synthesis by Theunissen, R.J.M., van Beek, D.A., Rooda, J.E.

“…Supervisory control theory enables control system designers to specify a model of the uncontrolled system in combination with control requirements, and…”
Get full text

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi by Baeten, J.C.M., van Beek, D.A., Cuijpers, P.J.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H., Theunissen, R.J.M.

“…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…”
Get full text

Control of input/output discrete-event systems by Petreczky, M., Theunissen, R. J. M., Su, R., van Beek, D. A., van Schuppen, J. H., Rooda, J. E.

“…A class of control problems for discrete-event systems is proposed, inspired by applications in the domain of high-tech systems. The control problem asks for…”
Get full text