Supervisory control using failure semantics and partial specifications

DOI10.1109/9.566659MaRDI QIDQ4339719zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

synthesissupervisory controlpartial specificationbounded recurrencedeadlock-free behaviournondeterministic discrete-event systems

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 744043
• scientific article; zbMATH DE number 744041
• Discrete-event control of nondeterministic systems

Cited in

(8)

• Safe supervisory control under observability failure
• Verification of asynchronous systems with an unspecified component
• Compositionality issues in discrete, continuous, and hybrid systems
• Supervisory Control with Complete Observations
• Branching time controllers for discrete event systems
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution

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)