Pages that link to "Item:Q1039853"

The following pages link to Computing differential invariants of hybrid systems as fixed points (Q1039853):

Displaying 4 items.

• Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
• Barrier certificates revisited (Q507352) (← 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)