Hybrid Systems: Computation and Control
Editat de Frits W. Vaandrager, Jan H. van Schuppenen Limba Engleză Paperback – 17 mar 1999
Preț: 320.76 lei
Preț vechi: 400.94 lei
-20% Nou
Puncte Express: 481
Preț estimativ în valută:
56.76€ • 66.19$ • 49.84£
56.76€ • 66.19$ • 49.84£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540657347
ISBN-10: 3540657347
Pagini: 292
Ilustrații: CCXCII, 282 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540657347
Pagini: 292
Ilustrații: CCXCII, 282 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
SACRES: A Step Ahead in the Development of Critical Avionics Applications.- Approximating Hybrid System Dynamics for Analysis and Control.- High-Level Modeling and Analysis of an Air-Traffic Management System.- Geometric Categories, O-Minimal Structures and Control.- Polyhedral Flows in Hybrid Automata.- As Soon as Possible: Time Optimal Control for Timed Automata.- Verification of Hybrid Systems via Mathematical Programming.- Orthogonal Polyhedra: Representation and Computation.- A Geometric Approach to Bisimulation and Verification of Hybrid Systems.- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations.- Path Planning and Flight Controller Scheduling for an Autonomous Helicopter.- Reachability Analysis Using Polygonal Projections.- Scale-Independent Hysteresis Switching.- Well-Posedness of a Class of Piecewise Linear Systems with No Jumps.- A New Class of Decidable Hybrid Systems.- Synthesis of Control Software in a Layered Architecture from Hybrid Automata.- An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages.- Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions.- Integration of Analog and Discrete Synchronous Design.- Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis.- Refinement and Continuous Behaviour.- Computing Controllers for Nonlinear Hybrid Systems.- Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design.