Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Egerstedt, Magnus (Editor), Mishra, Bud (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Lecture Notes in Computer Science, 4981
• Subjects: Computer science.; Microprocessors.; Special purpose computers.; Software engineering.; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Special Purpose and Application-Based Systems.; Processor Architectures.; Logics and Meanings of Programs.; Software Engineering.; Computation by Abstract Devices.

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand con...