Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
van de Mortel-Fronczak, Joanna
42  Ergebnisse:
Personensuche X
?
1

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

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/..
 
?
5

Modeling Guidelines for Component-Based Supervisory Control..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel.. - p. 3-24 , 2020
Link: https://doi.org/10.1007/..
 
?
6

The Impact of Requirement Splitting on the Efficiency of Su..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel.. - p. 76-92 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Model-Based Engineering of Supervisory Controllers for Cybe..:

, In: Industrial Internet of Things; Springer Series in Wireless Technology,
Reniers, Michel ; van de Mortel-Fronczak, Joanna ; Roelofs, Koen - p. 111-136 , 2016
Link: https://doi.org/10.1007/..
 
?
8

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/..
 
?
9

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/..
 
?
10

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/..
 
?
11

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..
 
?
12

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/..
 
?
13

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

Fokkink, Wan ; Goorden, Martijn ; Hendriks, Dennis...
https://vbn.aau.dk/da/publications/e49a6baa-6468-4a2e-b60c-ae470590d7a1.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
14

Synthesis-based engineering of supervisory controllers:

Fokkink, Wan ; Goorden, Martijn ; Hendriks, Dennis...
https://vbn.aau.dk/da/publications/b0be3d69-1931-467c-af7e-7e230dca88db.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
15

Supervisor Synthesis: Bridging Theory and Practice:

Fokkink, Wan ; Goorden, Martijn ; van de Mortel-Fronczak, Joanna..
https://vbn.aau.dk/da/publications/8fde50dd-4378-406c-aa14-52be1e592f08.  , 2022
Link: https://vbn.aau.dk/da/pu..
 
1-15