User Tools

Site Tools


vanbeek:publications

Publications until 2008

Refereed journal publications

J.C.M. Baeten, D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, R.J.M. Theunissen, Model-based engineering of embedded systems using the hybrid process algebra Chi, Electronic Notes in Theoretical Computer Science, vol. 209, 21-53, 2008, DOI link.

D.A. van Beek, J.E. Rooda, R.R.H. Schiffelers, K.L. Man, M.A. Reniers, Relating hybrid Chi to other formalisms, Electronic Notes in Theoretical Computer Science, vol. 191, 85-113, 2007, DOI link.

D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Syntax and Consistent Equation Semantics of Hybrid Chi, Journal of Logic and Algebraic Programming, special issue on hybrid systems, vol. 68, no. 1-2, 129-210, 2006, DOI link.

D.A. van Beek, V. Bos, J.E. Rooda, Declaration of unknowns in DAE-based hybrid system specification, ACM Transactions on Modeling and Computer Simulation, vol. 13, no. 1, 1-23, 2003.

J.P.M. Schmitz, D.A. van Beek, J.E. Rooda, Chaos in Discrete Production Systems? Journal of Manufacturing Systems, vol. 21, no. 3, 236-246, 2002.

G. Fábián, D.A. van Beek, J.E. Rooda, Index reduction and discontinuity handling using substitute equations, Mathematical and Computer Modelling of Dynamical Systems, vol. 7, no. 2, 173-187, 2001.

D.A. van Beek and J.E. Rooda, Languages and applications in hybrid modelling and simulation: Positioning of Chi, Control Engineering Practice, vol. 8, no. 1, 81-91, 2000.

D.A. van Beek, S.H.F. Gordijn, J.E. Rooda, Integrating Continuous-Time and Discrete-Event Concepts in Modelling and Simulation of Manufacturing Machines, Simulation Practice and Theory, vol. 5, 653-669, 1997.

D.A. van Beek and J.E. Rooda, A new mechanism for exception handling in concurrent control systems, European Journal of Control, vol. 2,no. 2, 88-100, 1996.

Book chapters

D.A. van Beek, S. Engell. Part II Tools: Introduction - Overview, open problems, In HYCON Handbook of Hybrid Systems Control: Theory - Tools - Applications, Editors: J. Lunze, Book Chapter, 2009, to be published.

D.A. van Beek, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers. Interchange formats and tool integration, in HYCON Handbook of Hybrid Systems Control: Theory - Tools - Applications, Editors: J. Lunze Book Chapter, 2009, to be published.

J.C.M. Baeten, D.A. van Beek, J.E. Rooda. Process algebra. In Handbook on Dynamic System Modeling, Editors: Paul A. Fishwick, 19-1 – 19-21, Chapman & Hall/CRC, Book Chapter, ISBN 978-1-58488-565-8, 2007.

PhD theses contributions (advisor or author)

K.L. Man and R.R.H. Schiffelers, Formal specification and analysis of hybrid systems, Ph.D. thesis, Eindhoven University of Technology, 2006.

J.J.H. Fey, Design of a fruit juice blending and packaging plant, Ph.D. thesis, Eindhoven University of Technology, 2000.

G. Fábián, A language and simulator for hybrid systems, Ph.D.thesis, Eindhoven University of Technology, 1999.

D.A. van Beek. Exception Handling in Control Systems. PhD thesis, Eindhoven University of Technology, The Netherlands, 1993.

Refereed proceedings

C. Sonntag, R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda, S. Engell, Modeling and Simulation using the Compositional Interchange Format for Hybrid Systems, in MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, Editors: I.Troch and F.Breitenecker, Vienna, Austria, 2009.

D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers, J.E. Rooda, Concrete syntax and semantics of the compositional interchange format for hybrid systems, in 17th Triennial World Congress of the International Federation of Automatic Control, Seoul, Korea, 2008.

D.A. van Beek, A.T. Hofkamp, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Co-simulation of Chi and Simulink models, in Proc. 6th EUROSIM congress on Modelling and Simulation, Ljubljana, Slovenia, CD-ROM, 2007.

