Hybrid Systems : Computation and Control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : Proceedings / João Hespanha, Ashish Tiwari (eds.).

Material type: Score

ScoreSeries: Lecture notes in computer science ; 3927Publication details: Berlin ; New York : Springer, c2006.Description: xii, 584 p. : ill., map ; 24 cmISBN:

3540331700
9783540331704

Other title:

HSCC 2006

Subject(s):

LOC classification:

QA76.38 .H73 2006

Summary: 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 full 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	Library First Floor	QA76.38 .H73 2006 (Browse shelf(Opens below))	1	Available	11306

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 full 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.

There are no comments on this title.

to post a comment.

Hybrid Systems : Computation and Control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : Proceedings / João Hespanha, Ashish Tiwari (eds.).

Contact Us

Library Hours