Opening book details…
Can I read Hybrid systems: computation and control, 12th International Conference, HSCC 2009, San Francisco, Ca, USA, April 13-15, 2009: proceedings on EtoBox?
Hybrid systems: computation and control, 12th International Conference, HSCC 2009, San Francisco, Ca, USA, April 13-15, 2009: proceedings by Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.) is a nonfiction available to read on EtoBox.
What is Hybrid systems: computation and control, 12th International Conference, HSCC 2009, San Francisco, Ca, USA, April 13-15, 2009: proceedings about?
This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems. Erscheinungsdatum: 27.03.2009
Who reads Hybrid systems: computation and control, 12th International Conference, HSCC 2009, San Francisco, Ca, USA, April 13-15, 2009: proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2009
- Language
- EN
- ISBN
- 9783642006029
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
More by Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)
Similar books
- Hybrid Systems: Computation And Control: 9th International Workshop, Hscc 2006, Santa Barbara, Ca, Usa, March 29-31, 2006, Proceedings (lecture Notes In Computer Science) — Francesco Bullo (auth.), João P. Hespanha, Ashish Tiwari (2006)
- Topics in cryptology - CT-RSA 2009 : the cryptographers' track at the RSA conference 2009, San Francisco, CA, USA, April 20-24, 2009 ; proceedings — Benoît Libert, Damien Vergnaud (auth.), Marc Fischlin (2009)
- Theory of Cryptography : 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009 : proceedings — Tal Moran, Moni Naor, Gil Segev (auth.), Omer Reingold (2009)
- Hybrid Systems: Computation and Control: 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings (Lecture Notes in Computer Science) — David Sharp (auth.), Claire J. Tomlin, Mark R. Greenstreet (2002)
- Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005 : Proceedings 12th International Spin Workshop Twelfth International Spin Workshop International Spin Workshop — David Wagner (auth.), Patrice Godefroid (2005)
- Public Key Cryptography - PKC 2009 : 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings — Alexander May, Maike Ritzenhofen (auth.), Stanisław Jarecki, Gene Tsudik (2009)