## Hybrid Systems IIPanos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering. |

### What people are saying - Write a review

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

### Contents

Symbolic Controller Synthesis for Discrete and Timed Systems | 1 |

A Calculus of Stochastic Systems for the Specification Simulation | 21 |

A Benvenisl e B C Levy E Fabre and P he Guernic | 45 |

Copyright | |

23 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract algebra algorithm analysis approach automata behavior calculus of variations clock components Computer Science consider constraints continuous control automaton control law control location control policy corresponding defined definition denote DEVS differential equation differential inclusion digitization discrete event system dynamical system Esterel example exists Figure finite set Finsler Finsler manifolds formal formula function fuzzy given graph hence hybrid automaton hybrid control system hybrid systems hyperrectangle hypersurface HyTech IEEE implemented initial input input/output integer interface interval invariant iterative lane language layer linear hybrid logic Lyapunov function manifold method Nerode networks node operator output partition Petri nets phase plant model plant symbols reachability problem reactor real-time robot satisfies segments semantics sensor sequence signal simulation space specification stopwatch strategy structure subset switching synchronous target region Theorem theory transition transition relation variables vector field verification viability