Book

Verification and Control of Hybrid Systems

by Paulo Tabuada