Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner RJM Theunissen, M Petreczky, RRH Schiffelers, DA van Beek, JE Rooda IEEE Transactions on Automation Science and Engineering 11 (1), 20-32, 2013 | 73 | 2013 |
A state-based framework for supervisory control synthesis and verification J Markovski, DA van Beek, RJM Theunissen, KGM Jacobs, JE Rooda 49th IEEE Conference on Decision and Control (CDC), 3481-3486, 2010 | 67 | 2010 |
Model-based engineering of supervisory controllers using CIF RRH Schiffelers, RJM Theunissen, DA Van Beek, JE Rooda Electronic Communications of the EASST 21, 2009 | 39 | 2009 |
Supervisory control synthesis for a patient support system RJM Theunissen, RRH Schiffelers, DA Van Beek, JE Rooda 2009 European Control Conference (ECC), 4647-4652, 2009 | 38 | 2009 |
Control of input/output discrete-event systems M Petreczky, RJM Theunissen, R Su, DA Van Beek, JH van Schuppen, ... 2009 European Control Conference (ECC), 1967-1972, 2009 | 14 | 2009 |
Model-based engineering of embedded systems using the hybrid process algebra Chi JCM Baeten, DA van Beek, PJL Cuijpers, MA Reniers, JE Rooda, ... Electronic Notes in Theoretical Computer Science 209, 21-53, 2008 | 14 | 2008 |
Computational effort of bdd-based supervisor synthesis of extended finite automata S Thuijsman, D Hendriks, R Theunissen, M Reniers, R Schiffelers 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 13 | 2019 |
Supervisory control in health care systems RJM Theunissen | 13 | 2015 |
Improving evolvability of a patient communication control system using state-based supervisory control synthesis RJM Theunissen, DA van Beek, JE Rooda Advanced Engineering Informatics 26 (3), 502-515, 2012 | 12 | 2012 |
Supervisory control synthesis for a patient support system. SE Report 2008–08, Eindhoven University of Technology RJM Theunissen, RRH Schiffelers, DA Beek, JE Rooda Systems Engineering Group, Department of Mechanical Engineering, Eindhoven …, 2008 | 5 | 2008 |
Process algebraic linearization of hybrid Chi RJM Theunissen, DA van Beek, JE Rooda Master's thesis, Eindhoven University of Technology, 2006 | 5 | 2006 |
Inferring Timed Message Sequence Charts from Execution Traces of Large-scale Component-based Software Systems R Jonk, J Voeten, M Geilen, R Theunissen, Y Blankenstein, T Basten, ... Eindhoven University of Technology, Department of Electrical Engineering …, 2019 | 4 | 2019 |
Application of supervisory control synthesis to MRI scanners: improving evolvability RJM Theunissen, M Petreczky, RRH Schiffelers, DA van Beek, JE Rooda Eindhoven University of Technology, The Netherlands, SE Report 6, 2010, 2010 | 4 | 2010 |
Supervisory control synthesis in the medical domain RJM Theunissen, RRH Schiffelers, DA van Beek, JE Rooda Views on Evolvability of Embedded Systems, 171-191, 2011 | 2 | 2011 |
Error handling of a patient support system using supervisory control theory B Visser, RJM Theunissen, DA van Beek, JE Rooda Master¢s thesis, Eindhoven University of Technology, Systems Engineering …, 2010 | 2 | 2010 |
Modular supervisors applied on a Patient Support System PAH Thijs, RJM Theunissen, DA van Beek, JE Rooda Eindhoven University of Technology, 2009 | 2 | 2009 |
Multi-core communication-aware scheduler for CARM 2G S Adyanthaya, RRH Schiffelers, R Theunissen, C van Huët, MCW Geilen, ... | | 2014 |
Integrating Model-Based Engineering and State-Based Supervisory Controller Synthesis RRH Schiffelers, D Hendriks, RJM Theunissen, DA van Beek, JE Rooda | | |