E-LIB Suche - Ergebnisse für: van de Mortel-Fronczak, Joanna M.

1

Compositional coordinator synthesis of extended finite auto..:

Goorden, Martijn A. ; Fabian, Martin ; van de Mortel-Fronczak, Joanna M....
Discrete Event Dynamic Systems. 31 (2021) 3 - p. 317-348 , 2021

Link: https://doi.org/10.1007/..

2

Supervisory controller synthesis and implementation for saf..:

Reijnen, Ferdie F. H. ; Erens, Toby R. ; van de Mortel-Fronczak, Joanna M..
Discrete Event Dynamic Systems. 32 (2021) 1 - p. 115-141 , 2021

Link: https://doi.org/10.1007/..

3

Modeling for supervisor synthesis – a lock-bridge combinati..:

Reijnen, Ferdie F. H. ; Goorden, Martijn A. ; van de Mortel-Fronczak, Joanna M..
Discrete Event Dynamic Systems. 30 (2020) 3 - p. 499-532 , 2020

Link: https://doi.org/10.1007/..

4

Supervisor Synthesis in Model-Based Automotive Systems Engi..:

, In: ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014),

van de Mortel-Fronczak, Joanna M. ; van der Heijden, Martin H. R. ; Huisman, Rudolf G. M.. - p. 187-198 , 2014

Link: https://dl.acm.org/doi/1..

5

Application of supervisory control theory to theme park veh..:

Forschelen, Stefan T. J. ; van de Mortel-Fronczak, Joanna M. ; Su, Rong.
Discrete Event Dynamic Systems. 22 (2012) 4 - p. 511-540 , 2012

Link: https://doi.org/10.1007/..

6

Supervisory controller synthesis and implementation for saf..:

Reijnen, Ferdie F.H ; Erens, Toby R ; van de Mortel-Fronczak, Joanna M.
Reijnen , F F H , Erens , T R , van de Mortel-Fronczak , J M & Rooda , J E 2022 , ' Supervisory controller synthesis and implementation for safety PLCs ' , Discrete Event Dynamic Systems: Theory and Applications , vol. 32 , pp. 115-141 . https://doi.org/10.1007/s10626-021-00350-4. , 2022

Link: https://research.tue.nl/..

7

Legend Pattern Calculation for Dynamic Traffic Management U..:

, In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE),

Verbakel, J.J. ; van Meurs, J. ; van de Mortel-Fronczak, J.M... - p. 1-7 , 2023

Link: https://doi.org/10.1109/..

8

Validating communication of a dynamic traffic management sy..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Verbakel, Jeroen ; Fokkink, Wan ; Van De Mortel-Fronczak, Joanna. - p. 207-215 , 2023

Link: https://doi.org/10.1109/..

9

Synthesis-based engineering of supervisory controllers for ..:

Torta, E. ; Reniers, M. ; Kok, J...
Control Engineering Practice. 133 (2023) - p. 105433 , 2023

Link: https://doi.org/10.1016/..

10

Eclipse ESCET™: The Eclipse Supervisory Control Engineering..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Fokkink, W. J. ; Goorden, M. A. ; Hendriks, D.... - p. 44-52 , 2023

Link: https://doi.org/10.1007/..

11

Supervisor Synthesis: Bridging Theory and Practice:

Fokkink, Wan ; Goorden, Martijn ; van de Mortel-Fronczak, Joanna..
Computer. 55 (2022) 10 - p. 48-54 , 2022

Link: https://doi.org/10.1109/..

12

Supervisory control synthesis for large-scale systems with ..:

Moormann, L. ; van de Mortel-Fronczak, J.M. ; Fokkink, W.J...
Control Engineering Practice. 115 (2021) - p. 104902 , 2021

Link: https://doi.org/10.1016/..

13

Synthesized fault-tolerant supervisory controllers, with an..:

Reijnen, Ferdie ; Leliveld, Eva-Britt ; van de Mortel-Fronczak, Joanna...
Computers in Industry. 130 (2021) - p. 103473 , 2021

Link: https://doi.org/10.1016/..

14

Model properties for efficient synthesis of nonblocking mod..:

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel...
Control Engineering Practice. 112 (2021) - p. 104830 , 2021

Link: https://doi.org/10.1016/..

15

Exploiting Symmetry in Dependency Graphs for Model Reductio..:

, In: 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE),

Moormann, L. ; van de Mortel-Fronczak, J.M. ; Fokkink, W.J.. - p. 659-666 , 2020

Link: https://doi.org/10.1109/..