Supervisory control using failure semantics and partial specifications

DOI10.1109/9.566659zbMath0898.93004OpenAlexW2095786572MaRDI QIDQ4339719

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)

Related Items (7)

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

This page was built for publication: Supervisory control using failure semantics and partial specifications