## 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 and Hidden State Estimation of Hybrid StochasticNonstochastic Systems | 21 |

Condensation of Information from Signals for Process Modeling and Control | 45 |

On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures | 64 |

On Dynamically Consistent Hybrid Systems | 86 |

A SelfLearning NeuroFuzzy System | 106 |

Viable Control of Hybrid Systems | 128 |

Modeling and Stability Issues in Hybrid Systems | 148 |

Constructing Hybrid Control Systems from Robust Linear Control Agents | 322 |

Controllers as Fixed Points of SetValued Operators | 344 |

Verification of Hybrid Systems Using Abstractions | 359 |

Control of Continuous Plants by Symbolic Output Feedback | 370 |

Hybrid control of a Robot a case study | 391 |

Verifying Timebounded Properties for ELECTRE Reactive Programs with Stopwatch Automata | 405 |

A Framework Marrying Systems Theory and Nonmonotonic Reasoning | 417 |

Semantics and Verification of Hierarchical CRP Programs | 436 |

a Case Study | 166 |

Preliminary Announcement | 191 |

Planar Hybrid Systems | 202 |

Programming in hybrid constraint languages | 226 |

A Note on Abstract Interpretation Strategies for Hybrid Automata | 252 |

The Cornell HYbrid TECHnology Tool | 265 |

Finite State Control as Approximation to Connections | 294 |

### Other editions - View all

### Common terms and phrases

abstract algebra algorithm analysis approach Artificial Intelligence 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 dynamical system ESTEREL example exists Figure finite set Finsler Finsler manifolds formal formula function given graph hence HvTECH hybrid automaton hybrid control system hybrid systems hyperrectangle hypersurface 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 optimal control output partition 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