Supervisory control using failure semantics and partial specifications
DOI10.1109/9.566659zbMATH Open0898.93004OpenAlexW2095786572MaRDI QIDQ4339719FDOQ4339719
Authors: Ard Overkamp 
Publication date: 5 November 1998
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/2158
Recommendations
synthesissupervisory controlpartial specificationbounded recurrencedeadlock-free behaviournondeterministic discrete-event systems
Reliability, availability, maintenance, inspection in operations research (90B25) Hierarchical systems (93A13) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cited In (8)
- Verification of asynchronous systems with an unspecified component
- Safe supervisory control under observability failure
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- Compositionality issues in discrete, continuous, and hybrid systems
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- Supervisory Control with Complete Observations
- Branching time controllers for discrete event systems
This page was built for publication: Supervisory control using failure semantics and partial specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4339719)
