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

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

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

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

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

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

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

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

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

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

Simultaneous analysis and design based optimization for pap..:

Swartjes, L. ; Etman, L.F.P. ; van de Mortel-Fronczak, J.M...
Mechatronics.  41 (2017)  - p. 82-89 , 2017
Link: https://doi.org/10.1016/..
 
?
11

Estimating and quantifying the impact of using models for i..:

Braspenning, N.C.W.M. ; Boumen, R. ; van de Mortel-Fronczak, J.M..
Computers in Industry.  62 (2011)  1 - p. 65-77 , 2011
Link: https://doi.org/10.1016/..
 
?
12

Model-based system analysis using Chi and Uppaal: An indust..:

Braspenning, N.C.W.M. ; Bortnik, E.M. ; van de Mortel-Fronczak, J.M..
Computers in Industry.  59 (2008)  1 - p. 41-54 , 2008
Link: https://doi.org/10.1016/..
 
?
13

A Model-based Integration and Testing Method to Reduce Syst..:

Braspenning, N.C.W.M. ; van de Mortel-Fronczak, J.M. ; Rooda, J.E.
Electronic Notes in Theoretical Computer Science.  164 (2006)  4 - p. 13-28 , 2006
Link: https://doi.org/10.1016/..
 
?
14

Analyzing a χ model of a turntable system using Spin, CADP ..:

Bortnik, E. ; Trčka, N. ; Wijs, A.J....
The Journal of Logic and Algebraic Programming.  65 (2005)  2 - p. 51-104 , 2005
Link: https://doi.org/10.1016/..
 
?
15

Specification of a Flexible Manufacturing System Using Conc..:

van de Mortel-Fronczak, J.M. ; Rooda, J.E. ; van den Nieuwelaar, N.J.M.
Concurrent Engineering.  3 (1995)  3 - p. 187-194 , 1995
Link: https://doi.org/10.1177/..
 
1-15