Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2289/2002
DOI10.1007/3-540-45873-5
Copyright2002
ISBN978-3-540-43321-7
Subject CollectionComputer Science
SpringerLink DateThursday, July 31, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
35 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-35 | Next
Front Matter

Front MatterPDF (96.4 KB)

  
Chapter
Hybrid and Embedded Software Technologies for Production Large-Scale Systems
David Sharp
DOI: 10.1007/3-540-45873-5_1
Full TextPDF (40.6 KB)
 73-91
Chapter
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints
Uri M. Ascher
DOI: 10.1007/3-540-45873-5_2
Full TextPDF (38.5 KB)
 41-57
Chapter
From Models to Code: The Missing Link in Embedded Software
Thomas A. Henzinger
DOI: 10.1007/3-540-45873-5_3
Full TextPDF (49.9 KB)
 55-72
Chapter
Hybrid System Models of Navigation Strategies for Games and Animations
Eric Aaron, Franjo Ivančić and Dimitris Metaxas
DOI: 10.1007/3-540-45873-5_4
Full TextPDF (214.2 KB)
 22-84
Chapter
Hybrid Control of a Truck and Trailer Vehicle
Claudio Altafini, Alberto Speranzon and Karl Henrik Johansson
DOI: 10.1007/3-540-45873-5_5
Full TextPDF (476.7 KB)
 439-469
Chapter
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Rajeev Alur, Thao Dang and Franjo Ivančić
DOI: 10.1007/3-540-45873-5_6
Full TextPDF (246.8 KB)
 758-819
Chapter
Towards Computing Phase Portraits of Polygonal Differential Inclusions
Eugene Asarin, Gerardo Schneider and Sergio Yovine
DOI: 10.1007/3-540-45873-5_7
Full TextPDF (228.0 KB)
 669-757
Chapter
Dynamical Qualitative Analysis of Evolutionary Systems
Jean-Pierre Aubin and Olivier Dordan
DOI: 10.1007/3-540-45873-5_8
Full TextPDF (219.2 KB)
 61-75
Chapter
Design of Observers for Hybrid Systems
Andrea Balluchi, Luca Benvenuti, Maria D. Di Benedetto and Alberto L. Sangiovanni-Vincentelli
DOI: 10.1007/3-540-45873-5_9
Full TextPDF (266.5 KB)
 59-80
Chapter
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques
Alexandre M. Bayen, Eva Crück and Claire J. Tomlin
DOI: 10.1007/3-540-45873-5_10
Full TextPDF (430.4 KB)
 90-104
Back Matter

Back MatterPDF (27.5 KB)

  
35 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-35 | Next
more options
Find


Starts With
35 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.105 • Server: mpweb17
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)