Contract-based multi-agent logical controller synthesis under uncertainty
From MaRDI portal
Cites work
- A small gain theorem for parametric assume-guarantee contracts
- Assume-admissible synthesis
- Assume-Guarantee Synthesis
- Assume-guarantee synthesis for concurrent reactive programs with partial information
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems
- Compositional construction of most general controllers
- Compositional Synthesis of Finite-State Abstractions
- Compositional synthesis of reactive controllers for multi-agent systems
- Computing adequately permissive assumptions for synthesis
- Contract-based distributed logical controller synthesis
- Data-driven safety filters: Hamilton-Jacobi reachability, control barrier functions, and predictive methods for uncertain systems
- Environment Assumptions for Synthesis
- Equilibrium points in n -person games
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Formal methods for discrete-time dynamical systems
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
- Games with secure equilibria
- Generalized Parity Games
- scientific article; zbMATH DE number 1701356 (Why is no real title available?)
- 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
- Linear Time Logic Control of Discrete-Time Linear Systems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Partial solvers for generalized parity games
- Proofs of Networks of Processes
- Supervisory control and reactive synthesis: a comparative introduction
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game
- Synthesizing dominant strategies for liveness
- Synthesizing permissive winning strategy templates for parity games
- Verification and Control of Hybrid Systems
- Winning strategy templates for stochastic parity games towards permissive and resilient control
This page was built for publication: Contract-based multi-agent logical controller synthesis under uncertainty
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7354401)
