• 483 Citations
19932018
If you made any changes in Pure these will be visible here soon.

Research Output 1993 2018

Article
1 Citation (Scopus)

A new mechanism for exception handling in concurrent control systems.

Beek, van, D. A. & Rooda, J. E., 1996, In : European Journal of Control. 2, p. 88-100

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Control systems
Robust control
Specifications
Semantics
21 Citations (Scopus)

Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner

Theunissen, R. J. M., Petreczky, M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2014, In : IEEE Transactions on Automation Science and Engineering. 11, 1, p. 20-32 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Magnetic resonance
Imaging techniques
Controllers
Industry
Real time control
22 Citations (Scopus)

Chaos in discrete production systems?

Schmitz, J. P. M., Beek, van, D. A. & Rooda, J. E., 2002, In : Journal of Manufacturing Systems. 21, 3, p. 236-246

Research output: Contribution to journalArticleAcademicpeer-review

Chaos theory
Time series analysis
Sensitivity analysis
3 Citations (Scopus)

Declaration of unknowns in DAE-based hybrid system specification

Beek, van, D. A., Bos, V. & Rooda, J. E., 2003, In : ACM Transactions on Modeling and Computer Simulation. 13, 1, p. 39-61

Research output: Contribution to journalArticleAcademicpeer-review

Hybrid systems
Hybrid Systems
Semantics
Specification
Specifications
8 Citations (Scopus)

Improving evolvability of a patient communication control system using state-based supervisory control synthesis

Theunissen, R. J. M., Beek, van, D. A. & Rooda, J. E., 2012, In : Advanced Engineering Informatics. 26, 3, p. 502-515 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Control systems
Communication
Specifications
Controllers
Supervisory personnel
13 Citations (Scopus)

Index Reduction and Discontinuity Handling Using Substitute Equations

Fabian, G., Beek, van, D. A. & Rooda, J. E., 2001, In : Mathematical and Computer Modelling of Dynamical Systems. 7, 2, p. 173-187

Research output: Contribution to journalArticleAcademicpeer-review

Substitute
Discontinuity
Derivatives
Substitution reactions
Initialization
11 Citations (Scopus)

Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines

Beek, van, D. A., Gordijn, S. H. F. & Rooda, J. E., 1997, In : Simulation Practice and Theory. 5, 7-8, p. 653-669 17 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
Discrete Event
Modeling and Simulation
Continuous Time
Manufacturing
Concurrent Programming
36 Citations (Scopus)

Languages and applications in hybrid modelling and simulation : positioning of Chi

Beek, van, D. A. & Rooda, J. E., 2000, In : Control Engineering Practice. 8, 1, p. 81-91 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

Hybrid Modeling
Hybrid Simulation
Discrete Event
Positioning
Modeling and Simulation
1 Citation (Scopus)

Model-based design of supervisory controllers for baggage handling systems

Swartjes, L., van Beek, D. A., Fokkink, W. J. & van Eekelen, J. A. W. M., 1 Nov 2017, In : Simulation Modelling Practice and Theory. 78, p. 28-50 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

Baggage handling
Model-based Design
Controller
Controllers
Formal Model
85 Citations (Scopus)

Syntax and consistent equation semantics of hybrid Chi

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, In : Journal of Logic and Algebraic Programming. 68, 1-2, p. 129-210

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Semantics
Chemical analysis
Hybrid Automata
Syntactics
Control theory
12 Citations (Scopus)

Syntax and semantics of the compositional interchange format for hybrid systems

Nadales Agut, D. E., Beek, van, D. A. & Rooda, J. E., 2013, In : Journal of Logic and Algebraic Programming. 82, 1, p. 1-52 52 p.

Research output: Contribution to journalArticleAcademicpeer-review

Interchanges
Hybrid systems
Hybrid Systems
Semantics
Operator
Chapter

Coordination control of complex machines

Baeten, J. C. M., Beek, van, D. A., Markovski, J. & Somers, L. J. A. M., 2015, Coordination Control of Distributed Systems. Schuppen, van, J. H. & Villa, T. (eds.). Cham: Springer, p. 61-68 (Lecture Notes in Control and Information Sciences; vol. 456)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Supervisory personnel
Systems engineering
Large scale systems

Interchange formats and tool integration

Beek, van, D. A., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2009, Handbook of hybrid systems control : theory, tools, applications. Lunze, J. & Lamnabhi-Lagarrigue, F. (eds.). New York: Cambridge University Press, p. 361-374

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Interchanges

