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

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

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

(21)

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

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)