The buck stops here: order, chance, and coordination in distributed control

DOI10.1007/978-3-642-24372-1_31MaRDI QIDQ3172930zbMATHOpenAlexFDO

Authors Gal Katz, Doron Peled, Sven Schewe

Publication date 7 October 2011

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24372-1_31

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)

Recommendations

• Achieving distributed control through model checking
• Methods for knowledge based controlling of distributed systems
• Predicate control: synchronization in distributed computations with look-ahead.
• scientific article; zbMATH DE number 47016
• Common knowledge and consistent simultaneous coordination

Cited in

(5)

• Organization of the choice of static priorities in decentralized-control systems. I
• Organization of the choice of static priorities in systems with decentralized control. II
• Methods for knowledge based controlling of distributed systems
• Common randomness and distributed control: A counterexample
• Achieving distributed control through model checking

This page was built for publication: The buck stops here: order, chance, and coordination in distributed control

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