Derivation and Hardware-in-the-loop Testing for a Road Tunnel Controller

Moormann, Lars; Hofkamp, A.T.; Mortel-Fronczak, J.M. van de; Fokkink, Wan; Rooda, J.E.

doi:10.1016/j.ifacol.2022.10.367

Cited by 3 publications

(3 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In previous work the Swalmen tunnel was modeled using 180 automata and 414 requirements, from which a supervisor is synthesized with approximately 10 71 states. The complete model can be found in [40].…”

Section: Case Study: the Swalmen Tunnelmentioning

confidence: 99%

See 1 more Smart Citation

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Moormann

Schouten

Mortel-Fronczak

et al. 2023

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User

show abstract

Section: Case Study: the Swalmen Tunnelmentioning

confidence: 99%

“…The HIL setup is shown in Figure 24. The implemented PLC code is automatically generated from the local supervisors, and can be found in [40]. Subsequently, communication is set up between the PLCs using the ABB control builder software.…”

Section: Hil Testingmentioning

confidence: 99%

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Moormann

Schouten

Mortel-Fronczak

et al. 2023

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

show abstract

“…In previous work the Swalmen tunnel was modeled using 180 automata 414 requirements, from which a supervisor is synthesized with approximately 10 71 states. The complete model can be found in [40].…”

Section: Case Study: the Swalmen Tunnelmentioning

confidence: 99%

Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays

Moormann

Schouten

Mortel-Fronczak

et al. 2021

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

View full text Add to dashboard Cite

General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal Take down policyIf you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

show abstract

Offline supervisory control synthesis: taxonomy and recent developments

Fokkink,

Goorden

2024

Discrete Event Dyn Syst

View full text Add to dashboard Cite

This paper surveys recent advances in supervisory control theory since its 30th anniversary in 2017. We performed a systematic literature search and selected 272 relevant papers, with a focus on automata-based approaches. These were fitted into coherent narratives, based in part on a taxonomy of supervisor synthesis methods. The obtained papers show the fast and vast progress of the field, where recent research covers a wide range of new synthesis optimization techniques, different aspects such as fault tolerance, security, and timing, and new and diverse application domains. This survey refrains from in-depth descriptions of techniques, instead focusing on high-level contributions of recent works, how they relate to each other, and future directions for research.

show abstract

Derivation and Hardware-in-the-loop Testing for a Road Tunnel Controller

Cited by 3 publications

References 3 publications

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays

Offline supervisory control synthesis: taxonomy and recent developments

Contact Info

Product

Resources

About