Pages that link to "Item:Q3506535"
From MaRDI portal
The following pages link to Convex Programs for Temporal Verification of Nonlinear Dynamical Systems (Q3506535):
Displaying 11 items.
- Probabilistic model validation for uncertain nonlinear systems (Q466275) (← links)
- Flow functions, control flow functions, and the reach control problem (Q1689356) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Safety of stochastic systems: an analytic and computational approach (Q2065176) (← links)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Almost global stability of nonlinear switched systems with mode-dependent and edge-dependent average dwell time (Q2665310) (← links)
- Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
- A Lyapunov-density criterion for almost everywhere stability of a class of Lipschitz continuous and almost everywhere<i>C</i><sup>1</sup>nonlinear systems (Q5265692) (← links)
- Hybrid Systems: Computation and Control (Q5703951) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)
