J.M. van de Mortel‐Fronczak

Application of supervisory control theory to theme park vehicles

S.T.J. Forschelen, J.M. van de Mortel‐Fronczak, Rong Su et al. · Discrete Event Dynamic Systems · 2012 · 70 citations · Full text

Control Theory, Control Strategy, Engineering +8

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems

Tim Korssen, V. S. Dolk, J.M. van de Mortel‐Fronczak et al. · IEEE Transactions on Intelligent Transportation Systems · 2017 · 51 citations · Full text

Automotive Engineering, Engineering, Systematic Model-based Design +17

Supervisory control synthesis for a waterway lock

F.F.H. Reijnen, Martijn A. Goorden, J.M. van de Mortel‐Fronczak et al. · 2017 IEEE Conference on Control Technology and Applications (CCTA) · 2017 · 41 citations · Full text

Real-time Control, Engineering, Industrial Control System +19

Analyzing a χ model of a turntable system using Spin, CADP and Uppaal

Elena M. Bortnik, Nikola Trčka, Anton Wijs et al. · The Journal of Logic and Algebraic Programming · 2005 · 39 citations · Full text

χ Model, Turntable System, Computer Engineering +1

Specification of a Flexible Manufacturing System Using Concurrent Programming

J.M. van de Mortel‐Fronczak, J.E. Rooda, N.J.M. van den Nieuwelaar · Concurrent Engineering · 1995 · 31 citations

Petri Net, Engineering, Flexible Manufacturing Technology +23