Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Henzinger, Thomas A. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sastry, Shankar (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1386
• Subjects: Architecture, Computer.; Computers.; Microprocessors.; Special purpose computers.; Software engineering.; Computer logic.; Computer System Implementation.; Theory of Computation.; Processor Architectures.; Special Purpose and Application-Based Systems.; Software Engineering.; Logics and Meanings of Programs.

This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998. The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical method...