Hybrid systems with constraints - Daafouz, Jamal; Tarbouriech, Sophie; Sigalotti, Mario (Iste, 2013)