Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

Front Cover
Oded Maler
Springer Science & Business Media, Mar 5, 1997 - Technology & Engineering - 426 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Verifying Liveness Properties of Reactive Systems
1
Erik Sandewall
17
A Decidable RealTime Logic
33
From Quantity to Quality
48
Comparing Timed CE Systems with Timed Automata
81
Multiobjective Hybrid Controller Synthesis
109
Modeling a TimeDependent Protocol Using the Circal Process Algebra
124
Using HYTECH to Verify an Automotive Control System
139
Hybrid Flow Nets for Hybrid Processes Modeling and Control
213
Representation of Robust and Nonrobust Solutions of Nonlinear
228
Functional Specification of RealTime and Hybrid Systems
273
Relating Time Progress and Deadlines in Hybrid Systems
286
Semantics and Verification of Extended Phase Transition Systems
301
Weak Refinement for Modal Hybrid Systems
316
Robust Timed Automata
331
DataStructures for the Verification of Timed Automata
346

A Case Study
154
A Case Study
171
Using an ObjectOriented Methodology to Bring a Hybrid System from
186
A Digital RealTime Simulator for RailVehicle Control System Testing
199
Synthesizing Controllers for Hybrid Systems
361
Control Synthesis for a Class of Hybrid Systems Subject
376
Generalized Linear Complementarity Problems and the Analysis
409
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information