Think globally, act locally: decentralized supervisory control
From MaRDI portal
Publication:4031515
DOI10.1109/9.173140zbMath0778.93002OpenAlexW2171110406MaRDI QIDQ4031515
Publication date: 1 April 1993
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.173140
Related Items (79)
On-line control of partially observed discrete event systems ⋮ Modular strategies for recursive game graphs ⋮ Solvability of centralized supervisory control under partial observation ⋮ Undecidable problems of decentralized observation and control on regular languages ⋮ Application of supervisory control theory to theme park vehicles ⋮ Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor ⋮ A unified approach to control problems in discrete event processes ⋮ Supervisory control of discrete event systems ⋮ Observability and diagnosability of finite state systems: a unifying framework ⋮ Online minimization of sensor activation for supervisory control ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures ⋮ The hierarchical control of ST-finite-state machines ⋮ Formulae relating controllability, observability, and co-observability ⋮ Design of decentralized critical observers for networks of finite state machines: a formal method approach ⋮ Diagnosis of discrete event systems using decentralized architectures ⋮ An efficient modular method for the control of concurrent discrete event systems: A language-based approach ⋮ Supervisory control of discrete event systems with distinguishers ⋮ Information tracking in games on graphs ⋮ On conditional decomposability ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Supervisory control to maximize mean time to failure in discrete event systems ⋮ Do what you know: coupling knowledge with action in discrete-event systems ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Decentralized diagnosis of fuzzy discrete-event systems ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ Games for synthesis of controllers with partial observation. ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ Synthesizing bounded-time 2-phase fault recovery ⋮ Decentralized control of infinite systems ⋮ Mind the gap: expanding communication options in decentralized discrete-event control ⋮ Priority scheduling of distributed systems based on model checking ⋮ Achieving distributed control through model checking ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Compositionality issues in discrete, continuous, and hybrid systems ⋮ Privacy preserving minimal observability for composite transactional services ⋮ Sharing out control in distributed processes ⋮ Distributed Control of Discrete-Event Systems: A First Step ⋮ A framework for synthesis of communicating decentralised supervisors for discrete-event systems ⋮ Decentralized supervisory control of fuzzy discrete event systems ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Building distributed controllers for systems with priorities ⋮ Knowledge Based Scheduling of Distributed Systems ⋮ PSPACE-completeness of modular supervisory control problems ⋮ Reliable decentralized supervisory control of fuzzy discrete event systems ⋮ A modified normality condition for decentralized supervisory control of discrete event systems ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ Undecidability in decentralized supervision ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Detectability of networked discrete event systems ⋮ Implementation of supervisory control using extended finite-state machines ⋮ On Distributed Program Specification and Synthesis in Architectures with Cycles ⋮ Structural decentralised control of concurrent discrete-event systems ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets ⋮ Relative coobservability for decentralised supervisory control of discrete-event systems ⋮ Opacity of networked discrete event systems ⋮ Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays ⋮ Distributed Implementation of Systems with Multiparty Interactions and Priorities ⋮ Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence ⋮ Supervisory control of the structured dynamic discrete-event systems ⋮ An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems ⋮ Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation ⋮ Hierarchical control of discrete-event systems ⋮ Hierarchical control of timed discrete-event systems ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants ⋮ A branch and bound approach for the design of decentralized supervisors in Petri net models ⋮ Coordination control of discrete-event systems revisited ⋮ Robustness of synchronous communication protocols with delay for decentralized discrete-event control ⋮ Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay ⋮ The complexity of automated addition of fault-tolerance without explicit legitimate states ⋮ Decentralized state feedback control of discrete event systems ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction
This page was built for publication: Think globally, act locally: decentralized supervisory control
