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
Title variation
HART '97
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
Member of
Cataloging source
SCPER
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
  • dictionaries
  • 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
  • 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
online resource
Carrier category code
  • cr
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 [and others] -- Comparing Timed C/E Systems with Timed Automata / R. Huuck, Y. Lakhnech and L. Urbina [and others] -- Design Tools for Hybrid Control Systems / M.S. Hajji, J.M. Bass and A.R. Browne [and others]
Control code
326777321
Dimensions
unknown
Extent
1 online resource (ix, 414 pages)
Form of item
online
Isbn
9783540683308
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)326777321
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
online resource
Carrier category code
  • cr
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 [and others] -- Comparing Timed C/E Systems with Timed Automata / R. Huuck, Y. Lakhnech and L. Urbina [and others] -- Design Tools for Hybrid Control Systems / M.S. Hajji, J.M. Bass and A.R. Browne [and others]
Control code
326777321
Dimensions
unknown
Extent
1 online resource (ix, 414 pages)
Form of item
online
Isbn
9783540683308
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)326777321

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...