Switched Linear Systems: Control and Design
Discrete abstractions of hybrid systems