A class of non-deterministic specifications for supervisory control
DOI10.1016/S0947-3580(97)70063-3zbMATH Open0889.93004MaRDI QIDQ1365652FDOQ1365652
Authors: M. Fabian, Bengt Lennartson 
Publication date: 29 June 1998
Published in: European Journal of Control (Search for Journal in Brave)
Recommendations
completenesssupervisory control theorydiscrete event systemsmanufacturing systemsobject oriented modelingnon-deterministic specification
Hierarchical systems (93A13) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Supervisory Control of a Class of Discrete Event Processes
- A class of non-deterministic specifications for supervisory control
- Title not available (Why is that?)
- On controllability and normality of discrete event dynamical systems
- Supervisory control of deterministic Petri nets with regular specification languages
- Title not available (Why is that?)
- Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
- Object-oriented programming in control system design: A survey
- Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
Cited In (4)
- On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
- A class of non-deterministic specifications for supervisory control
- Supervisory Control with Complete Observations
- Maximally permissive controlled system synthesis for non-determinism and modal logic
This page was built for publication: A class of non-deterministic specifications for supervisory control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1365652)
