Distributed controller synthesis for deadlock avoidance

DOI10.46298/LMCS-21(3:24)2025MaRDI QIDQ6925611zbMATH OpenFDO

Authors Hugo Gimbert, Corto N. Mascle, Anca Muscholl, Igor Walukiewicz

Publication date 25 September 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(3:24)2025

zbMATH Keywords

deadlock avoidancedistributed synthesislock synchronisation

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• Asynchronous Games over Tree Architectures
• Computer Aided Verification
• Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8--9, 2015. Proceedings
• Distributed Asynchronous Games With Causal Memory are Undecidable
• Distributed controller synthesis for deadlock avoidance
• Distributed controller synthesis for deadlock avoidance
• Distributed synthesis for acyclic architectures
• Distributed synthesis for well-connected architectures
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 1754607 (Why is no real title available?)
• scientific article; zbMATH DE number 7455739 (Why is no real title available?)
• scientific article; zbMATH DE number 3328724 (Why is no real title available?)
• scientific article; zbMATH DE number 7830376 (Why is no real title available?)
• On the control of asynchronous automata
• Petri games: synthesis of distributed systems with causal memory
• Reachability under contextual locking
• The theory of deadlock avoidance via discrete control
• Think globally, act locally: decentralized supervisory control
• Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 -- April 1,
• Translating asynchronous games for distributed synthesis
• Undecidability in decentralized supervision
• Undecidable problems of decentralized observation and control on regular languages

Cited in

(1)

• Distributed controller synthesis for deadlock avoidance

This page was built for publication: Distributed controller synthesis for deadlock avoidance

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