Modeling for supervisor synthesis -- a lock-bridge combination case study

DOI10.1007/S10626-020-00314-0MaRDI QIDQ2197591zbMATH OpenOpenAlexFDO

Authors Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Publication date 1 September 2020

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10626-020-00314-0

zbMATH Keywords

extended finite-state automataindustrial applicationinfrastructural systemssupervisor synthesis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Synthesis problems (93B50) Discrete event control/observation systems (93C65) Application models in control theory (93C95)

Recommendations

• Supervisory controller synthesis and implementation for safety PLCs
• scientific article; zbMATH DE number 978524
• scientific article; zbMATH DE number 1820088
• scientific article; zbMATH DE number 1820090
• Synthesis of supervisory controllers for hybrid systems based on approximating automata

Cites work

• A controller synthesis framework for automated service composition
• A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems
• Application of supervisory control theory to theme park vehicles
• Composition for component-based modeling
• Conceptual design of discrete-event systems using templates
• Diagnosability of discrete-event systems
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• Introduction to Discrete Event Systems
• Nonblocking Supervisory Control of State Tree Structures
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of a rapid thermal multiprocessor
• Synthesis of control implementation for discrete manufacturing systems

Cited in

(9)

• Compositional coordinator synthesis of extended finite automata
• Optimal modular control of discrete event systems with distinguishers and approximations
• Supervisory controller synthesis and implementation for safety PLCs
• Transformational supervisor synthesis for evolving systems
• Application of supervisory control theory to theme park vehicles
• A survey on compositional algorithms for verification and synthesis in supervisory control
• Reducing the computational effort of symbolic supervisor synthesis
• Offline supervisory control synthesis: taxonomy and recent developments
• SBE configurator: a family model generation tool for supervisory control synthesis

Describes a project that uses

Uses Software

• Supremica
• UMDES
• libFAUDES

This page was built for publication: Modeling for supervisor synthesis -- a lock-bridge combination case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2197591)