E-LIB Suche - Ergebnisse für: Reniers, Michel

1

Supervisory Control Synthesis of Timed Automata Using Forci..:

Rashidinejad, Aida ; Reniers, Michel ; Fabian, Martin
IEEE Transactions on Automatic Control. 69 (2024) 2 - p. 1074-1080 , 2024

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

2

Automated design space exploration for poultry processing s..:

Paape, Nick ; van Eekelen, Joost A. W. M. ; Reniers, Michel A.
International Journal of Food Engineering. 0 (2024) 0 - p. , 2024

Link: https://doi.org/10.1515/..

3

Special issue on control technology for networked and distr..:

Nagahara (Lead Gues, Masaaki ; Cai, Kai ; Chatterjee, Debasish...
Advanced Robotics. 37 (2023) 3 - p. 155-155 , 2023

Link: https://doi.org/10.1080/..

4

RoboSC: a domain-specific language for supervisory controll..:

, In: 2023 IEEE International Conference on Robotics and Automation (ICRA),

Wesselink, Bart ; de Vos, Koen ; Kuertev, Ivan.. - p. 9090-9096 , 2023

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

5

Correction to: Transformational supervisor synthesis for ev..:

Thuijsman, Sander ; Reniers, Michel
Discrete Event Dynamic Systems. 33 (2023) 4 - p. 509-513 , 2023

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

6

Supervisory Control for Dynamic Feature Configuration in Pr..:

Thuijsman, Sander ; Reniers, Michel
ACM Transactions on Embedded Computing Systems. , 2023

Link: https://doi.org/10.1145/..

7

Special issue on control technology for networked and distr..:

Nagahara, Masaaki ; Cai, Kai ; Chatterjee, Debasish...
Advanced Robotics. 37 (2023) 1-2 - p. 1-1 , 2023

Link: https://doi.org/10.1080/..

8

Transformational Supervisor Localization:

Thuijsman, Sander ; Cai, Kai ; Reniers, Michel
IEEE Control Systems Letters. 7 (2023) - p. 1682-1687 , 2023

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

9

Transformational supervisor synthesis for evolving systems:

Thuijsman, Sander ; Reniers, Michel
Discrete Event Dynamic Systems. 32 (2022) 2 - p. 317-358 , 2022

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

10

Partial-Order Reduction for Supervisory Controller Synthesi:

van der Sanden, Bram ; Geilen, Marc ; Reniers, Michel.
IEEE Transactions on Automatic Control. 67 (2022) 2 - p. 870-885 , 2022

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

11

Semantic Model‐based Systems Engineering based on KARMA: A ..:

Lu, Jinzhi ; Wang, Guoxin ; Yan, Yan...
INCOSE International Symposium. 32 (2022) 1 - p. 706-720 , 2022

Link: https://doi.org/10.1002/..

12

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

13

Efficiently enforcing mutual state exclusion requirements i..:

, In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE),

Thuijsman, Sander ; Reniers, Michel ; Hendriks, Dennis - p. 777-783 , 2021

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

14

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

15

Integration of modeling and verification for system model b..:

, In: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling,

Ding, Jie ; Reniers, Michel ; Lu, Jinzhi... - p. 41-50 , 2021

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