دانلود کتاب Hybrid Systems V

فهرست مطالب :

Control Synthesis of Hybrid Systems Based on Predicate Invariance....Pages 1-15
Computing Approximating Automata for a Class of Linear Hybrid Systems....Pages 16-37
On Hybrid Systems and the Modal µ-calculus....Pages 38-69
The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems....Pages 70-85
Controller Scheduling Using Neural Networks: Implementation and Experimental Results....Pages 86-99
Rigorous Design of a Fault Diagnosis and Isolation Algorithm....Pages 100-121
Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems....Pages 122-141
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties....Pages 142-162
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem....Pages 163-185
Hybrid Systems with Finite Bisimulations....Pages 186-203
Extracting Stable Timed Automata from Switched Model Reference Systems....Pages 204-217
Sliding Mode Model Semantics and Simulation for Hybrid Systems....Pages 218-237
Time-Deterministic Hybrid Transition Systems....Pages 238-250
Heuristic Optimization and Dynamical System Safety Verification....Pages 251-261
A Hybrid Receding—Horizon Control Scheme for Nonlinear Discrete—Time Systems....Pages 262-278
Approximating Automata and Discrete Control for Continuous Systems — Two Examples from Process Control....Pages 279-303
Action Systems with Continuous Behaviour....Pages 304-323
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles....Pages 324-340
Optimal Controller Switching for Stochastic Systems....Pages 341-355
Robust Control of Hybrid Systems: Performance Guided Strategies....Pages 356-390
Analysis of Slope-Parametric Rectangular Automata....Pages 390-413
Control of Interval Temporal Systems....Pages 414-428
Phase-Space Nonlinear Control Toolbox: The Maglev Experience....Pages 429-444