Overview of tools development and open problems

Beek, van, D. A. & Engell, S., 2009, Handbook of hybrid systems control : theory, tools, applications. Lunze, J. & Lamnabhi-Lagarrigue, F. (eds.). New York: Cambridge University Press, p. 279-283

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Process algebra

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2007, Handbook of Dynamic System Modeling. Fishwick, P. A. (ed.). Boca Raton: Chapman & Hall/CRC Press, p. 19.1-19.19 (Chapman&Hall/CRC Computer and Information Science Series)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Supervisory control synthesis in the medical domain

Theunissen, R. J. M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2010, Views on Evolvability of Embedded Systems. Laar, van de, P. & Punter, T. (eds.). Embedded systems: Springer, p. 171-191

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Interchanges
Hybrid systems
Control theory
Magnetic resonance imaging
Hardware
Conference contribution

A combined continuous-time / discrete-event approach to modelling and simulation of manufacturing machines

Beek, van, D. A., Rooda, J. E. & Gordijn, S. H. F., 1995, Proceedings of the 1995 EUROSIM conference, EUROSIM '95 : Vienna, Austria, 11-15 September 1995. Breitenecker, F. & Husinsky, I. (eds.). Amsterdam: Elsevier, p. 1029-1034

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Computer programming languages
Control systems
Testing

A hybrid language for modeling, simulation and verification

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2003, Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003). Engell, S., Gueguen, H. & Zaytoon, J. (eds.). Elsevier, p. 235-240

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Computer simulation
Differential equations
Semantics
10 Citations (Scopus)

An experimental facility for nonlinear robot control

Beek, van, D. A. & Jager, de, A. G., 1999, Proceedings of the 1999 IEEE International Conference on Control Applications, 22-27 August, Hawai, USA. Piscataway, NJ: Institute of Electrical and Electronics Engineers, p. 668-673

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Robots
Controllers
Torque
15 Citations (Scopus)

A process algebra for supervisory coordination

Baeten, J. C. M., Beek, van, D. A., Hulst, van, A. C. & Markovski, J., 2011, Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011). Aceto, L. & Mousavi, M. R. (eds.). EPTCS, p. 36-55 (Electronic Proceedings in Theoretical Computer Science; vol. 60)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Algebra
Supervisory personnel
Controllers
Machine components
Programmable logic controllers
27 Citations (Scopus)

A process-theoretic approach to supervisory control theory

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J. & Rooda, J. E., 2011, Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011). Piscataway: Institute of Electrical and Electronics Engineers, p. 4496-4501

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Preorder
Control theory
Controllability
Supervisors
Observability
6 Citations (Scopus)

A semantic-preserving transformation from the compositional interchange format to UPPAAL

Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jorgensen, K. E. & Beek, van, D. A., 2011, Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy. Bittanti, S., Cenedese, A. & Zampieri, S. (eds.). p. 12496-12502

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Interchanges
Semantics
Model checking
Hybrid systems
Linearization
32 Citations (Scopus)

A state-based framework for supervisory control synthesis and verification

Markovski, J., Beek, van, D. A., Theunissen, R. J. M., Jacobs, K. G. M. & Rooda, J. E., 2010, Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010) 15-17 december 2010, Atlanta, GA, USA. Institute of Electrical and Electronics Engineers, p. 3481-3486

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Supervisory personnel
Specifications
Feedback
30 Citations (Scopus)

CIF 3 : model-based engineering of supervisory controllers

Beek, van, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A. T., Markovski, J., Mortel - Fronczak, van de, J. M. & Reniers, M. A., 2014, Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (eds.). Berlin: Springer, p. 575-580 (Lecture Notes in Computer Science; vol. 8413)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Controllers
Interchanges
Visualization
Testing
Code generation
13 Citations (Scopus)

