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