Segui
Joanna M. van de Mortel-Fronczak
Joanna M. van de Mortel-Fronczak
Professor of Mechanical Engineering, Eindhoven University of Technology
Email verificata su tue.nl
Titolo
Citata da
Citata da
Anno
CIF 3: Model-based engineering of supervisory controllers
DA van Beek, WJ Fokkink, D Hendriks, A Hofkamp, J Markovski, ...
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
1182014
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, 511-540, 2012
812012
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
582005
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
572017
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
532017
Integration of supervisory control synthesis in model-based systems engineering
JCM Baeten, JM van de Mortel-Fronczak, JE Rooda
Complex systems: relationships between control, communications and computing …, 2016
462016
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
431995
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
422019
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
392006
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
302007
Modeling for supervisor synthesis–a lock-bridge combination case study
FFH Reijnen, MA Goorden, JM van de Mortel-Fronczak, JE Rooda
Discrete Event Dynamic Systems 30, 499-532, 2020
282020
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
282009
Model-based integration and testing of high-tech multi-disciplinary systems
NCWM Braspenning
202008
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
182018
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
181995
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
172008
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
172008
Heterarchical control systems for production cells-a case study
JM van de Mortel-Fronczak, JE Rooda
IFAC Proceedings Volumes 30 (1), 213-218, 1997
171997
Design of a tunnel supervisory controller using synthesis-based engineering
L Moormann, P Maessen, MA Goorden, JM van de Mortel-Fronczak, ...
ITA-AITES World Tunnel Congress, WTC2020 and 46th General Assembly, 573-578, 2020
152020
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
152008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20