Contract-based distributed logical controller synthesis

DOI10.1145/3641513.3650123MaRDI QIDQ6993502zbMATH OpenFDO

Authors Anne-Kathrin Schmuck

Publication date 25 April 2025

Full work available at URL https://doi.org/10.1145/3641513.3650123

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• Assume-admissible synthesis
• Assume-Guarantee Synthesis
• Assume-guarantee synthesis for concurrent reactive programs with partial information
• Compositional and symbolic synthesis of reactive controllers for multi-agent systems
• Compositional Synthesis of Finite-State Abstractions
• Computing adequately permissive assumptions for synthesis
• Formal methods for discrete-time dynamical systems
• Generalized Parity Games
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 3938541 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Partial solvers for generalized parity games
• Poster Abstract: Towards Seamless Reactivity of Hybrid Control
• Proofs of Networks of Processes
• Synthesizing permissive winning strategy templates for parity games
• Verification and Control of Hybrid Systems

Cited in

(1)

• Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control

This page was built for publication: Contract-based distributed logical controller synthesis

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