Symbolic Controller Synthesis for Discrete and Timed Systems.....1
A Calculus of Stochastic Systems for the Specification,
Simulation, and Hidden State
Estimation of Hybrid Stochastic / Non-stochastic Systems.....21
Condensation of Information from Signals for Process Modeling.....45
On the Automatic Verification of Systems with Continuous
Variables and Unbounded
Discrete Data Structures.....64
On Dynamically Consistent Hybrid Systems.....86
A Self-learning Neuro-Fuzzy System.....106
Viable Control of Hybrid Systems.....128
Modeling and Stability Issues in Hybrid Systems.....148
Hierarchical Hybrid Control: a Case Study.....166
Hybrid Systems and Quantum Automata: Preliminary Announcement......191
Planar Hybrid Systems.....202
Programming in Hybrid Constraint Lanuguages.....226
A Note on Absract Interpretion Strategies for Hybrid Automata.....252
HYTECH: The Cornell HYIbrid TECHnology Tool.....265
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections.....294
Constructing Hybrid Control Systems from Robust Lincar Control Agents.....322
Controllers a.s Fixed Points of Set-Valued 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 Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata.....405
Inductive Modeling: A Framework Marrying Systems Theory and Nonmonotonic Reasoning.....417
Semantics and Verification of Hierarchical CRP Programs.....436
Interface and Controller Design for Hybrid Control Systems.....462
Hybrid Objects.....493
Modeling of Hybrid Systems Based On Extended Coloured Petri Nets.....509
DEVS Framework for Modeling Simulation, Analysis and Design of Hybrid Systems.....529
Synthesis of Hybrid Constraint-Based Controllers.....552
Author Index.....569