Modular control and coordination of discrete-event systems

DOI10.1023/A:1008210519960zbMath0915.93028OpenAlexW101029079MaRDI QIDQ1272973

Kai C. Wong, M. Murray Wonham

Publication date: 6 July 1999

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008210519960

zbMATH Keywords

supervisory controldiscrete-event systemsdecentralized controlblockinghierarchical coordinationmodularitymodular control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Decentralized systems (93A14) General systems (93A10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (13)

Designing communicating transaction processes by supervisory control theory ⋮ Time-optimal control of large-scale systems of systems using compositional optimization ⋮ Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ Compositional synthesis of maximally permissive supervisors using supervision equivalence ⋮ Distributed supervisory control of discrete-event systems with communication delay ⋮ A framework for synthesis of communicating decentralised supervisors for discrete-event systems ⋮ PSPACE-completeness of modular supervisory control problems ⋮ On the computation of natural observers in discrete-event systems ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ Compositional coordinator synthesis of extended finite automata ⋮ CONFLICTS AND FAIR TESTING ⋮ Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder

This page was built for publication: Modular control and coordination of discrete-event systems