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

Research Output 1993 2018

1993

Exception handling in control systems

Beek, van, D. A., 1993, Eindhoven: Technische Universiteit Eindhoven. 208 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1995

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

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
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

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

Simulator for combined continuous-time/discrete-event models

Fabian, G., Janson, P. L. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 1996, Eindhoven: Eindhoven University of Technology.

Research output: ThesisPd Eng ThesisAcademic

Specification of combined continuous-time / discrete-event models

Beek, van, D. A., Rooda, J. E. & Muyzenberg, van den, M., 1996, Modelling and simulation 1996 : June 2-6, 1996, Budapest University of Economic Sciences, ESM '96, [European Simulation Multiconference 1996]. Javor, A. (ed.). San Diego: SCS, p. 219-224

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

1997

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
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
13 Citations (Scopus)

RRR-robot design : basic outlines, servo sizing, and control

Beek, van, D. A. & Jager, de, A. G., 1997, Proceedings of the 1997 IEEE international conference on control applications : October 5-7, 1997, Hartford, Connecticut, USA. New York: Institute of Electrical and Electronics Engineers, p. 36-41

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

Open Access
File
Servomotors
Robots
Manipulators
Torque
Brushless DC motors

Specification and simulation of industrial systems using an executable mathematical specification language

Beek, van, D. A. & Rooda, J. E., 1997, Numerical mathematics : [15th IMACS world congress on scientific computation, modelling and applied mathematics, Berlin, 24-29 August 1997]. Sydow, A. (ed.). Berlin: Wissenschaft und Technik Verlag, p. 721-726

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

Computer simulation languages
Specification languages
Latexes
Computer programming languages
Differential equations
1998

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

RRR-robot: Validating nonlinear control concepts in an industrial-like, 3 DOF, manipulator

Beek, van, D. A., 1998, Abstracts of the 17th Benelux Meeting on Systems and Control, Mierlo, the Netherlands, March 4-6, 1998. Mierlo, The Netherlands: s.n., p. 152

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

RRR-robot: Validating nonlinear control concepts in an industrial-like, 3 DOF, manipulator

Beek, van, D. A. & Jager, de, A. G., 1998, Proceedings of The Fourth International Conference on Motion and Vibration Control (MOVIC). Schweitzer, G., Siegwart, R. & Cattin, P. (eds.). ETH-Zürich, CH: Institute of Robotics, Vol. 3, p. 901-906

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

Semantics of Model Composition in Hybrid Languages

Fabian, G., Beek, van, D. A. & Rooda, J. E., 1998, In Proc. of the 1998 EUROSIM Conference. Helsinki, p. 269-276

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

Sematics of model composition in hybrid languages

Fabian, G., Beek, van, D. A. & Rooda, J. E., 1998, 1998 EUROSIM conference, Helsinki, 1998. Julsin, K. (ed.). s.l.: s.n.

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

Specification of discontinuities in hybrid models

Beek, van, D. A. & Rooda, J. E., 1998, Automation of mixed processes : hybrid dynamical systems : [papers presented at ADPM '98, the 3rd international conference on the automation of mixed processes, held in Reims, France, March 1998]. Zaytoon, J. (ed.). Paris: Ed. Hermes, p. 415-420

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

Specification of discontinuities in hybrid models = Specification des discontinuites dans les modeles hybries

Beek, van, D. A. & Rooda, J. E., 1998, Hybrid dynamical systems = Les systemes dynamiques hybrides : Proc. of 3rd International Conference on Automation of Mixed Processes. p. 415-420

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

Hybrid Model
Discontinuity
Language
Causes
Substitution
1999

A language and simulator for hybrid systems

Fabian, G., 1999, Eindhoven: Technische Universiteit Eindhoven. 190 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
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

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
2000

Design of a fruit juice blending and packaging plant

Fey, J. J. H., 2000, Eindhoven: Technische Universiteit Eindhoven. 109 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
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

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

Substitute equations for index reduction and discontinuity handling

Fabian, G., Beek, van, D. A. & Rooda, J. E., 2000, 3rd MATHMOD, IMACS symposium on mathematical modelling : February 2-4, 2000, Vienna, Austria. Vienna: Vienna University of Technology, p. 213-217 (ARGESIM Report; vol. 15)

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

Substitute
Discontinuity
Initialization
Derivative
Continuous Variables
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

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

Variables and equations in hybrid systems with structural changes

Beek, van, D. A., 2001, Simulation in industry 2001 ; 13th European simulation symposium 2001, October 18-20, 2001, Marseille, France. Ghent: SCS, p. 30-34

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

Hybrid systems
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

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
2003

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
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

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
3 Citations (Scopus)

Relating Chi to hybrid automata

Beek, van, D. A., Jansen, N. G., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2003, Proceedings of the 2003 winter simulation conference : New Orleans, LA, USA, December 7-10, 2003. Vol. 1. Chick, S., Sanchez, P. J., Ferrin, D. & Morrice, D. J. (eds.). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 632-640

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

2004
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
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

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., 2004, Eindhoven: Technische Universiteit Eindhoven. 119 p. (Computer science reports; vol. 0437)

Research output: Book/ReportReportAcademic

Open Access
File
2005

Syntax and semantics of timed Chi

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2005, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0509)(DCT rapporten; vol. 2005.000)

Research output: Book/ReportReportAcademic

Open Access
File

Verification of timed Chi models using Uppaal

Bortnik, E., Beek, van, D. A., Mortel - Fronczak, van de, J. M. & Rooda, J. E., 2005, Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation. Spain, Barcelona, p. 486-492

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

2006
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

Formal specification and analysis of hybrid systems

Man, K. L. & Schiffelers, R. R. H., 2006, Eindhoven: Technische Universiteit Eindhoven. 249 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File

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

Foundations of a compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0633)

Research output: Book/ReportReportAcademic

Open Access
File

Foundations of a compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 19 p. (SE report; vol. 2006-05)

Research output: Book/ReportReportAcademic

Open Access
File
Interchanges
Hybrid systems
Differential equations
Semantics
Chemical analysis

Process algebra for dynamic system modeling

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0603)

Research output: Book/ReportReportAcademic

Open Access
File
1 Citation (Scopus)

Simulation and verification of hybrid systems using Chi

van Beek, D. A., Rooda, J. E. & Schiffelers, R. R. H., 1 Dec 2006, Analysis and design of hybrid systems 2006: a proceedings volume from the 2nd IFAC Conference on Analysis and Design of Hybrid Systems. Cassandras, C. (ed.). Amsterdam: Elsevier, p. 265-266 2 p.

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

Hybrid systems
Control theory
Computer science
Simulators
Semantics
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
2007

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