The following pages link to (Q5375276):
Displayed 16 items.
- On the timed temporal logic planning of coupled multi-agent systems (Q1716548) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Lazy controller synthesis for monotone transition systems and directed safety specifications (Q2059378) (← links)
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- Symbolic abstractions for nonlinear control systems via feedback refinement relation (Q2174020) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
- Characterization, verification and computation of robust controlled invariants for monotone dynamical systems (Q6188526) (← links)
- Compositional safety rules for inter-triggering hybrid automata (Q6201581) (← links)