Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
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.
Verifying Liveness Properties of Reactive Systems
A Decidable RealTime Logic
From Quantity to Quality
Comparing Timed CE Systems with Timed Automata
Multiobjective Hybrid Controller Synthesis
Modeling a TimeDependent Protocol Using the Circal Process Algebra
Using HYTECH to Verify an Automotive Control System
Hybrid Flow Nets for Hybrid Processes Modeling and Control
Representation of Robust and Nonrobust Solutions of Nonlinear
Functional Specification of RealTime and Hybrid Systems
Relating Time Progress and Deadlines in Hybrid Systems
Semantics and Verification of Extended Phase Transition Systems
Weak Refinement for Modal Hybrid Systems
Robust Timed Automata
DataStructures for the Verification of Timed Automata
A Case Study
A Case Study
Using an ObjectOriented Methodology to Bring a Hybrid System from
A Digital RealTime Simulator for RailVehicle Control System Testing
Synthesizing Controllers for Hybrid Systems
Control Synthesis for a Class of Hybrid Systems Subject
Generalized Linear Complementarity Problems and the Analysis
Other editions - View all
action algebra algorithm Alur analysis applied automaton bisimulation boiler boolean bounded chassis level Circal clock components composition Computer Science configuration consider constraints continuously variable control system deadline conditions defined definition denote described discrete event systems Duration Calculus dynamics environment equations example extended finite formal given graph hybrid automata hybrid control hybrid flow hybrid systems IEEE implementation initial interval Lemma Linear Complementarity Problems Lyapunov function max-plus algebra methods metric modal model checking operator optimal output parameters Petri nets phase platoon problem progress functions proof properties protocol PSPACE QCTL reachable real-time systems region represent reset robot satisfied semantics sequence signal simulation Simulink specification Springer-Verlag stability strategy stream processing structure subset switch T.A. Henzinger temporal logic Theorem theory trajectories transition relation transition systems tube valve vector field verification