Compositional coordinator synthesis of extended finite automata
From MaRDI portal
Publication:2058570
DOI10.1007/S10626-020-00334-WzbMath1478.93186OpenAlexW3118738986MaRDI QIDQ2058570
Joanna M. van de Mortel-Fronczak, Martijn A. Goorden, Jacobus E. Rooda, Martin Fabian, Michel Reniers, W. J. Fokkink
Publication date: 9 December 2021
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1871.1/c5605a13-abe4-46be-82d0-63bff48f0c8b
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- A framework for compositional nonblocking verification of extended finite-state machines
- Compositional synthesis of supervisors in the form of state machines and state maps
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
- Modular supervisory control of discrete-event systems
- Modular control and coordination of discrete-event systems
- Supervisor reduction for discrete-event systems
- On the computation of observers in discrete-event systems
- Supervisory control of discrete-event systems
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
- Modeling for supervisor synthesis -- a lock-bridge combination case study
- Nonblocking supervisory control of state tree structures.
- A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Think globally, act locally: decentralized supervisory control
- Supervisory Control Architecture for Discrete-Event Systems
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
- On the consistency of hierarchical supervision in discrete-event systems
This page was built for publication: Compositional coordinator synthesis of extended finite automata
