Achieving distributed control through model checking

DOI10.1007/S10703-011-0138-9zbMath1247.68185OpenAlexW2070724783MaRDI QIDQ453529

Sophie Quinton, Susanne Graf, Doron A. 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

knowledgedistributed controlmodel checkingdisjunctive controlprioritized systems

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) Distributed systems (68M14)

Related Items (2)

Priority scheduling of distributed systems based on model checking ⋮ Knowledge Based Scheduling of Distributed Systems

Uses Software

• MCGP

Cites Work

• Unnamed Item
• Unnamed Item
• System modelling with high-level Petri nets
• Common knowledge and update in finite environments
• A general architecture for decentralized supervisory control of discrete-event systems
• Undecidable problems of decentralized observation and control on regular languages
• Undecidability in decentralized supervision
• Know means no: Incorporating knowledge into discrete-event control systems
• Priority Scheduling of Distributed Systems Based on Model Checking
• Think globally, act locally: decentralized supervisory control
• Formal verification of parallel programs
• On the synthesis of strategies in infinite games
• Methods for Knowledge Based Controlling of Distributed Systems

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