User Tools

Site Tools


vanbeek:publications

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
vanbeek:publications [Wednesday, 13 May 2009 : 13:30:36]
vanbeek
vanbeek:publications [Monday, 06 January 2014 : 12:47:09]
vanbeek
Line 1: Line 1:
 +~~NOTOC~~
 +===== 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,
 +{{entcslin08.pdf|Model-based engineering of embedded systems using the hybrid process algebra Chi}}, ​
 +Electronic Notes in Theoretical Computer Science, vol. 209, 21-53, 2008, [[http://​dx.doi.org/​10.1016/​j.entcs.2008.04.003 |DOI link]].
 +
 +D.A. van Beek, J.E. Rooda, R.R.H. Schiffelers,​ K.L. Man, M.A. Reniers,
 +{{entcs06.pdf|Relating hybrid Chi to other formalisms}}, ​
 +Electronic Notes in Theoretical Computer Science, vol. 191, 85-113, 2007, [[http://​dx.doi.org/​10.1016/​j.entcs.2006.09.041 |DOI link]].
 +
 +D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers,​
 +[[jlap05|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, [[http://​dx.doi.org/​10.1016/​j.jlap.2005.10.005|DOI link]].
 +
 +D.A. van Beek, V. Bos, J.E. Rooda, ​
 +[[tomacs03|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, ​
 +[[jms02|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, ​
 +[[mcmds01|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, ​
 +[[cep00|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, ​
 +[[simpra97|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, ​
 +[[ejc96|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. {{procalg-handb-dynsys.pdf|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,​
 +[[phdmanschif|Formal specification and analysis of hybrid systems]],
 +Ph.D. thesis, Eindhoven University of Technology, 2006.
 +
 +J.J.H. Fey, 
 +[[phdfey|Design of a fruit juice blending and packaging plant]],
 +Ph.D. thesis, Eindhoven University of Technology, 2000.
 +
 +G. Fábián, ​
 +[[phdfabian|A language and simulator for hybrid systems]], ​
 +Ph.D.thesis,​ Eindhoven University of Technology, 1999.
 +
 +D.A. van Beek. 
 +[[thesis|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, {{ssb_09_paper.pdf|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, {{ifac08.pdf|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,​ {{eurosim07.pdf|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,
 +{{hscc07.pdf|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,​
 +{{cacsd06.pdf|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,​
 +{{mathmod06.pdf|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,
 +{{icinco05.pdf|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, ​
 +{{difinc.pdf|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,
 +[[http://​www.springerlink.com/​index/​M1QXD3PHHT1G4QXM|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.{{formats03.pdf|preprint}},​{{formats03ext.pdf|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,​
 +{{wsc03.pdf|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,
 +{{adhs03.pdf|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,
 +{{ifacw02.pdf|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, ​
 +{{escape02.pdf|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. 
 +{{ess01.pdf|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. ​
 +{{adpm00.pdf|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. ​
 +{{mmod00b.pdf|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. ​
 +{{ess99.pdf|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. ​
 +{{incom98.pdf|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. ​
 +{{esm98.pdf|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. ​
 +{{euros98.pdf|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. ​
 +{{adpm98.pdf|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. ​
 +{{imacs97.pdf|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. ​
 +{{cacsd97.pdf|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. ​
 +{{csa96.pdf|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. ​
 +{{esm96.pdf|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. ​
 +{{idpt95.pdf|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. ​
 +{{euros95.pdf|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,​
 + ​{{chi20.pdf|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, ​
 + ​{{twins:​se_report_2008_11.pdf|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, {{:​vanbeek:​se_report_2008_08.pdf|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,​ {{D363.pdf|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,
 +{{ircif06.pdf|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,​
 +[[hchi2tchi|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,​
 +[[hchi|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