Application of supervisory control theory to theme park vehicles

DOI10.1007/S10626-012-0130-6MaRDI QIDQ351743zbMATH OpenOpenAlexFDO

Authors Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda

Publication date 9 July 2013

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-012-0130-6

zbMATH Keywords

control applicationscontrol engineeringdistributed controlimplementationsupervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13)

Recommendations

• Supervisory controller synthesis and implementation for safety PLCs
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• scientific article; zbMATH DE number 978524
• Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Cites work

• A general architecture for decentralized supervisory control of discrete-event systems
• Application of supervisory control theory to theme park vehicles
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Foundations of a Compositional Interchange Format for Hybrid Systems
• Hierarchical interface-based supervisory control-part II: parallel case
• scientific article; zbMATH DE number 1820095 (Why is no real title available?)
• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 1237541 (Why is no real title available?)
• Minimal communication in a distributed discrete-event system
• Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
• Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
• Modular Feedback Logic for Discrete Event Systems
• Modular supervisory control of discrete-event systems
• Nonblocking Supervisory Control of State Tree Structures
• Supervisory Control of a Class of Discrete Event Processes
• Think globally, act locally: decentralized supervisory control

Cited in

(9)

• Supervisory controller synthesis and implementation for safety PLCs
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
• Application of supervisory control theory to theme park vehicles
• Supervisory Control of Discrete-Event Systems
• Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
• Supervisory Control with Complete Observations
• Modeling and control of heterogeneous field robots under partial observation
• Reducing the computational effort of symbolic supervisor synthesis

Describes a project that uses

Uses Software

• SuSyNA

This page was built for publication: Application of supervisory control theory to theme park vehicles

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