Controller/Orchestrator Synthesis via Filtration

DOI10.1016/j.entcs.2010.04.004zbMath1345.68227OpenAlexW2057184229MaRDI QIDQ3185761

Philippe Balbiani, Guillaume Feuillade, Fahima Cheikh

Publication date: 5 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.04.004

zbMATH Keywords

modal logicfiltrationbisimulationcontroller synthesisorchestrator synthesis

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Parametrized automata simulation and application to service composition

Cites Work

• Unnamed Item
• Unnamed Item
• On the control of discrete-event dynamical systems
• Symbolic model checking: \(10^{20}\) states and beyond
• Games for synthesis of controllers with partial observation.
• Counterexample-guided abstraction refinement for symbolic model checking
• On the synthesis of discrete controllers for timed systems
• A Lower Bound on Web Services Composition
• Rudiments of \(\mu\)-calculus

This page was built for publication: Controller/Orchestrator Synthesis via Filtration