Pages that link to "Item:Q5307944"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307944):
Displaying 50 items.
- Stabilization with guaranteed safety using control Lyapunov-Barrier function (Q254528) (← links)
- Some applications of polynomial optimization in operations research and real-time decision making (Q276318) (← links)
- Relative entropy optimization and its applications (Q507310) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← 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)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- Property-directed incremental invariant generation (Q939166) (← links)
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
- Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint (Q1996687) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Reachability analysis using dissipation inequalities for uncertain nonlinear systems (Q2203460) (← links)
- Stabilization with guaranteed safety using barrier function and control Lyapunov function (Q2205454) (← links)
- Control of nonlinear systems under dynamic constraints: a unified barrier function-based approach (Q2207241) (← links)
- Control Lyapunov-barrier function-based model predictive control of nonlinear systems (Q2280912) (← links)
- Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems (Q2304049) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Fault-tolerant safe control design of switched and interconnected nonlinear systems (Q2334141) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- A predictive safety filter for learning-based control of constrained nonlinear dynamical systems (Q2665095) (← links)
- Control barrier functions for stochastic systems (Q2665332) (← links)
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems (Q2677116) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems (Q5232243) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
