User Tools

Site Tools


supcon:publications

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
supcon:publications [Tuesday, 11 January 2011 : 10:06:42]
vanbeek
supcon:publications [Friday, 26 August 2011 : 14:39:07] (current)
vanbeek
Line 1: Line 1:
 +==== 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) {{:​supcon:​cdc2010.pdf|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) {{:​supcon:​wodes2010.pdf|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) {{:​twins:​paper_pact_-_oce_bertens_26fabel.pdf|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) {{:​projects:​darwin:​ecc09_final.pdf|pdf}}
 +
 +==== Technical reports ====
 +
 +See the [[http://​w3.wtb.tue.nl/​nl/​onderzoek/​research_groups/​systems_engineering/​se_research_activities/​se_reports/​|Systems Engineering Technical Reports]]
 +
 +==== Presentations ====
 +R.R.H. Schiffelers, ​ R.J.M. Theunissen, J.M. van de Mortel, D.A. van Beek and J.E. Rooda, {{:​darwin:​bac2008.pdf|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, {{:​darwin:​esi2008.pdf|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