Distributed controller synthesis for local specifications
From MaRDI portal
Recommendations
- Distributed Synthesis of Local Controllers for Networked Systems With Arbitrary Interconnection Topologies
- Practical distributed control synthesis
- The synthesis of constrained control for distributed systems
- Automated synthesis of distributed controllers
- An approach to lumped control synthesis in distributed systems
- Comments on “Distributed Synthesis of Local Controllers for Networked Systems With Arbitrary Interconnection Topologies”
- Distributed Control of Heterogeneous Systems
- Local LQG/LTR controller design for decentralized systems
- Distributed control synthesis using Euler's method
- Distributed control design for spatially interconnected systems
Cited in
(29)- Hierarchical information and the synthesis of distributed strategies
- Dynamic hierarchical reactive controller synthesis
- PSPACE-completeness of modular supervisory control problems
- Distributed synthesis for parameterized temporal logics
- Reasoning about layered message passing systems
- On distributed symbolic control of interconnected systems under persistency specifications
- Distributed synthesis for regular and contextfree specifications
- Undecidable problems of decentralized observation and control on regular languages
- Distributed synthesis is simply undecidable
- Infinite-state high-level MSCs: model-checking and realizability
- Distributed synthesis in continuous time
- Distributed synthesis for acyclic architectures
- Distributed synthesis for regular and contextfree specifications
- Automated synthesis of distributed controllers
- Bounded synthesis for Petri games
- Bounded Synthesis
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
- On Distributed Program Specification and Synthesis in Architectures with Cycles
- scientific article; zbMATH DE number 1927560 (Why is no real title available?)
- Synthesizing distributed transition systems from global specifications
- Practical distributed control synthesis
- Distributed PROMPT-LTL synthesis
- Automated synthesis: a distributed viewpoint
- scientific article; zbMATH DE number 3893007 (Why is no real title available?)
- Infinite games with finite knowledge gaps
- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
- Distributed controller synthesis for deadlock avoidance
- Distributed synthesis for well-connected architectures
- Controlling loosely cooperating processes
This page was built for publication: Distributed controller synthesis for local specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535033)