Concrete syntax and semantics of the compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2008, Proceedings of the 17th IFAC World Congress (IFAC'08) July 11-16, 2008, Seoul, Korea. Cho, H. (ed.). Seoul: International Federation of Automatic Control, p. accepted-

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Interchanges
Hybrid systems
Semantics
Concretes
Bottles
1 Citation (Scopus)

Control of input/output discrete-event systems

Petreczky, M., Theunissen, R. J. M., Su, R., Van Beek, D. A., van Schuppen, J. H. & Rooda, J. E., 26 Mar 2014, 2009 European Control Conference, ECC 2009. Institute of Electrical and Electronics Engineers, p. 1967-1972 6 p. 7074692

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Discrete event simulation
Controllers
Transducers

Control of input/output discrete-event systems

Petreczky, M., Theunissen, R. J. M., Su, R., Beek, van, D. A., Schuppen, van, J. H. & Rooda, J. E., 2009, 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary. p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Discrete event simulation
Controllers
Transducers
3 Citations (Scopus)

Convex equations and differential inclusions in hybrid systems

Beek, van, D. A., Pogromski, A. Y., Nijmeijer, H. & Rooda, J. E., 2004, 43rd IEEE conference on decision and control : Nassau, Bahamas, 14-17 December 2004. Piscataway: Institute of Electrical and Electronics Engineers, p. 1424-1429

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hybrid systems
Differential equations
Formal languages
Semantics
Control systems
4 Citations (Scopus)

Coordination of resources using generalized state-based requirements

Markovski, J., Jacobs, K. G. M., Beek, van, D. A., Somers, L. J. A. M. & Rooda, J. E., 2010, WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010). Germany, Berlin, p. 300-305

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Controllers

Co-simulation of Chi and Simulink models

Beek, van, D. A., Hofkamp, A. T., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2007, Proceedings of the 6th EUROSIM Congress on Modelling and Simulation, 9-13 September 2007, Ljubljana, Slovenia. p. 1-10

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Bottles
Algebra
3 Citations (Scopus)

Deriving simulators for hybrid Chi models

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, Proceedings 2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD, Munich, Germany, October 4-6, 2006). Institute of Electrical and Electronics Engineers, p. 42-49

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Simulators
Semantics
Hybrid systems
Computer simulation

Design of discrete controllers for continuous systems using hybrid CHI

Beek, van, D. A. & Rooda, J. E., 1997, Computer aided control systems design, CACSD '97 : a proceedings volume from the 7th IFAC symposium, Gent, Belgium, 28-30 April 1997. Boullart, L., Loccufier, M. & Mattsson, S. E. (eds.). Oxford, UK: Pergamon, p. 9-14

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
Hybrid systems
Control systems
Controllers
Level control
Computer programming languages
9 Citations (Scopus)

Formal semantics of hybrid Chi

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2004, Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers). Larsen, K. G. & Niebert, P. (eds.). Berlin: Springer, p. 151-165 (Lecture Notes in Computer Science; vol. 2791)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Formal verification of Chi models using PHAVer (extended version)

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM. Troch, I. & Breitenecker, F. (eds.). Vienna: ARGESIM

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Citations (Scopus)

Foundations of a compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H. & Rooda, J. E., 2007, Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. Bemporad, A., Bicchi, A., Buttazzo, G. & Buttazzo, G. C. (eds.). Berlin: Springer, p. 587-600 (Lecture Notes in Computer Science; vol. 4416)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Interchanges
Hybrid systems
Differential equations
Semantics
Chemical analysis
4 Citations (Scopus)

Hierarchical states in the compositional interchange format

Beohar, H., Nadales Agut, D. E., Beek, van, D. A. & Cuijpers, P. J. L., 2010, Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010). Aceto, L. & Sobocinski, P. (eds.). p. 42-56 (Electronic Proceedings in Theoretical Computer Science; vol. 32)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Interchanges
Hybrid systems
Semantics
Specification languages
Simulators
1 Citation (Scopus)

Hybrid Modeling and Simulation of plant/controller Combinations

Schiffelers, R. R. H., Pogromski, A. Y., Beek, van, D. A. & Rooda, J. E., 2009, 3rd IEEE Multi-conference on Systems and Control. Piscataway: Institute of Electrical and Electronics Engineers, p. 1384-1390

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Controllers
Simulators
Specifications

Hybrid modelling and simulation of pipeless batch plants

Schiffelers, R. R. H., Beek, van, D. A., Meuldijk, J. & Rooda, J. E., 2002, 12th European symposium on computer aided process engineering : The Hague, The Netherlands, 26-29 May 2002. Grievink, J. & van Schijndel, J. (eds.). Amsterdam: Elsevier, (Computer-aided chemical engineering; vol. 10)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File

Hybrid modelling and simulation of time-delay elements

Beek, van, D. A., Rooda, J. E. & Trienekens, B. J., 1999, Simulation in industry '99 : 11th European Simulation Symposium 1999, ESS '99, October 26 - 28, 1999, Erlangen, Germany. Horton, G., Moeller, D. & Rude, U. (eds.). Ghent: SCS, p. 88-92

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Time delay
Computer simulation languages

