## Hybrid Systems III: Verification and ControlRajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

J Lygeros D N Godbole S Sastry | 1 |

A Benveniste | 41 |

K Ghosh S I Marcus A Arapostathis | 64 |

Copyright | |

17 other sections not shown

### Other editions - View all

### Common terms and phrases

abstraction algorithm analysis approach assume asymptotic stability automaton bond graphs bounded boxl clock components composition Computer Science consider constraints construct continuous control theory convex corresponding defined definition denote described differential equations differential inclusion discrete event systems Duration Calculus dynamical systems example exists feedback finite formal formula function given Henzinger hybrid automata hybrid control systems hybrid systems HyTech IEEE implementation infinite initial condition input interface interval invariant language Lemma linear hybrid logic Lyapunov function method mode monitoring Nancy Lynch node nonlinear operation optimal control output parameters plant Proc proof properties protocol reachable real-time systems region requirements rule safety satisfies sensors sequence signal simulation solution space specification Springer-Verlag stability subset supervisor switching symbolic synchronous temporal logic Theorem theory trace trajectory transition relation transition system Uppaal V-automata variables vector vehicle velocity VHDL