Paulo TabuadaBooksHybrid Systems : Computation and ControlVerification and Control of Hybrid SystemsNetworked embedded sensing and controlAuthor data: Open Library