scientific article; zbMATH DE number 5587278

MaRDI QIDQ5190785zbMATH OpenFDO

Authors Anca Muscholl, Igor Walukiewicz, Marc Zeitoun

Publication date 27 July 2009

zbMATH Keywords

controller synthesisdistributed control

Mathematics Subject Classification ID

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

Recommendations

• On the control of asynchronous automata
• scientific article; zbMATH DE number 1948506
• On the control of asynchronous machines with races
• Automata of asynchronous behaviors
• On the control of asynchronous sequential machines with infinite cycles
• scientific article; zbMATH DE number 3943039
• A Common Framework for Automata Theory and Control Theory
• Determinizing asynchronous automata
• Automatic defensive control of asynchronous sequential machines
• Coordinated static control of asynchronous sequential machines

Cited in

(13)

• Nondeterministic controllers of nondeterministic processes
• scientific article; zbMATH DE number 484183 (Why is no real title available?)
• scientific article; zbMATH DE number 1927560 (Why is no real title available?)
• scientific article; zbMATH DE number 1759629 (Why is no real title available?)
• Desynchronizability of (partial) synchronous closed loop systems
• A theory of desynchronisable closed loop system
• Distributed Asynchronous Games With Causal Memory are Undecidable
• On the control of asynchronous automata
• Petri games: synthesis of distributed systems with causal memory
• On the control of asynchronous machines with races
• Theoretical Aspects of Computing - ICTAC 2004
• Translating asynchronous games for distributed synthesis
• Controlling loosely cooperating processes

This page was built for publication:

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