Supervisory control using augmented languages in discrete event systems
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 434954
- scientific article; zbMATH DE number 4215376
- On nonconflicting languages that arise in supervisory control of discrete event systems
- Supervisory control of discrete-event systems
- Supervisory Control of Discrete-Event Systems
- Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
- Supervisory control of discrete event systems
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Supervisory Control Architecture for Discrete-Event Systems
- Supervisory control of the structured dynamic discrete-event systems
Cites work
- Modular supervisory control of discrete-event systems
- On nonconflicting languages that arise in supervisory control of discrete event systems
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Supervisory Control of a Class of Discrete Event Processes
- The infimal closed controllable superlanguage and its application in supervisory control
Cited in
(6)- A language measure for supervisory control
- A language measure for performance evaluation of discrete-event supervisory control systems
- Estimate based limited lookahead supervisory control for closed language specifications
- scientific article; zbMATH DE number 434954 (Why is no real title available?)
- scientific article; zbMATH DE number 4215376 (Why is no real title available?)
- Implementation of supervisory control using extended finite-state machines
This page was built for publication: Supervisory control using augmented languages in discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1314846)
