Pages that link to "Item:Q2178193"
From MaRDI portal
The following pages link to An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193):
Displaying 3 items.
- Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions (Q2061252) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Quantized feedback control of linear system with performance barrier (Q6069260) (← links)
