Pages that link to "Item:Q2303884"

The following pages link to Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884):

Displaying 2 items.

• Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
• Finite-step approximately bi-similar symbolic model for switched systems (Q6559382) (← links)