D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers, J.E. Rooda, Foundations of a compositional interchange format for hybrid systems, in 10th International Conference on Hybrid Systems: Computation and Control, Editors: Alberto Bemporad, Antonio Bicchi, and Giorgio Buttazzo, Pisa, Italy, 587-600, 2007.

D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Deriving Simulators for Hybrid Chi Models, in Proc. Computer Aided Control System Design, Munich, 2006.

D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Formal verification of Chi models using PHAVer, in Proc. MathMod 2006, Editors: I. Troch and F. Breitenecker, Vienna, Austria, CD-ROM, 2006.

E.M. Bortnik, D.A. van Beek, J.M. van de Mortel-Fronczak, J.E. Rooda, Verification of timed Chi models using Uppaal, in Proc. 2nd International Conference on Informatics in Control, Robotics and Automation, Editors: J. Filipe, J.A. Cetto, J.-L. Ferrier, Barcelona, Spain, pp. 486-492, 2005.

D. A. van Beek, A. Pogromsky, H. Nijmeijer, J.E. Rooda, Convex Equations and Differential Inclusions in Hybrid Systems, in 43rd IEEE Conference on Decision and Control, Nassau Bahamas, pp. 1424-1429, 2004.

R.R.H. Schiffelers, D.A. van Beek, K.L. Man, M.A. Reniers, J. E. Rooda, Formal semantics of hybrid Chi, in Formal Modeling and Analysis of Timed Systems, FORMATS 2003, Lecture Notes in Computer Science, vol.2791, Editors: Kim Guldstrand Larsen and Peter Niebert, pp. 151-165, 2004.preprint,extended version with additional operator

D.A. van Beek, N.G. Jansen, K.L. Man, M.A. Reniers, J. E. Rooda, R.R.H. Schiffelers, Relating Chi to hybrid automata, in Proc. 2003 Winter Simulation Conference, Editors: S. Chick, P. J. Sanchez, D. Ferrin, and D. J. Morrice, New Orleans, pp. 632-640, 2003.

R.R.H. Schiffelers, D.A. van Beek, K.L. Man, M.A. Reniers, J. E. Rooda, A Hybrid Language for Modeling, Simulation and Verification, in Proc. IFAC Conference on Analysis and Design of Hybrid Systems, Editors: S. Engell, H. Gueguen and J. Zaytoon, Saint-Malo, pp. 235-240, 2003.

D.A. van Beek, A. van den Ham, J.E. Rooda, Modelling and control of process industry batch production systems, in Proc. 15th Triennial World Congress of the International Federation of Automatic Control, Editors: E.F. Camacho and L. Basanez and J.A. de la Puente, Barcelona, CD-ROM, 2002.

R.R.H. Schiffelers, D.A. van Beek, J. Meuldijk, J.E. Rooda, Hybrid modelling and simulation of pipeless batch plants, in Proc. 12th European Symposium on Computer Aided Process Engineering, Editors: J. Grievink and J. van Schijndel, The Hague, CD-ROM, 2002.

D.A. van Beek. Variables and equations in hybrid systems with structural changes. In Proc. 13th. European Simulation Symposium, Editors: N. Giambiasi and C. Frydman, Marseille, pp. 30-34, 2001.

D.A. van Beek, J.E. Rooda. Multi-domain modelling, simulation, and control. In Proc. 4th International Conference on Automation of Mixed Processes: Hybrid Dynamical Systems (ADPM2000), Editors: S. Engell, S. Kowalewski, J. Zaytoon, Dortmund, pp. 139-146, 2000.

D.A. van Beek, J.E. Rooda. Semantics of state-events in hybrid languages. In Proc. of the Third IMACS Symposium on Mathematical Modelling, Editors: I. Troch and F. Breitenecker, Vienna, pp. 421-424, 2000.

G. Fábián, D.A. van Beek, J.E. Rooda. Substitute equations for index reduction and discontinuity handling. In Proc. Third IMACS Symposium on Mathematical Modelling, Editors: I. Troch and F. Breitenecker, Vienna, pp. 213-217, 2000.

D.A. van Beek, J.E. Rooda, and B.J. Trienekens. Hybrid modelling and simulation of time-delay elements. In Proc. 11th. European Simulation Symposium, Erlangen, pp. 88-92, 1999.

