Control of discrete-event systems with modular or distributed structure

DOI10.1016/j.tcs.2007.07.049zbMath1143.68053OpenAlexW2141547596MaRDI 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 controldistributed discrete-event systemmodular discrete-event system

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction ⋮ Supervisory control of modular systems with global specification languages ⋮ Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator ⋮ Coordination Control of Distributed Discrete-Event Systems

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

This page was built for publication: Control of discrete-event systems with modular or distributed structure