Dirk A. van Beek
Affiliations:- Department of Mechanical Engineering, Eindhoven University of Technology (TU/e), Netherlands
According to our database1,
Dirk A. van Beek
authored at least 42 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2021
Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project.
CoRR, 2021
2020
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020
2017
Simul. Model. Pract. Theory, 2017
2016
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
2014
Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner.
IEEE Trans Autom. Sci. Eng., 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
2013
J. Log. Algebraic Methods Program., 2013
2012
Improving evolvability of a patient communication control system using state-based supervisory control synthesis.
Adv. Eng. Informatics, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
2011
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011
Proceedings of the American Control Conference, 2011
2010
Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the 10th European Control Conference, 2009
Proceedings of the 10th European Control Conference, 2009
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
Proceedings of the IEEE International Conference on Control Applications, 2009
2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
2006
J. Log. Algebraic Methods Program., 2006
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006
2005
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005
Verification of timed chi models using uppaal.
Proceedings of the ICINCO 2005, 2005
2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
ACM Trans. Model. Comput. Simul., 2003
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003
1998
Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998
1997
Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines.
Simul. Pract. Theory, 1997
1996
Eur. J. Control, 1996
Specification of Combined Continuous Time/Discrete Event Models.
Proceedings of the Modelling and Simulation, 1996
1995
A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines.
Proceedings of the EUROSIM'96, 1995