From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Modeling Guidelines for Component-Based Supervisory Control Synthesis.

M. Goorden, J. van de Mortel-Fronczak, M. Reniers, W. Fokkink, и J. Rooda. FACS, том 12018 из Lecture Notes in Computer Science, стр. 3-24. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rep Martijn

Martijn Kos

Martijn Gipmans

Martijn Rooker

Martijn Griensven

Другие публикации лиц с тем же именем

The Road Ahead for Supervisor Synthesis.M. Goorden, L. Moormann, F. Reijnen, J. Verbakel, D. van Beek, A. Hofkamp, J. van de Mortel-Fronczak, M. Reniers, W. Fokkink, J. Rooda и 1 other автор(ы). SETTA, том 12153 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2020)Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.W. Fokkink, M. Goorden, D. Hendriks, D. van Beek, A. Hofkamp, F. Reijnen, L. Etman, L. Moormann, J. van de Mortel-Fronczak, M. Reniers и 6 other автор(ы). TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 44-52. Springer, (2023)Structuring multilevel discrete-event systems with dependency structure matrices.M. Goorden, J. van de Mortel-Fronczak, M. Reniers, и J. Rooda. CDC, стр. 558-564. IEEE, (2017)Modeling for supervisor synthesis - a lock-bridge combination case study.F. Reijnen, M. Goorden, J. van de Mortel-Fronczak, и J. Rooda. Discret. Event Dyn. Syst., 30 (3): 499-532 (2020)STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego.M. Goorden, P. Jensen, K. Larsen, M. Samusev, J. Srba, и G. Zhao. ATVA, том 13505 из Lecture Notes in Computer Science, стр. 327-333. Springer, (2022)Modeling Guidelines for Component-Based Supervisory Control Synthesis.M. Goorden, J. van de Mortel-Fronczak, M. Reniers, W. Fokkink, и J. Rooda. FACS, том 12018 из Lecture Notes in Computer Science, стр. 3-24. Springer, (2019)Supervisory control synthesis for a waterway lock.F. Reijnen, M. Goorden, J. van de Mortel-Fronczak, и J. Rooda. CCTA, стр. 1562-1563. IEEE, (2017)The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis.M. Goorden, J. van de Mortel-Fronczak, M. Reniers, W. Fokkink, и J. Rooda. FMICS, том 11687 из Lecture Notes in Computer Science, стр. 76-92. Springer, (2019)Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds.M. Goorden, K. Larsen, J. Nielsen, T. Nielsen, M. Rasmussen, и J. Srba. ADHS, том 54 из IFAC-PapersOnLine, стр. 13-18. Elsevier, (2021)Compositional coordinator synthesis of extended finite automata.M. Goorden, M. Fabian, J. van de Mortel-Fronczak, M. Reniers, W. Fokkink, и J. Rooda. Discret. Event Dyn. Syst., 31 (3): 317-348 (2021)

BibSonomy

Disambiguation