D.A. van Beek and J.E. Rooda. Languages and Applications in Hybrid Modelling: Positioning of Chi. In Proc. 9th Symposium on Information Control in Manufacturing, Editors: G. Morel and F. B. Vernadat, Nancy, pp. 77-82, 1998.

G. Fábián, D.A. van Beek, J.E. Rooda. Integration of the discrete and the continuous behaviour in the hybrid Chi simulator. In Proc. 1998 European Simulation Multiconference, Editors: R. Zobel and D. Moeller, Manchester, pp. 252-257, 1998.

G. Fábián, D.A. van Beek, J.E. Rooda. Semantics of Model Composition in Hybrid Languages. In Proc. 1998 EUROSIM Conference, Editors: K. Juslin, Helsinki, pp. 269 -276, 1998.

D.A. van Beek and J.E. Rooda. Specification of Discontinuities in Hybrid Models. In Proc. 3rd International Conference on Automation of Mixed Processes: Hybrid Dynamical Systems, Editors: J. Zaytoon, Reims, pp. 415-420, 1998.

D.A. van Beek and J.E. Rooda. Specification and Simulation of Industrial Systems Using an Executable Mathematical Specification Language. In Proc. 15th. IMACS World Congress vol. 2 Numerical Mathematics, Editors: A. Sydow, Berlin, pp 721-726, 1997.

D.A. van Beek and J.E. Rooda. Design of Discrete Controllers for Continuous Systems Using Hybrid Chi. In Proc. IFAC 7th Symposium on Computer Aided Control Systems Design (CACSD'97), Editors: L. Boullart and M. Loccufier and S. E. Mattsson, Gent, pp. 9-14, 1997.

D.A. van Beek, J.E. Rooda, and S.H.F. Gordijn. Hybrid modelling in discrete-event control system design. In Proc. CESA'96 IMACS Multiconference: Symposium on Discrete Events and Manufacturing Systems, Editors: P. Borne and J. C. Gentina and E. Craye and S. El Khattabi, Lille, pp. 596-601, 1996.

D.A. van Beek, J.E. Rooda, and M. van den Muyzenberg. Specification of combined continuous-time / discrete-event models. In Proc. 1996 European Simulation Multiconference, Editors: A. Javor and A. Lehmann and I. Molnar, Budapest, pp. 219-224, 1996.

D.A. van Beek, S.H.F. Gordijn, and J.E. Rooda. Integrating continuous-time and discrete-event concepts in process modelling, simulation and control. In Proc. First World Conference on Integrated Design and Process Technology, Editors: A. Ertas, Austin, Texas, pp. 197-204, 1995.

D.A. van Beek, J.E. Rooda, and S.H.F. Gordijn. A combined continuous-time / discrete-event approach to modelling and simulation of manufacturing machines. In Proc. 1995 EUROSIM Conference, Editors: F. Breitenecker and I. Husinsky, Vienna, pp. 1029-1034, 1995.

Technical reports

D.A. van Beek, A.T. Hofkamp, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Syntax and Formal Semantics of Chi 2.0, SE Report 2008-01, Eindhoven University of Technology, Department of Mechanical Engineering, 2008.

M. Petreczky, D.A. van Beek, J.E. Rooda, Supervisor for toner error-handling, SE Report 2008-11, Eindhoven University of Technology, Department of Mechanical Engineering, 2008.

R.J.M. Theunissen, R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda, Supervisory control synthesis for a patient support system, SE Report 2008-08, Eindhoven University of Technology, Department of Mechanical Engineering, 2008.

D.A. van Beek, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Revised hybrid system interchange format, HYCON Deliverable D3.6.3, HYCON network of excellence, 2007.

D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers, J.E. Rooda, Foundations of a compositional interchange format for hybrid systems, SE Report 2006-05, Eindhoven University of Technology, Department of Mechanical Engineering, 2006.

D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Syntax and Semantics of Timed Chi, Computing Science Report 05-09, Eindhoven University of Technology, Department of Mathematics and Computing Science, 2005.

D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Syntax and Consistent Equation Semantics of Hybrid Chi, Computing Science Report 04-37, Eindhoven University of Technology, Department of Mathematics and Computing Science, 2004.

vanbeek/publications.txt · Last modified: Monday, 06 January 2014 : 12:47:09 by vanbeek