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

Research Output 1993 2018

Filter
Article
2017
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
2014
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
2013
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
2012
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
2006
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
2003
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
2002
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
2001
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
2000
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
1997
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
1996
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