Control of Modular and Distributed Discrete-Event Systems

DOI10.1007/11804192_3MaRDI QIDQ3591395zbMATH OpenOpenAlexFDO

Authors Jan Komenda, Jan H. van Schuppen

Publication date 11 September 2007

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11804192_3

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Large-scale systems (93A15) Synthesis problems (93B50) Discrete event control/observation systems (93C65) Distributed systems (68M14)

Recommendations

• Control of discrete-event systems with modular or distributed structure
• scientific article; zbMATH DE number 2150202
• scientific article; zbMATH DE number 1836359
• scientific article; zbMATH DE number 3959244
• Supervisory control of discrete event systems

Cited in

(19)

• 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?)
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
• Modular supervisory control of fuzzy discrete event systems
• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 2233608 (Why is no real title available?)
• Discrete-event control of stochastic networks: multimodularity and regularity.
• Control of discrete-event systems with modular or distributed structure
• Optimal modular control of discrete event systems with distinguishers and approximations
• Supervisory control synthesis of discrete-event systems using a coordination scheme
• Distributed Control of Discrete-Event Systems: A First Step
• Modular control of discrete-event systems using similarity
• Modular supervisory control of discrete-event systems
• Incremental hierarchical construction of modular supervisors for discrete-event systems
• An efficient modular method for the control of concurrent discrete event systems: A language-based approach
• Applications and Theory of Petri Nets 2004
• Supervisory control of modular systems with global specification languages

This page was built for publication: Control of Modular and Distributed Discrete-Event Systems

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