scientific article; zbMATH DE number 1927560
From MaRDI portal
Publication:4484484
zbMATH Open1012.68118MaRDI QIDQ4484484FDOQ4484484
Authors: Parthasarathy Madhusudan, P. S. Thiagarajan 
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210145.htm
Title of this publication is not available (Why is that?)
Recommendations
Cited In (20)
- On the control of asynchronous automata
- Distributed synthesis for well-connected architectures
- The computational complexity of scenario-based agent verification and design
- Nondeterministic controllers of nondeterministic processes
- Title not available (Why is that?)
- Hierarchical information and the synthesis of distributed strategies
- Predicate control: synchronization in distributed computations with look-ahead.
- Compositional strategy synthesis for stochastic games with multiple objectives
- Distributed synthesis in continuous time
- Modular strategies for recursive game graphs
- Practical distributed control synthesis
- Achieving distributed control through model checking
- Fair synthesis for asynchronous distributed systems
- Desynchronizability of (partial) synchronous closed loop systems
- Methods for knowledge based controlling of distributed systems
- On Distributed Program Specification and Synthesis in Architectures with Cycles
- Efficient trace encodings of bounded synthesis for asynchronous distributed systems
- Undecidable problems of decentralized observation and control on regular languages
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
- On the control of asynchronous machines with races
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 Q4484484)
