| 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 | 125 | 2014 |
| 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 | 84 | 2012 |
| 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 | 58 | 2017 |
| 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 | 58 | 2005 |
| 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 | 57 | 2017 |
| 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 | 51 | 2016 |
| 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 | 43 | 1995 |
| 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 | 41 | 2019 |
| 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 | 39 | 2006 |
| 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 | 30 | 2020 |
| 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 | 30 | 2007 |
| 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 | 28 | 2009 |
| Model-based integration and testing of high-tech multi-disciplinary systems NCWM Braspenning | 24 | 2008 |
| 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 | 20 | 2018 |
| 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 | 18 | 2008 |
| 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 | 18 | 1995 |
| 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 | 17 | 2008 |
| Heterarchical control systems for production cells-a case study JM van de Mortel-Fronczak, JE Rooda IFAC Proceedings Volumes 30 (1), 213-218, 1997 | 17 | 1997 |
| Finite response and confluence of state-based supervisory controllers FFH Reijnen, AT Hofkamp, JM van de Mortel-Fronczak, MA Reniers, ... 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 16 | 2019 |
| 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 | 15 | 2020 |
j.e. roodahoogleraar Systems Engineering, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
