Control of discrete-event systems with modular or distributed structure

DOI10.1016/J.TCS.2007.07.049MaRDI QIDQ2464943zbMATH OpenOpenAlexFDO

Authors 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

distributed discrete-event systemmodular discrete-event systemsupervisory control

Mathematics Subject Classification ID

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

Recommendations

• Control of Modular and Distributed Discrete-Event Systems
• scientific article; zbMATH DE number 1836359
• scientific article; zbMATH DE number 2150202
• scientific article; zbMATH DE number 3959244
• Supervisory control of discrete event systems

Cites work

• Branching time controllers for discrete event systems
• Control of discrete-event systems with partial observations using coalgebra and coinduction
• Control of Modular and Distributed Discrete-Event Systems
• Effective control synthesis for partially observed discrete-event systems
• Formulas for calculating supremal controllable and normal sublanguages
• Games for synthesis of controllers with partial observation.
• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• Modular Control of Discrete-Event Systems With Coalgebra
• Modular supervisory control of discrete-event systems
• On controllability and normality of discrete event dynamical systems
• On observability of discrete-event systems
• On the control of discrete-event dynamical systems
• Structural decentralised control of concurrent discrete-event systems
• Supervisory control of concurrent discrete-event systems
• Supervisory control of modular systems with global specification languages
• Supervisory control of product and hierarchical discrete event systems
• The Verification and Control of Interacting Similar Discrete-Event Systems
• Undecidable problems of decentralized observation and control on regular languages
• Universal coalgebra: A theory of systems

Cited in

(16)

• Modular control and coordination of discrete-event systems
• Discrete-event control of stochastic networks: multimodularity and regularity.
• PSPACE-completeness of modular supervisory control problems
• Optimal modular control of discrete event systems with distinguishers and approximations
• Modular control of discrete-event systems using similarity
• Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
• Supervisory control of modular systems with global specification languages
• Control of Modular and Distributed Discrete-Event Systems
• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• A method for the modular synthesis of controllers for timed discrete-event systems
• scientific article; zbMATH DE number 2150202 (Why is no real title available?)
• scientific article; zbMATH DE number 1836359 (Why is no real title available?)
• Distributed Control of Discrete-Event Systems: A First Step
• Coordination control of distributed discrete-event systems
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
• An efficient modular method for the control of concurrent discrete event systems: A language-based approach

Describes a project that uses

Uses Software

• UMDES

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2464943)