Joanna M. van de Mortel-Fronczak
Joanna M. van de Mortel-Fronczak
Professor of Mechanical Engineering, Eindhoven University of Technology
Verified email at tue.nl
Title
Cited by
Cited by
Year
CIF 3: Model-based engineering of supervisory controllers
DA van Beek, WJ Fokkink, D Hendriks, A Hofkamp, J Markovski, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
612014
Analyzing a χ model of a turntable system using Spin, CADP and Uppaal
E Bortnik, N Trčka, AJ Wijs, B Luttik, JM van de Mortel-Fronczak, ...
The Journal of Logic and Algebraic Programming 65 (2), 51-104, 2005
542005
Application of supervisory control theory to theme park vehicles
STJ Forschelen, JM van de Mortel-Fronczak, R Su, JE Rooda
Discrete Event Dynamic Systems 22 (4), 511-540, 2012
532012
Specification of a flexible manufacturing system using concurrent programming
JM Van de Mortel-Fronczak, JE Rooda, NJM Van den Nieuwelaar
Concurrent Engineering 3 (3), 187-194, 1995
421995
A model-based integration and testing method to reduce system development effort
N Braspenning, JM Van De Mortel-Fronczak, JE Rooda
Electronic notes in theoretical computer science 164 (4), 13-28, 2006
332006
Test sequencing in complex manufacturing systems
R Boumen, ISM de Jong, JWH Vermunt, JM van de Mortel-Fronczak, ...
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2007
262007
Supervisory control synthesis for a waterway lock
FFH Reijnen, MA Goorden, JM Van De Mortel-Fronczak, JE Rooda
2017 IEEE Conference on Control Technology and Applications (CCTA), 1562-1563, 2017
232017
Hierarchical test sequencing for complex systems
R Boumen, S Ruan, ISM de Jong, JM Van De Mortel-Fronczak, JE Rooda, ...
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2009
232009
Systematic model-based design and implementation of supervisors for advanced driver assistance systems
T Korssen, V Dolk, J van de Mortel-Fronczak, M Reniers, M Heemels
IEEE Transactions on Intelligent Transportation Systems 19 (2), 533-544, 2017
192017
Application of concurrent programming to specification of industrial systems
JM Van de Mortel-Fronczak, JE Rooda
Proceedings of the 1995 IFAC Symposium on Information Control Problems in …, 1995
171995
Integration of supervisory control synthesis in model-based systems engineering
JCM Baeten, JM Van De Mortel-Fronczak, JE Rooda
conference; Special International Conference on Complex Systems: Synergy of …, 2011
162011
Model-based system analysis using Chi and Uppaal: An industrial case study
NCWM Braspenning, EM Bortnik, JM van de Mortel-Fronczak, JE Rooda
Computers in Industry 59 (1), 41-54, 2008
162008
Model-based integration and testing of high-tech multi-disciplinary systems
NCWM Braspenning, JM van de Mortel-Fronczak, JE Rooda
Eindhoven University of Technology, 2008
152008
Integration and test sequencing for complex systems
R Boumen, ISM De Jong, JMG Mestrom, JM Van De Mortel-Fronczak, ...
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2008
142008
Heterarchical control systems for production cells-a case study
JM van de Mortel-Fronczak, JE Rooda
IFAC Proceedings Volumes 30 (1), 213-218, 1997
141997
Supervisory control of theme park vehicles
STJ Forschelen, JM van de Mortel-Fronczak, T van Els, JE Rooda
MSc thesis, Eindhoven University of Technology, 2010
122010
Risk-based stopping criteria for test sequencing
R Boumen, ISM de Jong, JWH Vermunt, JM van de Mortel-Fronczak, ...
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2008
122008
Verification of timed chi models using uppaal.
EM Bortnik, DA van Beek, JM van de Mortel-Fronczak, JE Rooda
ICINCO, 486-492, 2005
112005
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
M Goorden, J van de Mortel-Fronczak, M Reniers, W Fokkink, J Rooda
IEEE Transactions on Automatic Control 65 (4), 1625-1639, 2019
102019
Application of dependency structure matrices and multilevel synthesis to a production line
FFH Reijnen, MA Goorden, JM van de Mortel-Fronczak, MA Reniers, ...
2018 IEEE Conference on Control Technology and Applications (CCTA), 458-464, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20