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

supervisory controldistributed discrete-event systemmodular discrete-event system

Mathematics Subject Classification ID

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

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

• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• Branching time controllers for discrete event systems
• Control of Modular and Distributed Discrete-Event Systems
• Control of discrete-event systems with partial observations using coalgebra and coinduction
• 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.
• 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

(15)

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

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)