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

Front Cover
Springer Science & Business Media, Mar 20, 2006 - Computers - 584 pages

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
2
III
3
IV
4
V
19
VI
34
VII
49
VIII
64
XXIII
287
XXIV
302
XXV
318
XXVI
333
XXVII
348
XXVIII
363
XXIX
377
XXX
392

IX
79
X
93
XI
108
XII
123
XIII
138
XIV
153
XV
169
XVI
184
XVII
200
XVIII
212
XIX
227
XX
242
XXI
257
XXII
272
XXXI
407
XXXII
421
XXXIII
436
XXXIV
451
XXXV
460
XXXVI
476
XXXVII
491
XXXVIII
507
XXXIX
522
XL
537
XLI
552
XLII
568
XLIII
583
Copyright

Other editions - View all

Common terms and phrases