Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

DOI10.1016/j.sysconle.2011.04.005zbMath1222.93150OpenAlexW2025366469MaRDI QIDQ553375

Tomáš Masopust, Jan Komenda, Jan H. van Schuppen

Publication date: 27 July 2011

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/18883

zbMATH Keywords

supervisory controlcoordination controlconditional controllabilityconditional normalityconditional observabilitycoordinatordiscrete-event systemsupremal conditionally controllable and conditionally normal sublanguage

Mathematics Subject Classification ID

Controllability (93B05) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items (9)

On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ On conditional decomposability ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ On a structural property in the state complexity of projected regular languages ⋮ Control of distributed systems: tutorial and overview ⋮ Distributed computation of supremal conditionally controllable sublanguages ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Coordination control of discrete-event systems revisited

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Formulas for calculating supremal controllable and normal sublanguages
• On controllability and normality of discrete event dynamical systems
• Supervisory control synthesis of discrete-event systems using a coordination scheme
• Control of discrete-event systems with modular or distributed structure
• Supervisory control of product and hierarchical discrete event systems
• Hierarchical control of discrete-event systems
• Introduction to Discrete Event Systems
• Supervisory Control of a Class of Discrete Event Processes
• Modular Control of Discrete-Event Systems With Coalgebra
• Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
• On the computation of natural observers in discrete-event systems

This page was built for publication: Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator