Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science , Vol 1066)
 |
|
Описание:
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.Похожие книги
| Electronic Control Systems Автор: Ross Bannatyne Год: 2005 |
 | Computational Science - ICCS 2002 Год: 2002 |
 | Computational Science - ICCS 2004: 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV (Lecture Notes in Computer Science) (Pt. 4) Автор: Marian Bubak, Geert D. van Albada, Peter M.A. Sloot, Jack Dongarra Год: 2004 |
 | Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II (Lecture Notes in ... Computer Science and General Issues) Автор: Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas Год: 2009 |
