Hybrid Systems II

by Anil Nerode

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel.
Hybrid systems are models for networks of digital and continuous devices, in which...

• Format: Paperback
• Language: English
• ISBN: 3540604723
• ISBN13: 9783540604723
• Release Date: October 1995
• Publisher: Springer
• Length: 575 Pages
• Weight: 1.79 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"