Pages that link to "Item:Q1689367"

The following pages link to Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367):

Displaying 16 items.

• Efficient output solution for nonlinear stochastic optimal control problem with model-reality differences (Q1666282) (← links)
• Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
• Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
• Incremental \(H_\infty\) performance for a class of stochastic switched nonlinear systems (Q1797173) (← links)
• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
• Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
• Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
• Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
• Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
• Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
• Stochastic incremental \(H_\infty\) control for discrete-time switched systems with disturbance dependent noise (Q2660746) (← links)
• Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems (Q5238255) (← links)
• Incremental stability of stochastic time‐varying impulsive and switching systems (Q6083838) (← links)