Hybrid Systems II

Front Cover
Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
Springer Science & Business Media, Oct 9, 1995 - Computers - 575 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.
 

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
Interface and Controller Design for Hybrid Control Systems
462
Hybrid Objects
493
Modelling of Hybrid Systems Based on Extended Coloured Petri Nets
509
DEVS Framework for Modelling Simulation Analysis and Design of Hybrid Systems
529
Synthesis of Hybrid ConstraintBased Controllers
552
Index
Copyright

Other editions - View all

Common terms and phrases