E-LIB Suche - Ergebnisse für: Goorden, Martijn

1

Controlling stormwater detention ponds under partial observ..:

Kim, Esther H. ; Goorden, Martijn A. ; Larsen, Kim G..
Journal of Logical and Algebraic Methods in Programming. 141 (2024) - p. 100979 , 2024

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

2

Optimal control strategies for stormwater detention ponds:

Goorden, Martijn A. ; Larsen, Kim G. ; Nielsen, Jesper E....
Nonlinear Analysis: Hybrid Systems. 53 (2024) - p. 101504 , 2024

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

3

Guaranteed safe controller synthesis for switched systems u..:

, In: 2023 IEEE Conference on Control Technology and Applications (CCTA),

Goorden, Martijn A. ; Larsen, Kim G. ; Nielsen, Jesper E.... - p. 784-790 , 2023

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

4

Determine stormwater pond geometrics and hydraulics using r..:

Zhao, Guohan ; Rasmussen, Michael R. ; Larsen, Kim G....
Journal of Hydroinformatics. 25 (2023) 4 - p. 1256-1275 , 2023

Link: https://doi.org/10.2166/..

5

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

6

STOMPC: Stochastic Model-Predictive Control with Uppaal Str..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Goorden, Martijn A. ; Jensen, Peter G. ; Larsen, Kim G.... - p. 327-333 , 2022

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

7

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

8

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

9

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

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

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

12

Models and data for "Guaranteed safe controller synthesis f..:

Goorden, Martijn A ; Larsen, Kim G ; Nielsen, Jesper E...
doi:10.5281/zenodo.8026421. , 2023

Link: https://zenodo.org/recor..

13

Guaranteed safe controller synthesis for switched systems u..:

Goorden, Martijn ; Larsen, Kim Guldstrand ; Nielsen, Jesper Ellerbæk...
https://vbn.aau.dk/da/publications/d728b269-93bf-402a-9aca-87e4c8ba18c7. , 2023

Link: https://vbn.aau.dk/da/pu..

14

Timed I/O Automata: It is never too late to complete your t..:

Goorden, Martijn A ; Larsen, Kim G ; Legay, Axel...
http://arxiv.org/abs/2302.04529. , 2023

Link: http://arxiv.org/abs/230..

15

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