User Tools

Site Tools


vanbeek:newpublications

Publications starting from 2009

Refereed journal publications

Theunissen, R.J.M., Petreczky, M., Schiffelers, R.R.H., van Beek, D.A. & Rooda, J.E. (2014). Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner. IEEE Transactions on Automation Science and Engineering, 11(1), 20-32.

Nadales Agut, D.E., van Beek, D.A. & Rooda, J.E. (2013). Syntax and semantics of the compositional interchange format for hybrid systems. Journal of Logic and Algebraic Programming, 82(1), 1-52, DOI link.

Theunissen, R.J.M., van Beek, D.A. & Rooda, J.E. (2012). Improving evolvability of a patient communication control system using state-based supervisory control synthesis. Advanced Engineering Informatics, 26(3), 502-515, DOL link.

Refereed proceedings

2012

Markovski, J., Beek, D.A. van & Baeten, J.C.M. (2012). Partially-supervised plants : embedding control requirements in plant components. In J. Derrick, S. Gnesi, D. Latella & H. Treharne (Eds.), Proceeding of the Integrated Formal Methods (9th International Conference, IFM 2012, Pisa. Proceedings), (Lecture Notes in Computer Science, 7321, pp. 253-267). Berlin: Springer.

2011

Baeten, J.C.M., Beek, D.A. van, Hulst, A.C. van & Markovski, J. (2011). A process algebra for supervisory coordination. In L. Aceto & M.R. Mousavi (Eds.), Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik), (Electronic Proceedings in Theoretical Computer Science, 60, pp. 36-55). EPTCS.

Baeten, J.C.M., Beek, D.A. van, Luttik, S.P., Markovski, J. & Rooda, J.E. (2011). A process-theoretic approach to supervisory control theory. Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco), (pp. 4496-4501). Piscataway: IEEE Service Center.

Nadales Agut, D.E., Beek, D.A. van, Beohar, H., Cuijpers, P.J.L. & Fonteijn, J. (2011). The hierarchical compositional interchange format. In B.K. Aichering, F.S. de Boer & M.M. Bonsangue (Eds.), Proceeding of the Proceedings of the Formal Methods for Components and Objects (FMCO 2011), Graz, (Lecture Notes in Computer Science, 6957, pp. 316-335). Berlin: Springer.

Nadales Agut, D.E., Reniers, M.A., Schiffelers, R.R.H., Jorgensen, K.E. & Beek, D.A. van (2011). A semantic-preserving transformation from the compositional interchange format to UPPAAL. In S. Bittanti, A. Cenedese & S. Zampieri (Eds.), Proceeding of the Proceedings of the 18th IFAC World Congress, Milano.

2010

Beek, D.A. van, Cuijpers, P.J.L., Markovski, J., Nadales Agut, D.E. & Rooda, J.E. (2010). Reconciling urgency and variable abstraction in a hybrid compositional setting. In K. Chatterjee & T.A. Henzinger (Eds.), Formal Modeling and Analysis of Timed Systems (8th International Conference, FORMATS 2010, Klosterneuburg. Proceedings), (Lecture Notes in Computer Science, 6246, pp. 47-61). Berlin: Springer.

Beohar, H., Nadales Agut, D.E., Beek, D.A. van & Cuijpers, P.J.L. (2010). Hierarchical states in the compositional interchange format. In L. Aceto & P. Sobocinski (Eds.), Seventh Workshop on Structural Operational Semantics (SOS'10, Paris), (Electronic Proceedings in Theoretical Computer Science, 32, pp. 42-56).

Markovski, J., Beek, D.A. van, Theunissen, R.J.M., Jacobs, K.G.M. & Rooda, J.E. (2010). A state-based framework for supervisory control synthesis and verification. Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010), Atlanta (pp. 3481-3486). IEEE.

Markovski, J., Jacobs, K.G.M., Beek, D.A. van, Somers, L.J.A.M. & Rooda, J.E. (2010). Coordination of resources using generalized state-based requirements. WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin), (pp. 300-305). Germany, Berlin.

2009

Beek, D.A. van, Collins, P., Nadales Agut, D.E., Rooda, J.E. & Schiffelers, R.R.H. (2009). New concepts in the abstract format of the compositional interchange format. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, (pp. 1-7).

Petreczky, M., Collins, P., Beek, D.A. van, Schuppen, J.H. van & Rooda, J.E. (2009). Sampled-data control of hybrid systems with discrete inputs and outputs. Proceeding of the Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), Zaragoza.

Petreczky, M., Theunissen, R.J.M., Su, Rong, Beek, D.A. van, Schuppen, J.H. van & Rooda, J.E. (2009). Control of input/output discrete-event systems. Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary, (pp. 1-6). Budapest.

Schiffelers, R.R.H., Pogromski, A.Y., Beek, D.A. van & Rooda, J.E. (2009). Hybrid Modeling and Simulation of plant/controller Combinations. 3rd IEEE Multi-conference on Systems and Control, (pp. 1384-1390). Piscataway: IEEE.

Schiffelers, R.R.H., Theunissen, R.J.M., Beek, D.A. van & Rooda, J.E. (2009). Model-Based Engineering of Supervisory Controllers using CIF. In T. Levendovsky & L. Lengyel (Eds.), Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009), (Electronic Communications of the EASST, 21, pp. 1-10).

Sonntag, C.L.W., Schiffelers, R.R.H., Beek, D.A. van, Rooda, J.E. & Engell, S. (2009). Modeling and simulation using the compositional interchange format for hybrid systems. In I. Troch & F. Breitenecker (Eds.), Proceedings MATHMOD 09 Vienna, (ARGESIM Report, 35). Austria, Vienna.

Theunissen, R.J.M., Schiffelers, R.R.H., Beek, D.A. van & Rooda, J.E. (2009). Supervisory control synthesis for a patient support system. Proceedings of 10th European Control Conference (ECC'09), Budapest, (pp. 1-6). Europea Union Control Association (EUCA).

PhD theses contributions (advisor)

Nadales Agut, D.E. (2012). A compositional interchange format for hybrid systems : design and implementation. Technische Universiteit Eindhoven.

vanbeek/newpublications.txt · Last modified: Monday, 03 February 2014 : 10:22:11 by vanbeek