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

Design of a Supervisor Platform for Movable Bridges

Autor: J.M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, F.F.H. Reijnen

Publikováno v: 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020, 1300-1306
STARTPAGE=1300;ENDPAGE=1306;TITLE=2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020
CASE

Developing supervisory controllers for high-tech systems is an error-prone and laborious process. Formal methods can help in the development process by providing means to mathematical prove the correctness. One such formal method is supervisor synthe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da81baec6b0b2c397d5b322dbdd61331
https://research.tue.nl/nl/publications/63b4ad3f-d787-4c27-ba7d-03ed41c40275

Structured synthesis of fault-tolerant supervisory controllers

Autor: J.M. van de Mortel-Fronczak, Michel A. Reniers, F.F.H. Reijnen, Jacobus E. Rooda

Publikováno v: IFAC-PapersOnLine. 51(24):894-901

Supervisory control synthesis for discrete-event systems can help in overcoming the growing complexity in the process of designing supervisors for cyber-physical systems. This is especially the case when fault-tolerance needs to be taken into account

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b771f1c35a7db0ac9aecb4f3707dc9d0
https://research.tue.nl/en/publications/82df0f67-4760-421e-a604-3d029eddc5a7

Finite response and confluence of state-based supervisory controllers

Autor: A.T. Hofkamp, J.M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, F.F.H. Reijnen

Publikováno v: 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019, 509-516
STARTPAGE=509;ENDPAGE=516;TITLE=2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019
CASE

The development of logic controllers for cyber-physical systems is a difficult and error-prone process. Supervisor synthesis can ease the development process, by synthesizing a correct-by-construction supervisor from a model of the plant and a model

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c8a9c87ac43b4ea687dcf6267b5f9dc
https://doi.org/10.1109/coase.2019.8843335

Supervisory control synthesis for a waterway lock

Autor: F.F.H. Reijnen, J.M. van de Mortel-Fronczak, Jacobus E. Rooda, Martijn A. Goorden

Publikováno v: CCTA
2017 IEEE Conference on Control Technology and Applications (CCTA), 27-30 August, Mauna Lani, Hawaii, 1562-1568
STARTPAGE=1562;ENDPAGE=1568;TITLE=2017 IEEE Conference on Control Technology and Applications (CCTA), 27-30 August, Mauna Lani, Hawaii

Formal methods help in coping with the growing functionality and complexity, time-to-market and costs in cyber-physical systems (CPSs). Supervisory control synthesis (SCS) is such a method. It can be used to synthesize a controller for a CPS from the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c76077e2cf09b5fd53adcf07c870eedf
https://doi.org/10.1109/ccta.2017.8062679