User Tools

Site Tools


supcon:publications

Book Chapters

R.J.M. Theunissen, R.R.H. Schiffelers, D.A. van Beek, and J.E. Rooda, Supervisory Control Synthesis in the Medical Domain, in Views on Evolvability of Embedded Systems; Editors: Pierre van de Laar and Teade Punter, 320, Springer, ISBN 978-90-481-9848-1 (2010)

Journal publications

R. Su, J.H. Schuppen, J.E. Rooda, Model abstraction of nondeterministic finite-state automata in supervisor synthesis, IEEE Trans. on Aut. Control, in press, to appear in November, (2010)

R. Su, J.H. Schuppen, J.E. Rooda, Aggregative synthesis of distributed supervisors based on automaton abstraction, IEEE Trans. on Aut. Control, 55(7), 1627-1640, (2010)

R. Su, J.H. Schuppen, J.E. Rooda, A.T. Hofkamp, Nonconflict check by using sequential automaton abstractions, Automatica, 46(6), 968-978, (2010)

Proceedings

J. Markovski, D.A. van Beek, R.J.M. Theunissen, K.G.M. Jacobs, and J.E. Rooda: A State-Based Framework for Supervisory Control Synthesis and Verification, in 49th IEEE Conference on Decision and Control, Atlanta, pp. 3481-3486, (2010) pdf

J. Markovski, K.G.M. Jacobs, D.A. van Beek, L.J.A.M. Somers, J.E. Rooda, Coordination of Resources using Generalized State-Based Requirements, in 10th International Workshop on Discrete Event Systems; Editors: J. Raisch, A. Giua, S. Lafortune, T. Moor, Berlin, Germany, 300–305, (2010) pdf

S.T.J. Forschelen, J.M. van de Mortel-Fronczak, R. Su, J.E. Rooda, Application of Supervisory Control Theory to Theme Park Vehicles, in 10th International Workshop on Discrete Event Systems; Editors: J. Raisch, A. Giua, S. Lafortune, T. Moor, Berlin, Germany, pp. 303-309, (2010)

E. Bertens, R. Fabel, M. Petreczky, D.A. van Beek, J.E. Rooda. Supervisory control synthesis for exception handling in printers. In Proc. Philips Conference on Applications of Control Technology, (2009) pdf

M. Petreczky, R.J.M. Theunissen, R. Su, D.A. van Beek, J.H. van Schuppen, J.E. Rooda, Control of input/output discrete-event systems, in Proceedings of 10th European Control Conference; Budapest, Hungary, pp. 1967-1972, (2009)

R. Su, J.H. van Schuppen, J.E. Rooda, Efficient nonconflict check by using automaton abstractions, in Proceedings of 10th European Control Conference; Budapest, Hungary, pp. 1997-2002, (2009)

R. Su, J.H. van Schuppen, J.E. Rooda, An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems, in The 17th Mediterranean Conference on Control and Automation; Thessaloniki, Greece, pp. 1120-1125, (2009)

R. Su, J.H. van Schuppen, J.E. Rooda, Synthesize nonblocking distributed supervisors with coordinators, in The 17th Mediterranean Conference on Control and Automation; Thessaloniki, Greece, pp. 1108-1113, (2009)

R. Su, J.H. van Schuppen, J.E. Rooda, Synthesizing nonblocking distributed supervisors based on automaton abstraction, in 47th IEEE Conference on Descision and Control (CDC08); Cancun, Mexico, pp. 883-888, (2008)

R. Su, J.H. van Schuppen, J.E. Rooda, Supervisor synthesis based on abstractions of nondeterministic automata, in 9th International Workshop on Discrete Event Systems; Goteborg, Sweden, pp. 412-418, (2008)

R.J.M. Theunissen, R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda, Supervisory control synthesis for a patient support system, in Proceedings of the European control conference, pp. 4647-4652, (2009) pdf

Technical reports

Presentations

R.R.H. Schiffelers, R.J.M. Theunissen, J.M. van de Mortel, D.A. van Beek and J.E. Rooda, Engineering based on mathematical models, Bits&Chips 2008 Embedded Systems, Eindhoven, October 9, 2008.

R.J.M. Theunissen, R.R.H. Schiffelers, D.A. van Beek and J.E. Rooda, Supervisory control synthesis for a patient support table, ESI symposium, Eindhoven, December 4, 2008.

supcon/publications.txt · Last modified: Friday, 26 August 2011 : 14:39:07 by vanbeek