Pages that link to "Item:Q2986749"
From MaRDI portal
The following pages link to Transcendental inductive invariants generation for non-linear differential and hybrid systems (Q2986749):
Displayed 4 items.
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)