Hybrid Systems II

Front Cover
Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
Springer, Nov 10, 1995 - Computers - 569 pages
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.

From inside the book

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