Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)

Alur, Rajeev [Editor]; Henzinger, Thomas A. [Editor]; Sontag, Eduardo D. [Editor];

ISBN 10: 354061155X / ISBN 13: 9783540611554

Published by Springer, 1996

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Seller Inventory # UTD14a2479

Bibliographic Details

• Title: Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 1996
• Language: English
• ISBN 10: 354061155X
• ISBN 13: 9783540611554
• Binding: Paperback
• Condition: Very Good
• Weight: 28 ounces

About this title

Synopsis

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.