Pages that link to "Item:Q3624592"

The following pages link to Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems (Q3624592):

Displaying 3 items.

• Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
• Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
• Generating invariants for non-linear hybrid systems (Q2355695) (← links)