## Hybrid Systems V, Issue 1567Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, Shankar Sastry Hybrid systems are interacting networks of digital and continuous systems. - brid systems arise throughout business and industry in areas such as interactive distributed simulation, trac control, plant process control, military command and control, aircraft and robot design, and path planning. Three of the fun- mental problems that hybrid systems theory should address are: How to model physical and information systems as hybrid systems; how to verify that their - havior satis es program or performance specic ations; and how to extract from performancespeci cationsforanetworkofphysicalsystemsandtheirsimulation models digital control programs which will force the network to obey its perf- mance speci cation. This rapidly developing area is at the interface of control, engineeringandcomputer science. Methods under developmentareextensionsof thosefromdiverseareassuchasprogramveri cation, concurrentanddistributed processes, logic programming, logics of programs, discrete event simulation, c- culus of variations, optimization, di erential geometry, Lie algebras, automata theory, dynamical systems, etc. When the rst LNCS volume Hybrid Systems was published in 1993, the e ect was to focus the attention of researchers worldwide on developing theory andengineeringtoolsapplicabletohybridsystemsinwhichcontinuousprocesses interact with digital programs in real time. At the time of publication of this fth volume, there is general agreement that this is an important area in which mathematics, control engineering, and computer science can be fruitfully c- bined. There are now hybrid system sections in many engineering and computer scienceinternationalmeetings, hybridsystems researchgroupsin manyuniver- ties and industrial laboratories, and also other excellent series of hybrid systems conferences. |

### What people are saying - Write a review

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

### Contents

Control Synthesis of Hybrid Systems Based on Predicate Invariance | 1 |

Computing Approximating Automata for a Class of Linear Hybrid Systems | 16 |

On Hybrid Systems and the Modal µcalculus | 38 |

The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems | 70 |

Rigorous Design of a Fault Diagnosis and Isolation Algorithm | 100 |

Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems | 122 |

Supervisory Control Design Based on Invariant Properties | 142 |

The Two Tanks Problem | 163 |

Heuristic Optimization and Dynamical System Safety Verification | 251 |

A Hybrid RecedingHorizon Control Scheme for Nonlinear DiscreteTime Systems | 262 |

Approximating Automata and Discrete Control for Continuous Systems Two Examples from Process Control | 279 |

Action Systems with Continuous Behaviour | 304 |

Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles | 324 |

Optimal Controller Switching for Stochastic Systems | 341 |

Performance Guided Strategies | 356 |

Analysis of SlopeParametric Rectangular Automata | 390 |

Hybrid Systems with Finite Bisimulations | 186 |

Extracting Stable Timed Automata from Switched Model Reference Systems | 204 |

Sliding Mode Model Semantics and Simulation for Hybrid Systems | 218 |

TimeDeterministic Hybrid Transition Systems | 238 |

Control of Interval Temporal Systems | 414 |

The Maglev Experience | 429 |

445 | |

### Other editions - View all

Hybrid Systems V Panos J. Antsaklis,Wolf Kohn,Michael Lemmon,Anil Nerode,Shankar Sastry Limited preview - 2003 |

Hybrid Systems V, Issue 1567 Panos J. Antsaklis,Wolf Kohn,Michael Lemmon,Anil Nerode,Shankar Sastry No preview available - 1999 |

### Common terms and phrases

abstraction agent algebra algorithm analysis Antsaklis asymptotically stable automaton behavior bisimulation components Computer Science condition constraints continuous dynamics control switch control systems defined denote described differential action differential equations discrete actions Duration Calculus Dymola dynamical systems ELCP evolution example finite flight plan function given global Henzinger hybrid control hybrid systems HyTech IEEE initial input interval invariant Invq Lecture Notes Lemma linear hybrid automata LNCS logic Lyapunov Lyapunov function Lyapunov stability methods modal modal logic mode Nerode nonlinear Notes in Computer o-minimal operation optimal output paper parallel composition performance Petri net Petri nets phase-space plant predicate problem Proof properties Proposition reachable region robust satisfy semantics sensor sequence simulation slope space specification Springer-Verlag stability supervisor symbolic tank Theorem transition relations transition system valve variables vector field verification µ-calculus