ENGLISH

Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

By Joao P. Hespanha , Francesco Bullo (auth.) , Ashish Tiwari (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2006
ISBN
3540331700, 9783540331704
DOI
10.1007/11730637
Open Library ID
OL9056407M
Language
english
Format
PDF
Filesize
10 MB (10200346 bytes)
Series
Lecture Notes in Computer Science 3927 : Theoretical Computer Science and General Issues
Edition
1
Pages
584\594
Library
Kolxo3
Time added
2011-02-14 12:09:19
Special Purpose and Application-Based Systems; Pro

Description

This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held in Santa Barbara, CA, USA in March 2006. The 39 revised papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 79 submissions. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors.

Similar books