Coverart for item
The Resource Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings, Oded Maler, (ed.)

Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings, Oded Maler, (ed.)

Label
Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings
Title
Hybrid and real-time systems
Title remainder
international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings
Statement of responsibility
Oded Maler, (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
"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."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Dewey number
004.1/9
Illustrations
illustrations
Index
index present
LC call number
QA76.38
LC item number
.H37 1997
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1997
http://bibfra.me/vocab/lite/meetingName
HART '97:
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Maler, O.
Series statement
Lecture notes in computer science,
Series volume
1201
http://library.link/vocab/subjectName
  • Hybrid computers
  • Real-time data processing
Label
Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings, Oded Maler, (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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 ... [et al.] -- 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.]
Control code
36327565
Dimensions
24 cm
Extent
ix, 414 pages
Isbn
9783540626008
Isbn Type
(softcover : alk. paper)
Lccn
97006971
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings, Oded Maler, (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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 ... [et al.] -- 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.]
Control code
36327565
Dimensions
24 cm
Extent
ix, 414 pages
Isbn
9783540626008
Isbn Type
(softcover : alk. paper)
Lccn
97006971
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...