Controller/orchestrator synthesis via filtration

DOI10.1016/J.ENTCS.2010.04.004MaRDI QIDQ3185761zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade

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

bisimulationcontroller synthesisfiltrationmodal logicorchestrator 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)

Recommendations

• Controller synthesis for bisimulation equivalence
• Filtration via bisimulation
• Nondeterministic controllers of nondeterministic processes
• Synthesis of controllers for abstract and structural automata
• A compositional framework for controller synthesis

Cites work

• A Lower Bound on Web Services Composition
• Counterexample-guided abstraction refinement for symbolic model checking
• Games for synthesis of controllers with partial observation.
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Modal logic
• On the control of discrete-event dynamical systems
• On the synthesis of discrete controllers for timed systems
• Rudiments of \(\mu\)-calculus
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(1)

• Parametrized automata simulation and application to service composition

This page was built for publication: Controller/orchestrator synthesis via filtration

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