Supervisory controller synthesis and implementation for safety PLCs

DOI10.1007/S10626-021-00350-4MaRDI QIDQ2128091zbMATH OpenOpenAlexFDO

Authors Ferdie F. H. Reijnen, Toby R. Erens, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Publication date 21 April 2022

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-021-00350-4

zbMATH Keywords

industrial automationprogrammable logic controllerssupervisory control theory

Mathematics Subject Classification ID

Hierarchical systems (93A13) Synthesis problems (93B50) Networked control (93B70) Control/observation systems involving computers (process control, etc.) (93C83) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Synthesis of logical controllers and discrete-event systems supervisory control theory
• scientific article; zbMATH DE number 978524
• Automated formal synthesis of provably safe digital controllers for continuous plants
• Application of supervisory control theory to theme park vehicles

Cites work

• Application of supervisory control theory to theme park vehicles
• Introduction to Discrete Event Systems
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Nonblocking Supervisory Control of State Tree Structures
• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of a rapid thermal multiprocessor
• Supervisory control of discrete-event systems

Cited in

(4)

• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Application of supervisory control theory to theme park vehicles
• On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
• Offline supervisory control synthesis: taxonomy and recent developments

Describes a project that uses

Uses Software

• QuickCheck
• UMDES
• Supremica

This page was built for publication: Supervisory controller synthesis and implementation for safety PLCs

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