Pages that link to "Item:Q2986910"

The following pages link to On the decidability of stability of hybrid systems (Q2986910):

Displaying 2 items.

• Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342) (← links)
• Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)