Pages that link to "Item:Q2819624"
From MaRDI portal
The following pages link to Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients (Q2819624):
Displaying 7 items.
- Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems (Q369723) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Augmented complex zonotopes for computing invariants of affine hybrid systems (Q1683442) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- Safety verification of nonlinear systems based on rational invariants (Q2819719) (← links)
- (Q4658726) (← links)