Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
From MaRDI portal
Recommendations
- A Systematic Approach to Lyapunov Analyses of Continuous-Time Models in Convex Optimization
- Deductive verification of continuous dynamical systems
- Verification of continuous dynamical systems by timed automata
- Scalable underapproximative verification of stochastic LTI systems using convexity and compactness
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Efficient model-checking of dense-time systems with time-convexity analysis
- Computation of Lyapunov functions for smooth nonlinear systems using convex optimization
- Nonlinear \(\mathcal{L}_2\)-gain verification for nonlinear systems
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
Cited in
(26)- Flow functions, control flow functions, and the reach control problem
- An axiomatic approach to existence and liveness for differential equations
- Safety of stochastic systems: an analytic and computational approach
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
- Almost global stability of nonlinear switched systems with mode-dependent and edge-dependent average dwell time
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Trajectory Based Verification Using Local Finite-Time Invariance
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- Probabilistic model validation for uncertain nonlinear systems
- A Lyapunov-density criterion for almost everywhere stability of a class of Lipschitz continuous and almost everywhere \(C^{1}\) nonlinear systems
- Hybrid Systems: Computation and Control
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
- k-Inductive Barrier Certificates for Stochastic Systems
- An axiomatic approach to liveness for differential equations
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- Sufficient and necessary barrier-like conditions for safety and reach-avoid verification of stochastic discrete-time systems
- Converse barrier certificates for finite-time safety verification of continuous-time perturbed deterministic systems
- Lyapunov-like descriptions of strong forward invariance for differential inclusions
- Computational synthesis of control barrier functions with applications in automotive lane keeping supervisory control
- Finite-time safety and reach-avoid verification of stochastic discrete-time systems
- Closure certificates
- Lifelong safe optimal adaptive tracking control of nonlinear strict-feedback discrete-time systems
- Closure certificates
- Polynomial optimization for nonlinear dynamics: theory, algorithms and applications. Abstracts from the workshop held July 28 -- August 2, 2024
- Synthesizing invariant barrier certificates via difference-of-convex programming
This page was built for publication: Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3506535)
