Pages that link to "Item:Q2985884"

The following pages link to Automatic invariant generation for hybrid systems using ideal fixed points (Q2985884):

Displaying 17 items.

• Barrier certificates revisited (Q507352) (← links)
• Periodic solutions versus practical switching control for sensorless piecewise affine systems (PWA) (Q509370) (← links)
• Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
• Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
• Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
• Computation of polytopic invariants for polynomial dynamical systems using linear programming (Q1932703) (← links)
• Pegasus: sound continuous invariant generation (Q2147687) (← links)
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
• Explaining AI decisions using efficient methods for learning sparse Boolean formulae (Q2331079) (← 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)
• Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
• Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• (Q5089299) (← links)
• On the Coalgebra of Partial Differential Equations (Q5092383) (← links)