+612 9045 4394
 
CHECKOUT
Hybrid and Real-Time Systems : International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings - Oded Maler

Hybrid and Real-Time Systems

International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings

By: Oded Maler (Editor)

Paperback

Published: 5th March 1997
Ships: 5 to 9 business days
5 to 9 business days
$147.02
or 4 easy payments of $36.76 with Learn more

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.

Tutorial: Verifying Liveness Properties of Reactive Systemsp. 1
Tutorial: The Lyapunov Methodp. 2
Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Changep. 3
A New Algorithm for Discrete Timed Symbolic Model Checkingp. 18
State Clock Logic: A Decidable Real-Time Logicp. 33
From Quantity to Qualityp. 48
Verifying Periodic Task-Control Systemsp. 63
A Case Study in Timed CSP: The Railroad Crossing Problemp. 69
Analysis of Slope-Parametric Hybrid Automatap. 75
Comparing Timed C/E Systems with Timed Automatap. 81
Design Tools for Hybrid Control Systemsp. 87
On-line, Reflexive Constraint Satisfaction for Hybrid Systems: First Stepsp. 93
Hybrid Control Issues in Air Traffic Management Systemsp. 108
Multiobjective Hybrid Controller Synthesisp. 109
Modeling a Time-Dependent Protocol Using the Circal Process Algebrap. 124
Using HYTECH to Verify an Automotive Control Systemp. 139
Safety Verification for Automated Platoon Maneuvers: A Case Studyp. 154
Verifying Hybrid Systems Modeled as Timed Automata: A Case Studyp. 171
Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definitionp. 186
A Digital Real-Time Simulator for Rail-Vehicle Control System Testingp. 199
Hybrid Flow Nets for Hybrid Processes Modeling and Controlp. 213
Representation of Robust and Non-robust Solutions of Nonlinear Discrete-Continuous Systemsp. 228
Controller Design of Hybrid Systemsp. 240
What Can We Learn from Synchronous Data-Flow Languages?p. 255
Verification of Real Time Chemical Processing Systemsp. 259
Functional Specification of Real-Time and Hybrid Systemsp. 273
Relating Time Progress and Deadlines in Hybrid Systemsp. 286
Semantics and Verification of Extended Phase Transition Systems in Duration Calculusp. 301
Weak Refinement for Modal Hybrid Systemsp. 316
Robust Timed Automatap. 331
Data-Structures for the Verification of Timed Automatap. 346
Synthesizing Controllers for Hybrid Systemsp. 361
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraintsp. 376
Hybrid Dynamic Programmingp. 391
Invariance Principle in Hybrid Systems Modeled by Mixed Mappingsp. 397
Hybrid Systems Described by the Complementarity Formalismp. 403
Generalized Linear Complementarity Problems and the Analysis of Continuously Variable Systems and Discrete Event Systemsp. 409
SHIFT: A Language for Simulating Interconnected Hybrid Systemsp. 415
Author Indexp. 417
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540626008
ISBN-10: 354062600X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 426
Published: 5th March 1997
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.26
Weight (kg): 0.61