Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings

Verifying liveness properties of reactive systems (a tutorial).- The Lyapunov method (a tutorial).- Relating high-level and low-level action descriptions in a logic of actions and change.- A new algorithm for discrete timed symbolic model checking.- State clock logic: A decidable real-time logic.- From quantity to quality.- Verifying periodic task-control systems.- A case study in timed CSP: The railroad crossing problem.- Analysis of slope-parametric hybrid automata.- Comparing timed c/e systems with timed automata (abstract).- Design tools for hybrid control systems.- On-Line, reflexive constraint satisfaction for hybrid systems: First steps.- Hybrid control issues in Air Traffic Management Systems.- Multiobjective hybrid controller synthesis.- Modelling a time-dependent protocol using the Circal process algebra.- Using HyTech to verify an automotive control System.- Safety verification for automated platoon maneuvers: A case study.- Verifying hybrid systems modeled as timed automata: A case study.- Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition.- A digital real-time simulator for rail-vehicle control system testing.- Hybrid flow nets for hybrid processes modelling and control.- Representation of robust and non-robust solutions of nonlinear discrete-continuous systems.- Controller design of hybrid systems.- What can we learn from synchronous data-flow languages?.- Verification of real time chemical processing systems.- Functional specification of real-time and hybrid systems.- Relating time progress and deadlines in hybrid systems.- Semantics and verification of extended phase transition systems in Duration Calculus.- Weak refinement for modal hybrid systems.- Robust timed automata.- Data-structures for the verification of timed automata.- Synthesizing controllers for hybrid systems.- Control synthesis for a class of hybrid systems subject to configuration-based safety constraints.- Hybrid dynamic programming.- Invariance principle in hybrid systems modeled by mixed mappings.- Hybrid systems described by the complementarity formalism.- Generalized linear complementarity problems and the analysis of continuously variable systems and discrete event systems.- SHIFT: A language for simulating interconnected hybrid systems.