Pages that link to "Item:Q5307949"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307949):
Displaying 22 items.
- Invariance principles for hybrid systems with memory (Q286069) (← links)
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← 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)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients (Q2819624) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems (Q3624592) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- Hybrid Systems: Computation and Control (Q5703954) (← links)
- Notes on Recent Achievements in Proving Stability using KeYmaeraX (Q5870861) (← links)
