Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 1066Detalles de publicación: Heidelberg : Springer, 1996 Descripción: IX, 618 p. : gráf. ; 24 cmISBN: 3-540-61155-XOtro título: Hybrid systems 3 | Hybrid systems threeTema(s): Sistemas de tiempo discreto -- Congresos | Ordenadores híbridos -- CongresosResumen: 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.
| Tipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
| Monografías | 02. BIBLIOTECA CAMPUS PUERTO REAL | 681.5/HYB (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3742536858 |
Índice
Bibliografía
"Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, organized October 22-25, 1995 at Rutgers University, New Brunswick, New Jersey"--Pref.
Includes bibliographical references and index.
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.
No hay comentarios en este titulo.