A guide to designing, implementing and analyzing distributed algorithms. It covers problems including resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election and global snapshots.
This book constitutes the refereed proceedings of the 24th International Symposium on Distributed Computing, DISC 2010, held in Cambridge, CT, USA, in September 2010. The 32 revised full papers, selected from 135 submissions, are presented together with 14 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on, transactions, shared memory services and concurrency, wireless networks, best student paper, consensus and leader election, mobile agents, computing in wireless and mobile networks, modeling issues and adversity, and self-stabilizing and graph algorithms.
The book presents a comprehensive exploration of hybrid models and their applications across various domains. It discusses automotive powertrain systems, emphasizing the design and utilization of formal specification languages for embedded control software. The content includes insights into model-based autonomous systems for robotic space exploration and simulation of hybrid systems. Key topics cover modular specification, approximate reachability analysis, and maximal safe set computation for automotive engines. The text also delves into optimization-based verification, control synthesis for switching systems, and the verification of hybrid systems using linear differential inclusions. Additional discussions highlight the theory of optimal control, behavior-based robotics, and hybrid controllers for decomposed systems. The book addresses robust undecidability in timed and hybrid systems and explores stochastic hybrid systems. It covers automatic compilation of concurrent hybrid factories and hybrid feedback regulators for automotive suspension control. The work includes techniques for reachability analysis, diagnosis of quantized systems, and stability of limit cycles in switched flow networks. Furthermore, it investigates decidability and complexity results for timed automata, level set methods for hybrid systems, and optimal operation schemes for chemical plants. The book concludes with topics on hybrid systems verific