Achieving distributed control through model checking
DOI10.1007/S10703-011-0138-9zbMATH Open1247.68185OpenAlexW2070724783MaRDI QIDQ453529FDOQ453529
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
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
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Formal verification of parallel programs
- System modelling with high-level Petri nets
- On the synthesis of strategies in infinite games
- A general architecture for decentralized supervisory control of discrete-event systems
- Think globally, act locally: decentralized supervisory control
- Title not available (Why is that?)
- Undecidable problems of decentralized observation and control on regular languages
- Common knowledge and update in finite environments
- Undecidability in decentralized supervision
- Know means no: Incorporating knowledge into discrete-event control systems
- Priority Scheduling of Distributed Systems Based on Model Checking
- Methods for knowledge based controlling of distributed systems
Cited In (7)
- Priority Scheduling of Distributed Systems Based on Model Checking
- Priority scheduling of distributed systems based on model checking
- Title not available (Why is that?)
- Knowledge based scheduling of distributed systems
- Overcoming controllability problems in distributed testing from an input output transition system
- Methods for knowledge based controlling of distributed systems
- The buck stops here: order, chance, and coordination in distributed control
Uses Software
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)
