Spar
Hybrid Systems III
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.
A hybrid system consists of digital devices that interact with analog environments.
- Undertittel
- Verification and Control
- Redaktør
- Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
- ISBN
- 9783540611554
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 24.4.1996
- Antall sider
- 619
