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.
Author(s): Amir Pnueli (auth.), Oded Maler (eds.)
Series: Lecture Notes in Computer Science 1201
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 426
Tags: Special Purpose and Application-Based Systems; Processor Architectures; Software Engineering; Control Engineering
Verifying liveness properties of reactive systems (a tutorial)....Pages 1-1
The Lyapunov method (a tutorial)....Pages 2-2
Relating high-level and low-level action descriptions in a logic of actions and change....Pages 3-17
A new algorithm for discrete timed symbolic model checking....Pages 18-32
State clock logic: A decidable real-time logic....Pages 33-47
From quantity to quality....Pages 48-62
Verifying periodic task-control systems....Pages 63-68
A case study in timed CSP: The railroad crossing problem....Pages 69-74
Analysis of slope-parametric hybrid automata....Pages 75-80
Comparing timed c/e systems with timed automata (abstract)....Pages 81-86
Design tools for hybrid control systems....Pages 87-92
On-Line, reflexive constraint satisfaction for hybrid systems: First steps....Pages 93-107
Hybrid control issues in Air Traffic Management Systems....Pages 108-108
Multiobjective hybrid controller synthesis....Pages 109-123
Modelling a time-dependent protocol using the Circal process algebra....Pages 124-138
Using HyTech to verify an automotive control System....Pages 139-153
Safety verification for automated platoon maneuvers: A case study....Pages 154-170
Verifying hybrid systems modeled as timed automata: A case study....Pages 171-185
Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition....Pages 186-198
A digital real-time simulator for rail-vehicle control system testing....Pages 199-212
Hybrid flow nets for hybrid processes modelling and control....Pages 213-227
Representation of robust and non-robust solutions of nonlinear discrete-continuous systems....Pages 228-239
Controller design of hybrid systems....Pages 240-254
What can we learn from synchronous data-flow languages?....Pages 255-258
Verification of real time chemical processing systems....Pages 259-272
Functional specification of real-time and hybrid systems....Pages 273-285
Relating time progress and deadlines in hybrid systems....Pages 286-300
Semantics and verification of extended phase transition systems in Duration Calculus....Pages 301-315
Weak refinement for modal hybrid systems....Pages 316-330
Robust timed automata....Pages 331-345
Data-structures for the verification of timed automata....Pages 346-360
Synthesizing controllers for hybrid systems....Pages 361-375
Control synthesis for a class of hybrid systems subject to configuration-based safety constraints....Pages 376-390
Hybrid dynamic programming....Pages 391-396
Invariance principle in hybrid systems modeled by mixed mappings....Pages 397-402
Hybrid systems described by the complementarity formalism....Pages 403-408
Generalized linear complementarity problems and the analysis of continuously variable systems and discrete event systems....Pages 409-414
SHIFT: A language for simulating interconnected hybrid systems....Pages 415-415
