Rolf J. M. Theunissen

According to our database, Rolf J. M. Theunissen authored at least 8 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata.

Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2014

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner.

Rolf J. M. Theunissen, Mihály Petreczky, Ramon R. H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda

IEEE Trans Autom. Sci. Eng., 2014

2012

Improving evolvability of a patient communication control system using state-based supervisory control synthesis.

Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda

Adv. Eng. Informatics, 2012

2010

A state-based framework for supervisory control synthesis and verification.

Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Model-Based Engineering of Supervisory Controllers using CIF.

Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Supervisory control synthesis for a patient support system.

Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, Jacobus E. Rooda

Proceedings of the 10th European Control Conference, 2009

Control of input/output discrete-event systems.

Mihály Petreczky, Rolf J. M. Theunissen, Rong Su, D. A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda

Proceedings of the 10th European Control Conference, 2009

2006

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi.

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

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006