On the control of asynchronous automata

DOI10.4230/LIPICS.FSTTCS.2017.30MaRDI QIDQ5136322zbMATH OpenFDO

Authors Hugo Gimbert

Publication date 25 November 2020

Full work available at URL https://arxiv.org/abs/1601.05176

zbMATH Keywords

asynchronous automatacontroller synthesis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Synthesis problems (93B50)

Recommendations

• scientific article; zbMATH DE number 1927560
• scientific article; zbMATH DE number 5587278
• Asynchronous Games over Tree Architectures
• LATIN 2004: Theoretical Informatics
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Cites work

• Asynchronous Games over Tree Architectures
• Automated synthesis of distributed controllers
• Automated Technology for Verification and Analysis
• Distributed synthesis for acyclic architectures
• 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 5587278 (Why is no real title available?)
• Notes on finite asynchronous automata

Cited in

(22)

• Synthesis in presence of dynamic links
• Nondeterministic controllers of nondeterministic processes
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• scientific article; zbMATH DE number 1254382 (Why is no real title available?)
• scientific article; zbMATH DE number 484183 (Why is no real title available?)
• scientific article; zbMATH DE number 1927560 (Why is no real title available?)
• Desynchronizability of (partial) synchronous closed loop systems
• scientific article; zbMATH DE number 1836386 (Why is no real title available?)
• scientific article; zbMATH DE number 1863184 (Why is no real title available?)
• scientific article; zbMATH DE number 7455739 (Why is no real title available?)
• Distributed Asynchronous Games With Causal Memory are Undecidable
• Controlling a population
• scientific article; zbMATH DE number 5587278 (Why is no real title available?)
• Controlling a population
• On the control of asynchronous machines with races
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Theoretical Aspects of Computing - ICTAC 2004
• Translating asynchronous games for distributed synthesis
• LATIN 2004: Theoretical Informatics
• Asynchronous transition system games for two processes and their analysis
• Distributed controller synthesis for deadlock avoidance
• (Un)decidability bounds of the synthesis problem for Petri games

This page was built for publication: On the control of asynchronous automata

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