scientific article; zbMATH DE number 978524
From MaRDI portal
Publication:4332704
Recommendations
- Synthesis of logical controllers and discrete-event systems supervisory control theory
- Grafcet: behavioural issues and control synthesis
- Supervisory Control with Complete Observations
- Supervisory control of discrete event systems
- Formal specification and synthesis of procedural controllers for process systems
Cited in
(11)- Formal specification and synthesis of procedural controllers for process systems
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- Specification governor for fault tolerant control of large-scale manufacturing systems
- Supervisory controller synthesis and implementation for safety PLCs
- Modeling for supervisor synthesis -- a lock-bridge combination case study
- Formal specification method for systems automation
- Synthesis of control implementation for discrete manufacturing systems
- Practical automation specification
- Application of supervisory control theory to theme park vehicles
- Automatic PLC software generator with a natural interface
- Synthesis of logical controllers and discrete-event systems supervisory control theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332704)
