Supervisory control synthesis for large-scale systems with isomorphisms

Moormann, Lars; Mortel-Fronczak, J.M. van de; Fokkink, Wan; Maessen, Patrick; Rooda, J.E.

doi:10.1016/j.conengprac.2021.104902

Cited by 8 publications

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Symmetry Reduction Real-life systems tend to contain a significant number of similar components, that for instance only differ by the instantiation of some of the parameters or their physical locations within the overall system. Such symmetries can be exploited to reduce the number of plant and requirement automata needed in the synthesis process, further reducing the synthesis effort [18].…”

Section: Symbolic Synthesismentioning

confidence: 99%

See 1 more Smart Citation

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Fokkink

Goorden

Hendriks

et al. 2023

Lecture Notes in Computer Science

Self Cite

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

Section: Symbolic Synthesismentioning

confidence: 99%

“…Recent case studies target road tunnels, notably the Eerste Heinenoord tunnel [18] and the Swalmen tunnel [17], and roadside systems [31]. For the Swalmen tunnel, a digital twin, a 3D digital copy of a physical system, was conveniently constructed from the plant and requirement models.…”

Section: Case Studies and Applicationsmentioning

confidence: 99%

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Fokkink

Goorden

Hendriks

et al. 2023

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…In [16], the authors present procedures to synthesize supervisors that control a set of interacting processes and, in the case of failure, report a diagnosis. An application for large scale controller synthesis is given in [13].…”

Section: Related Workmentioning

confidence: 99%

A Formal Framework for Distributed Cyber-Physical Systems

Lion¹,

Arbab²,

Talcott³

2022

Preprint

View full text Add to dashboard Cite

Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system. Usually, however, a system can be decomposed in more than one way, each optimizing for a different set of criteria. We extend an algebraic component-based model for cyber-physical systems to reason about decomposition. In this model, components compose using a family of algebraic products, and decompose, under some conditions, given a corresponding family of division operators. We use division to specify invariants of a system of components, and to model desirable updates. We apply our framework to design a cyber-physical system consisting of robots moving on a shared field, and identify desirable updates using our division operator.

show abstract