Hybrid modelling in discrete-event control system design

Beek, van, D. A., Rooda, J. E. & Gordijn, S. H. F., 1996, Symposium on discrete events and manufacturing systems, CESA '96 : IMACS multiconference - computational engineering in systems applications, Lille, France, July 9-12, 1996. Borne, P. (ed.). Lille: Gerf EC Lille - Cite Scientifique, p. 596-601

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Systems analysis
Control systems
Real time control
Testing
Specifications

Integrating Continuous-Time and Discrete-Event Concepts in Process Modelling, Simulation and Control

Beek, van, D. A., Gordijn, S. H. F. & Rooda, J. E., 1995, First world conference on integrated design and process technology, IDPT '95, Austin, 1995. Ertas, A. (ed.). p. 197-204

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Computer simulation
Specifications
Specification languages
Computer programming languages
Fermentation

Integration of the discrete and the continuous behaviour in the hybrid Chi simulator

Fabian, G., Beek, van, D. A. & Rooda, J. E., 1998, Simulation : past, present and future ; 12th European simulation multiconference 1998, ESM '98 ; as part of the 50th anniversary celebrations of the University of Manchester, the home of computing. Zobel, R. N. & Moeller, D. (eds.). San Diego: SCS, p. 252-257

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Simulators

Languages and applications in hybrid modelling : positioning of Chi

Beek, van, D. A. & Rooda, J. E., 1998, Information control in manufacturing 1998 : advances in industrial engineering; a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998 ; Vol. 1. Morel, G. & Vernadat, F. B. (eds.). Kidlington: Elsevier, p. 117-122

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Real time control
Simulators
Specifications
Modeling languages
7 Citations (Scopus)

Model-based engineering of embedded systems using the hybrid process algebra Chi

Baeten, J. C. M., Beek, van, D. A., Cuijpers, P. J. L., Reniers, M. A., Rooda, J. E., Schiffelers, R. R. H. & Theunissen, R. J. M., 2008, Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006). Palamidessi, C. & Valencia, F. D. (eds.). p. 21-53 (Electronic Notes in Theoretical Computer Science; vol. 209)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hybrid systems
Embedded systems
Algebra
Set theory
Linearization
21 Citations (Scopus)

Model-Based Engineering of Supervisory Controllers using CIF

Schiffelers, R. R. H., Theunissen, R. J. M., Beek, van, D. A. & Rooda, J. E., 2009, Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009). Levendovsky, T. & Lengyel, L. (eds.). p. 1-10 (Electronic Communications of the EASST; vol. 21)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Controllers
Control theory
Magnetic resonance imaging
Interchanges
Hybrid systems

Modeling and simulation using the compositional interchange format for hybrid systems

Sonntag, C. L. W., Schiffelers, R. R. H., Beek, van, D. A., Rooda, J. E. & Engell, S., 2009, Proceedings MATHMOD 09 Vienna. Troch, I. & Breitenecker, F. (eds.). Austria, Vienna, (ARGESIM Report; vol. 35)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Interchanges
Hybrid systems
Refrigeration
Interoperability
Visualization

Modelling and control of process industry batch production systems

Beek, van, D. A., Ham, van, A. & Rooda, J. E., 2003, Proceedings of the 15th IFAC world congress : 21-26 July 2002, Barcelona, Spain . Camacho, E. F. & Basanez, L. (eds.). Oxford: Pergamon, 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File

Multi-domain modelling, simulation, and control

Beek, van, D. A. & Rooda, J. E., 2000, Proc. 4th International Conference on Automation of Mixed Processes: Hybrid Dynamical Systems. Germany, Dortmund, p. 139-146

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Computer simulation
Simulators
Continuous time systems
Real time control
Hybrid systems

Multi-domain modelling, simulation and control

Beek, van, D. A. & Rooda, J. E., 2001, ADPM 2000 conference proceedings : 4th international congress on automation of mixed processes : hybrid dynamical systems ; Dortmund, September 18-19, 2000. Aachen: Shaker-Verlag, p. 139-146 (Berichte aus der Automisierungstechnik)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

17 Citations (Scopus)

New concepts in the abstract format of the compositional interchange format

Beek, van, D. A., Collins, P., Nadales Agut, D. E., Rooda, J. E. & Schiffelers, R. R. H., 2009, Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain. p. 1-7

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Interchanges
Semantics
Hybrid systems
Interoperability
Chemical analysis