## Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, ProceedingsThis 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 |

### Other editions - View all

Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble ... Oded Maler No preview available - 2014 |

### Common terms and phrases

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