Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

Alur, Rajeev
Sontag, Eduardo D.
Henzinger, Thomas A.

Paperback

Series: Lecture Notes in Computer Science, Book 1066

Technology & EngineeringGeneral ComputersProgramming

ISBN10: 354061155X
ISBN13: 9783540611554
Publisher: Springer Nature
Published: Apr 24 1996
Pages: 619
Weight: 1.93
Height: 1.28 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Technology & Engineering

View All