Supervisor Synthesis: Bridging Theory and Practice

Fokkink, Wan; Goorden, Martijn A.; Mortel-Fronczak, J.M. van de; Reijnen, F.F.H.; Rooda, J.E.

doi:10.1109/mc.2021.3134934

Cited by 9 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…the uncontrolled system, and a model of the requirements. SCT notations and definitions as discussed in this section are taken from [1], [17], and [18]. In this paper, DESs are modeled using Extended Finite Automata (EFAs) that contain a finite set of variables X .…”

Section: B Supervisory Control Theorymentioning

confidence: 99%

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Moormann

Schouten

Mortel-Fronczak

et al. 2023

IEEE Trans. Automat. Sci. Eng.

Self Cite

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: B Supervisory Control Theorymentioning

confidence: 99%

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Moormann

Schouten

Mortel-Fronczak

et al. 2023

IEEE Trans. Automat. Sci. Eng.

Self Cite

View full text Add to dashboard Cite

show abstract

“…4 The ESCET project, an Eclipse Foundation open-source project since 2020, builds upon decades of research and tool development at Eindhoven University of Technology. Vital for the evolvement from an academic into an industrially applicable toolkit are the years-long ongoing research collaborations with industry, including Rijkswaterstaat [7], ASML [27], and Vanderlande [29]. Rijkswaterstaat, part of the Dutch Ministry of Infrastructure and Water Management, is responsible for infrastructure in the Netherlands, including roads, bridges, tunnels, and waterway locks.…”

Section: Introductionmentioning

confidence: 99%

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Fokkink

Goorden

Hendriks

et al. 2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The Eclipse Supervisory Control Engineering Toolkit (ESCET™) is an open-source project to provide a model-based approach and toolkit for developing supervisory controllers, targeting their entire engineering process. It supports synthesis-based engineering of supervisory controllers for discrete-event systems, combining model-based engineering with computer-aided design to automatically generate correct-by-construction controllers. At its heart is supervisory controller synthesis, a formal technique for the automatic derivation of supervisory controllers from the unrestricted system behavior and system requirements. Vital for the future development of these techniques and tools is the ESCET project’s open environment, allowing industry and academia to collaborate on creating an industrial-strength toolkit. We report on some crucial developments of the toolkit in the context of research projects with Rijkswaterstaat and ASML that have considerably improved its capability to deal with the complexity of real-life systems as well as its usability.

show abstract