Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007108768/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract ""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"--PUBLISHER'S WEBSITE.".
- catalog alternative "Hybrid systems 3".
- catalog alternative "Hybrid systems three".
- catalog contributor b9843045.
- catalog contributor b9843046.
- catalog contributor b9843047.
- catalog contributor b9843048.
- catalog created "c1996.".
- catalog date "1996".
- catalog date "c1996.".
- catalog dateCopyrighted "c1996.".
- catalog description ""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"--PUBLISHER'S WEBSITE.".
- catalog description "A game-theoretic approach to hybrid system design / J. Lygeros, D.N. Godbole and S. Sastry -- Verifying clocked transition systems / Y. Kesten, Z. Manna and A. Pnueli -- Compositional and uniform modeling of hybrid systems / A. Benveniste -- Hybrid cc, hybrid automata, and program verification / V. Gupta, R. Jagadeesan and V. Saraswat -- Controlled switching diffusions as hybrid processes / M.K. Ghosh, S.I. Marcus and A. Arapostathis -- Hybrid systems: chattering approximation to relaxed controls / X. Ge, W. Kohn, A. Nerode and J.B. Remmel -- Verification of automated vehicle protection systems / H.B. Weinberg, N. Lynch and N. Delisle -- Extended RTL in the specification and verification of an industrial press / R. de Lemos and J.G. Hall -- Abstract verification of structured dynamical systems / M. Sintzoff -- Design and evaluation tools for automated highway systems / A. Deshpande, D. Godbole, A. Gollu and P. Varaiya.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "618 p. :".
- catalog identifier "354061155X (pbk. : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1066".
- catalog issued "1996".
- catalog issued "c1996.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "629.8/9 20".
- catalog subject "Digital control systems Congresses.".
- catalog subject "Hybrid computers Congresses.".
- catalog subject "QA76.38 .H94 1996".
- catalog tableOfContents "A game-theoretic approach to hybrid system design / J. Lygeros, D.N. Godbole and S. Sastry -- Verifying clocked transition systems / Y. Kesten, Z. Manna and A. Pnueli -- Compositional and uniform modeling of hybrid systems / A. Benveniste -- Hybrid cc, hybrid automata, and program verification / V. Gupta, R. Jagadeesan and V. Saraswat -- Controlled switching diffusions as hybrid processes / M.K. Ghosh, S.I. Marcus and A. Arapostathis -- Hybrid systems: chattering approximation to relaxed controls / X. Ge, W. Kohn, A. Nerode and J.B. Remmel -- Verification of automated vehicle protection systems / H.B. Weinberg, N. Lynch and N. Delisle -- Extended RTL in the specification and verification of an industrial press / R. de Lemos and J.G. Hall -- Abstract verification of structured dynamical systems / M. Sintzoff -- Design and evaluation tools for automated highway systems / A. Deshpande, D. Godbole, A. Gollu and P. Varaiya.".
- catalog title "Hybrid systems 3".
- catalog title "Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henziner, Eduardo D. Sontag, eds.".
- catalog title "Hybrid systems three".
- catalog type "Conference proceedings. fast".
- catalog type "text".