Hybrid Systems V (Lecture Notes in Computer Science, 1567, Band 1567) - Softcover

Nerode, Anil; Sastry, Shankar; Lemmon, Michael; Kohn, Wolf; Antsaklis, Panos J.

Softcover

ISBN 10: 354065643X ISBN 13: 9783540656432

Verlag: Springer, 2008

Inhaltsangabe

Control Synthesis of Hybrid Systems Based on Predicate Invariance.- Computing Approximating Automata for a Class of Linear Hybrid Systems.- On Hybrid Systems and the Modal µ-calculus.- The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems.- Controller Scheduling Using Neural Networks: Implementation and Experimental Results.- Rigorous Design of a Fault Diagnosis and Isolation Algorithm.- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems.- Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.- Hybrid Systems with Finite Bisimulations.- Extracting Stable Timed Automata from Switched Model Reference Systems.- Sliding Mode Model Semantics and Simulation for Hybrid Systems.- Time-Deterministic Hybrid Transition Systems.- Heuristic Optimization and Dynamical System Safety Verification.- A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems.- Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control.- Action Systems with Continuous Behaviour.- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles.- Optimal Controller Switching for Stochastic Systems.- Robust Control of Hybrid Systems: Performance Guided Strategies.- Analysis of Slope-Parametric Rectangular Automata.- Control of Interval Temporal Systems.- Phase-Space Nonlinear Control Toolbox: The Maglev Experience.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 354065643X
• ISBN 13: 9783540656432
• Einband: Taschenbuch
• Anzahl der Seiten: 468
• Kontakt zum Hersteller: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Tiergartenstr. 17; Heidelberg; 69121; Deutschland