Rolf J. M. Theunissen

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 1

Top Topics

Supervisory Control

Finite Automaton

Magnetic Resonance Imaging

Top Venues

IEEE Trans Autom. Sci. Eng.

Adv. Eng. Informatics

Publications

Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers
Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. CASE (2019)
Rolf J. M. Theunissen, Mihály Petreczky, Ramon R. H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda
Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
Improving evolvability of a patient communication control system using state-based supervisory control synthesis. Adv. Eng. Informatics 26 (3) (2012)
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda
A state-based framework for supervisory control synthesis and verification. CDC (2010)
Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
Model-Based Engineering of Supervisory Controllers using CIF. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, Jacobus E. Rooda
Supervisory control synthesis for a patient support system. ECC (2009)
Mihály Petreczky, Rolf J. M. Theunissen, Rong Su, D. A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda
Control of input/output discrete-event systems. ECC (2009)
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electron. Notes Theor. Comput. Sci. 209 (2008)