Achieving distributed control through model checking

DOI10.1007/S10703-011-0138-9MaRDI QIDQ453529zbMATH OpenOpenAlexFDO

Authors Susanne Graf, Sophie Quinton, Doron Peled

Publication date 27 September 2012

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-011-0138-9

zbMATH Keywords

disjunctive controldistributed controlknowledgemodel checkingprioritized systems

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Methods for knowledge based controlling of distributed systems
• Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge
• The buck stops here: order, chance, and coordination in distributed control
• scientific article; zbMATH DE number 1927560
• Practical distributed control synthesis

Cites work

• A general architecture for decentralized supervisory control of discrete-event systems
• Common knowledge and update in finite environments
• Formal verification of parallel programs
• scientific article; zbMATH DE number 3582190 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Know means no: Incorporating knowledge into discrete-event control systems
• Methods for knowledge based controlling of distributed systems
• On the synthesis of strategies in infinite games
• Priority Scheduling of Distributed Systems Based on Model Checking
• System modelling with high-level Petri nets
• Think globally, act locally: decentralized supervisory control
• Undecidability in decentralized supervision
• Undecidable problems of decentralized observation and control on regular languages

Cited in

(7)

• Overcoming controllability problems in distributed testing from an input output transition system
• scientific article; zbMATH DE number 434956 (Why is no real title available?)
• The buck stops here: order, chance, and coordination in distributed control
• Knowledge based scheduling of distributed systems
• Priority Scheduling of Distributed Systems Based on Model Checking
• Priority scheduling of distributed systems based on model checking
• Methods for knowledge based controlling of distributed systems

Describes a project that uses

Uses Software

• MCGP

This page was built for publication: Achieving distributed control through model checking

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