The infimal closed controllable superlanguage and its application in supervisory control
From MaRDI portal
Publication:3493235
DOI10.1109/9.52291zbMath0709.68028OpenAlexW2147592000MaRDI QIDQ3493235
Publication date: 1990
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.52291
Related Items (24)
Distributed inversion in timed discrete event systems ⋮ Solvability of centralized supervisory control under partial observation ⋮ Absolute controllability of predicates in discrete event systems ⋮ Formulae relating controllability, observability, and co-observability ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ On tolerable and desirable behaviors in supervisory control of discrete event systems ⋮ On nonconflicting languages that arise in supervisory control of discrete event systems ⋮ Extremal solutions of inequations over lattices with applications to supervisory control ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ A graph-theoretic optimal control problem for terminating discrete event processes ⋮ On optimal attraction in discrete-event processes ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Supervisory control of a class of concurrent discrete event systems under partial observation ⋮ Logical models of discrete even systems: a comparative exposition ⋮ An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions ⋮ Supervisory control of (max,+) automata: extensions towards applications ⋮ Recursive computation of limited lookahead supervisory controls for discrete event systems ⋮ The infimal prefix-closed and observable superlanguage of a given language ⋮ Supervisory Control with Complete Observations ⋮ Stabilization and blocking in state feedback control of discrete event systems ⋮ Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks ⋮ Supervisory control using augmented languages in discrete event systems ⋮ Discussion on: ``Supervisory control of discrete event systems with flexible marking ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction
This page was built for publication: The infimal closed controllable superlanguage and its application in supervisory control
