Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007571478/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog abstract "This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997. The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials. Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.".
- catalog contributor b10461353.
- catalog contributor b10461354.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references and index.".
- catalog description "This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997. The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials. Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.".
- catalog description "Tutorial: Verifying Liveness Properties of Reactive Systems / Amir Pnueli -- Tutorial: The Lyapunov Method / Zvi Artstein -- Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change / Erik Sandewall -- A New Algorithm for Discrete Timed Symbolic Model Checking / Juergen Ruf and Thomas Kropf -- State Clock Logic: A Decidable Real-Time Logic / Jean-Francois Raskin and Pierre-Yves Schobbens -- From Quantity to Quality / Thomas A. Henzinger and Orna Kupferman -- Verifying Periodic Task-Control Systems / Vlad Rusu -- A Case Study in Timed CSP: The Railroad Crossing Problem / Luming Lai and Phil Watson -- Analysis of Slope-Parametric Hybrid Automata / Frederic Boniol, Augusto Burgueno and Olivier Roux [and others] -- Comparing Timed C/E Systems with Timed Automata / R. Huuck, Y. Lakhnech and L. Urbina [et al.] -- Design Tools for Hybrid Control Systems / M.S. Hajji, J.M. Bass and A.R. Browne [et al.].".
- catalog extent "ix, 414 p. :".
- catalog identifier "354062600X (Berlin : softcover : acid-free paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1201".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004.1/9 21".
- catalog subject "Computer science.".
- catalog subject "Hybrid computers Congresses.".
- catalog subject "QA76.38 .H37 1997".
- catalog subject "Real-time data processing Congresses.".
- catalog subject "Software engineering.".
- catalog tableOfContents "Tutorial: Verifying Liveness Properties of Reactive Systems / Amir Pnueli -- Tutorial: The Lyapunov Method / Zvi Artstein -- Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change / Erik Sandewall -- A New Algorithm for Discrete Timed Symbolic Model Checking / Juergen Ruf and Thomas Kropf -- State Clock Logic: A Decidable Real-Time Logic / Jean-Francois Raskin and Pierre-Yves Schobbens -- From Quantity to Quality / Thomas A. Henzinger and Orna Kupferman -- Verifying Periodic Task-Control Systems / Vlad Rusu -- A Case Study in Timed CSP: The Railroad Crossing Problem / Luming Lai and Phil Watson -- Analysis of Slope-Parametric Hybrid Automata / Frederic Boniol, Augusto Burgueno and Olivier Roux [and others] -- Comparing Timed C/E Systems with Timed Automata / R. Huuck, Y. Lakhnech and L. Urbina [et al.] -- Design Tools for Hybrid Control Systems / M.S. Hajji, J.M. Bass and A.R. Browne [et al.].".
- catalog title "Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings / Oded Maler, ed.".
- catalog type "Conference proceedings. fast".
- catalog type "text".