Decentralized supervisory control of discrete-event systems

DOI10.1016/0020-0255(88)90002-3zbMath0679.68042OpenAlexW2091149102MaRDI QIDQ1822944

Feng Lin, W. Murray Wonham

Publication date: 1988

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(88)90002-3

zbMATH Keywords

supervisory controldiscrete-event systemsclosed-loop languageconcurrent operation

Mathematics Subject Classification ID

Related Items (67)

On-line control of partially observed discrete event systems ⋮ Supervision localization of timed discrete-event systems ⋮ Supervisory control of concurrent discrete-event systems ⋮ Supervisory control of discrete event systems with state-dependent controllability ⋮ On observability of discrete-event systems ⋮ Development of concurrent structural decentralised discrete event system using bisimulation concept ⋮ Undecidable problems of decentralized observation and control on regular languages ⋮ Modular supervisory control of discrete-event systems ⋮ Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ On supervisory control of real-time discrete-event systems ⋮ Supervisory control of discrete event systems ⋮ A polynomial dynamic system approach to software design for attractivity requirement ⋮ Fault-tolerant supervisory control with permanent faults ⋮ Supervisory control synthesis of discrete-event systems using a coordination scheme ⋮ Modeling and control of heterogeneous field robots under partial observation ⋮ Natural projection as partial model checking ⋮ Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems ⋮ Detection and mitigation of classes of attacks in supervisory control systems ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Composite supervisory control for symmetric discrete-event systems ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems ⋮ Verification of initial-state opacity in security applications of discrete event systems ⋮ Minimax control of switching systems under sampling ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ Control of large scale discrete event systems: task allocation and coordination ⋮ An algebraic approach to supervisory control ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ Supervisory control for collision avoidance in vehicular networks using discrete event abstractions ⋮ Invertibility of discrete-event dynamic systems ⋮ Supervisory control of switching control systems ⋮ Decentralized supervisory control of fuzzy discrete event systems ⋮ Detectability of discrete event systems with dynamic event observation ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Generalized detectability for discrete event systems ⋮ Nonconflict check by using sequential automaton abstractions based on weak observation equivalence ⋮ 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 ⋮ Generalised projections in finite state automata and decidability of state determinacy ⋮ On computation of supremal controllable, normal sublanguages ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Detectability of networked discrete event systems ⋮ On the computation of natural observers in discrete-event systems ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ Structural decentralised control of concurrent discrete-event systems ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ Supervisory control of discrete-event systems under attacks ⋮ Supervisor localisation for large-scale discrete-event systems under partial observation ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Relative coobservability for decentralised supervisory control of discrete-event systems ⋮ Formulas for calculating supremal controllable and normal sublanguages ⋮ A language measure for partially observed discrete event systems ⋮ A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks ⋮ Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations ⋮ Automating the addition of fault tolerance with discrete controller synthesis ⋮ Supervisory Control with Partial Observations ⋮ Hierarchical control of discrete-event systems ⋮ Hierarchical control of timed discrete-event systems ⋮ Using subobservers to synthesize opacity-enforcing supervisors ⋮ Coordination control of discrete-event systems revisited ⋮ Computation of supervisors for reconfigurable machine tools ⋮ Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder ⋮ New results on supervisor localization, with case studies ⋮ Performance optimization for a class of generalized stochastic Petri nets

Cites Work

• On supervisory control of real-time discrete-event systems
• A calculus of communicating systems
• Supervisory Control of a Class of Discrete Event Processes
• Modular Feedback Logic for Discrete Event Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decentralized supervisory control of discrete-event systems