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 6 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)
- Almost global stability of nonlinear switched systems with mode-dependent and edge-dependent average dwell time (Q2665310) (← 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)
