Pages that link to "Item:Q5282200"
From MaRDI portal
The following pages link to A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (Q5282200):
Displaying 50 items.
- Some applications of polynomial optimization in operations research and real-time decision making (Q276318) (← links)
- A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Maximizing the probability of attaining a target prior to extinction (Q547917) (← links)
- Constrained control of input-output linearizable systems using control sharing barrier functions (Q680519) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
- Vehicle motion control under equality and inequality constraints: a diffeomorphism approach (Q785290) (← links)
- Design and analysis of a potential-based controller for safe robot navigation in unknown GPS-denied environments with strictly convex obstacles (Q826756) (← links)
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation (Q832198) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Safety verification for distributed parameter systems using barrier functionals (Q1678571) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- Computation of polytopic invariants for polynomial dynamical systems using linear programming (Q1932703) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214) (← links)
- Sufficient conditions for feasibility of optimal control problems using control barrier functions (Q2059351) (← links)
- Safety of stochastic systems: an analytic and computational approach (Q2065176) (← links)
- Probabilistic ultimate bounds and invariant sets in nonlinear systems (Q2065197) (← links)
- Safety-critical optimal control for autonomous systems (Q2070013) (← links)
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792) (← links)
- Safety stabilization of switched systems with unstable subsystems (Q2082769) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Safe-by-design control for Euler-Lagrange systems (Q2097774) (← links)
- Small-gain theorem for safety verification of interconnected systems (Q2116647) (← links)
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
- Safety-critical dynamic event-triggered control of nonlinear systems (Q2124497) (← links)
- Deep recurrent neural networks with finite-time terminal sliding mode control for a chaotic fractional-order financial system with market confidence (Q2137257) (← links)
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Co-design of safe and efficient networked control systems in factory automation with state-dependent wireless fading channels (Q2280705) (← links)
- Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems (Q2304049) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Computing sum of squares decompositions with rational coefficients (Q2378506) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Transverse contraction criteria for existence, stability, and robustness of a limit cycle (Q2440014) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions (Q2663858) (← links)
- A barrier function approach to finite-time stochastic system verification and control (Q2663942) (← links)
- Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles (Q2665090) (← links)
- Control barrier functions for stochastic systems (Q2665332) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Output transient trajectory shaping control for a class of nonlinear systems (Q2935341) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)