Control of discrete-event systems with modular or distributed structure

DOI10.1016/j.tcs.2007.07.049zbMath1143.68053MaRDI QIDQ2464943

Jan Komenda, Jan H. van Schuppen

Publication date: 18 December 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.07.049

zbMATH Keywords

supervisory control; distributed discrete-event system; modular discrete-event system

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Coordination Control of Distributed Discrete-Event Systems, Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator, Supervisory control of modular systems with global specification languages

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Formulas for calculating supremal controllable and normal sublanguages
• Control of discrete-event systems with partial observations using coalgebra and coinduction
• On observability of discrete-event systems
• Modular supervisory control of discrete-event systems
• On the control of discrete-event dynamical systems
• On controllability and normality of discrete event dynamical systems
• Games for synthesis of controllers with partial observation.
• Universal coalgebra: A theory of systems
• Undecidable problems of decentralized observation and control on regular languages
• Supervisory control of modular systems with global specification languages
• Supervisory control of product and hierarchical discrete event systems
• Structural decentralised control of concurrent discrete-event systems
• The Verification and Control of Interacting Similar Discrete-Event Systems
• Effective Control Synthesis for Partially Observed Discrete-Event Systems
• Control of Modular and Distributed Discrete-Event Systems
• Supervisory control of concurrent discrete-event systems
• Modular Control of Discrete-Event Systems With Coalgebra
• Branching time controllers for discrete event systems