Hybrid Systems: Computation and Control

"Hybrid Systems: Computation and Control" est une collection complète de travaux de recherche qui documente les résultats de la 12e Conférence internationale sur les systèmes hybrides, la computation et le contrôle, HSCC 2009. Cette conférence s'est tenue en avril 2009 à San Francisco et a rassemblé des experts dans le domaine des systèmes réactifs embarqués. Les 30 articles complets révisés et les 10 articles courts révisés de ce volume ont été soigneusement sélectionnés parmi un grand nombre de soumissions et offrent un aperçu approfondi des dernières avancées et des progrès théoriques dans l'analyse, la conception, le contrôle, l'optimisation et l'implémentation des systèmes hybrides. Les sujets abordés incluent l'interaction entre les comportements dynamiques symboliques, discrets et continus, ce qui est d'un grand intérêt pour les chercheurs et les praticiens dans ce domaine.