Recent technological developments in sensing, communications, control and computation have create...

Hybrid systems describe the interaction of software, described by finite models such as finite-st...

This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Sys...