Zobrazeno 1 - 10 of 162 pro vyhledávání: '"Jacobus E. Rooda"'
1
Akademický článek
Bridging the gap between requirements engineering and systems architecting: the Elephant Specification Language
Autor: Tim Wilschut, Albert T. Hofkamp, Tiemen J. L. Schuijbroek, L. F. Pascal Etman, Jacobus E. Rooda
Publikováno v: Design Science, Vol 10 (2024)
This article presents a domain-specific language for writing highly structured multilevel system specifications. The language effectively bridges the gap between requirements engineering and systems architecting by enabling the direct derivation of a
Externí odkaz: https://doaj.org/article/8195fcf47220486e81cd605eefbf0bf2
Zobrazit plný text záznamu
2
Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays
Autor: Lars Moormann, Reinier H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Publikováno v: Moormann, L, Schouten, R H J, Van De Mortel-Fronczak, J M, Fokkink, W J & Rooda, J E 2023, ' Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays ', IEEE Transactions on Automation Science and Engineering, vol. 20, no. 3, pp. 1591-1606 . https://doi.org/10.1109/TASE.2023.3260442
This paper discusses a method to distribute a synthesized supervisor for implementation on multiple physical controllers. Dependency structure matrices are used to determine a distribution of a system. The supervisor is then distributed accordingly,
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8322ad037b645eced88306aea6c4ee6c
https://doi.org/10.1109/tase.2023.3260442
Zobrazit plný text záznamu
3
Supervisory controller synthesis and implementation for safety PLCs
Autor: Jacobus E. Rooda, F.F.H. Reijnen, Joanna M. van de Mortel-Fronczak, Toby R. Erens
Publikováno v: Discrete Event Dynamic Systems, 32, 115-141. Springer
The development of supervisory controllers for cyber-physical systems is a laborious and error-prone process. Supervisor synthesis enables control designers to automatically synthesize a correct-by-construction supervisor from a model of the plant co
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0023124cfc77a31e5161ad6f323d7d93
https://doi.org/10.1007/s10626-021-00350-4
Zobrazit plný text záznamu
4
Efficient Validation of Supervisory Controllers using Symmetry Reduction
Autor: Lars Moormann, Jacobus E. Rooda, Joanna M. van de Mortel-Fronczak, Patrick Maessen, Wan Fokkink, Martijn A. Goorden
Publikováno v: IFAC-PapersOnLine. 53:288-295
Supervisory control synthesis is a method to automatically generate a correct-by-construction supervisory controller. Validation of the synthesized controller is an important step to guarantee correct and safe system behavior. Especially requirement
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61245039ff40f1298bd0671990e7503f
https://doi.org/10.1016/j.ifacol.2021.04.074
Zobrazit plný text záznamu
5
Derivation and Hardware-in-the-loop Testing for a Road Tunnel Controller
Autor: Lars Moormann, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Publikováno v: IFAC-PapersOnLine, 55(28), 363-370. IFAC Secretariat
Moormann, L, Hofkamp, A T, van de Mortel-Fronczak, J M, Fokkink, W J & Rooda, J E 2022, ' Derivation and Hardware-in-the-loop Testing for a Road Tunnel Controller ', IFAC-PapersOnLine, vol. 55, no. 28, pp. 363-370 . https://doi.org/10.1016/j.ifacol.2022.10.367
Developing supervisory controllers for cyber-physical systems is a difficult and error-prone process. The formal method of supervisor synthesis allows engineers to obtain a correct-by-construction supervisor from a model of the plant and a model of t
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0fde84601dfabe5e60575b446f2bbb16
https://research.vu.nl/en/publications/2aa198c5-db27-4a26-9e3b-9fb11e30091a
Zobrazit plný text záznamu
6
A configurator for supervisory controllers of roadside systems
Autor: M.E.W. Vos de Wael, Jeroen J. Verbakel, Wan Fokkink, Jacobus E. Rooda, J.M. van de Mortel-Fronczak
Publikováno v: 2021 IEEE 17th International Conference on Automation Science and Engineering, CASE 2021, 784-791
STARTPAGE=784;ENDPAGE=791;TITLE=2021 IEEE 17th International Conference on Automation Science and Engineering, CASE 2021
2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), 784-791
STARTPAGE=784;ENDPAGE=791;TITLE=2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)
CASE
Verbakel, J J, Vos De Wael, M E W, Van De Mortel-Fronczak, J M, Fokkink, W J & Rooda, J E 2021, A configurator for supervisory controllers of roadside systems . in 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) . IEEE International Conference on Automation Science and Engineering, vol. 2021-August, IEEE Computer Society, pp. 784-791, 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, 23/08/21 . https://doi.org/10.1109/CASE49439.2021.9551485
Traffic management systems are used to efficiently use the available highway infrastructure and to improve traffic safety. For example, traffic on the Dutch highway is measured and controlled using around 6000 roadside units (RSUs). Despite the many
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2bf53001d0111e5edd84ed333b5cd883
https://research.tue.nl/nl/publications/8074d4bb-a011-4c79-a88f-6cfaea717404
Zobrazit plný text záznamu
7
Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays
Autor: Jacobus E. Rooda, Lars Moormann, Wan Fokkink, J.M. van de Mortel-Fronczak, R.H.J. Schouten
Publikováno v: Moormann, L, Schouten, R H J, Van De Mortel-Fronczak, J M, Fokkink, W J & Rooda, J E 2021, Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays . in 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) . IEEE International Conference on Automation Science and Engineering, vol. 2021-August, IEEE Computer Society, pp. 1268-1275, 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, 23/08/21 . https://doi.org/10.1109/CASE49439.2021.9551519
2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), 1268-1275
STARTPAGE=1268;ENDPAGE=1275;TITLE=2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)
CASE
This paper discusses a method to distribute a synthesized supervisory controller for implementation on multiple physical controllers. Dependency structure matrices are used to determine a distribution of a discrete event system. The supervisor is the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d8914e7edfa6a2e7a68f569dbcd9943
https://research.vu.nl/en/publications/e2221687-5124-49c9-84e7-4589e6e80423
Zobrazit plný text záznamu
8
Supervisory control synthesis for large-scale systems with isomorphisms
Autor: J.M. van de Mortel-Fronczak, Lars Moormann, Wan Fokkink, Jacobus E. Rooda, Patrick Maessen
Publikováno v: Control Engineering Practice, 115:104902. Elsevier
Moormann, L, van de Mortel-Fronczak, J M, Fokkink, W J, Maessen, P & Rooda, J E 2021, ' Supervisory control synthesis for large-scale systems with isomorphisms ', Control Engineering Practice, vol. 115, 104902 . https://doi.org/10.1016/j.conengprac.2021.104902
Control Engineering Practice, 115:104902. Elsevier Ltd
© 2021 The AuthorsThe complexity of the design of supervisory controllers for today's high-tech systems is ever increasing with the rise in demands for higher safety and functionality. Supervisory control synthesis enables the design engineer to aut
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ac69aa914652af0db862ba0e59604ec
https://research.tue.nl/nl/publications/9a016751-3b2a-47c4-9568-729e84803fe2
Zobrazit plný text záznamu
9
Compositional coordinator synthesis of extended finite automata
Autor: Jacobus E. Rooda, Wan Fokkink, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian
Publikováno v: Goorden, M A, Fabian, M, van de Mortel-Fronczak, J M, Reniers, M A, Fokkink, W J & Rooda, J E 2021, ' Compositional coordinator synthesis of extended finite automata ', Discrete Event Dynamic Systems: Theory and Applications, vol. 31, no. 3, pp. 317-348 . https://doi.org/10.1007/s10626-020-00334-w
Discrete Event Dynamic Systems: Theory and Applications, 31(3), 317-348. Springer Netherlands
Discrete Event Dynamic Systems, 31(3), 317-348. Springer
To avoid the state-space explosion problem, a set of supervisors may be synthesized using divide and conquer strategies, like modular or multilevel synthesis. Unfortunately, these supervisors may be conflicting, meaning that even though they are indi
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4323cb8ee0f92e83a7308ddaef7840ce
https://research.vu.nl/en/publications/c5605a13-abe4-46be-82d0-63bff48f0c8b
Zobrazit plný text záznamu
10
Data Logging and Reconstruction of Discrete-event System Behavior
Autor: F.F.H. Reijnen, Jacobus E. Rooda, J.M. van de Mortel-Fronczak
Publikováno v: ICARCV
16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020, 1020-1026
STARTPAGE=1020;ENDPAGE=1026;TITLE=16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020
In case of malfunctions or accidents related to an infrastructural system, it is useful to reconstruct and analyze the behavior that led to such an undesired situation. Understanding the behavior can help in improving the plant and the supervisory co
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cdfadd023ec7092b2e74aa96e7e4677f
https://doi.org/10.1109/icarcv50220.2020.9305316
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje