Hybrid Systems: Computation and Control

"Hybrid Systems: Computation and Control" ist eine umfassende Sammlung von Forschungsarbeiten, die die Ergebnisse der 12. Internationalen Konferenz zu Hybrid Systemen, Computation und Control, HSCC 2009, dokumentiert. Diese Konferenz fand im April 2009 in San Francisco statt und brachte Experten aus dem Bereich der eingebetteten reaktiven Systeme zusammen. Die 30 überarbeiteten Volltexte und 10 überarbeiteten Kurztexte in diesem Band wurden sorgfältig aus einer Vielzahl von Einreichungen ausgewählt und bieten einen tiefen Einblick in die neuesten Entwicklungen und theoretischen Fortschritte in der Analyse, dem Design, der Kontrolle, der Optimierung und der Implementierung von hybriden Systemen. Die behandelten Themen umfassen das Zusammenspiel zwischen symbolischen, diskreten und kontinuierlichen dynamischen Verhaltensweisen, was für Forscher und Praktiker in diesem Bereich von grossem Interesse ist.