Hybrid Systems: Computation and Control
Editat de Frits W. Vaandrager, Jan H. van Schuppenen Limba Engleză Paperback – 17 mar 1999
Preț: 321.74 lei
Preț vechi: 402.18 lei
-20%
Puncte Express: 483
Carte tipărită la comandă
Livrare economică 13-27 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.