Hybrid Systems: Computation and Control
Editat de Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentellien Limba Engleză Paperback – 14 mar 2001
Preț: 635.97 lei
Preț vechi: 794.97 lei
-20%
Puncte Express: 954
Preț estimativ în valută:
112.46€ • 128.96$ • 97.19£
112.46€ • 128.96$ • 97.19£
Carte tipărită la comandă
Livrare economică 28 aprilie-12 mai
Specificații
ISBN-13: 9783540418665
ISBN-10: 3540418660
Pagini: 536
Ilustrații: XIV, 516 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.8 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540418660
Pagini: 536
Ilustrații: XIV, 516 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.8 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Control as an Embedded Technology.- Optimisation of Hybrid Processes and Hybrid Controllers.- Embedded Software and Systems: Challenges and Approaches.- Hybrid Systems Applications: An Oxymoron?.- Design of Luenberger Observers for a Class of Hybrid Linear Systems.- Hybrid Modeling and Simulation of Biomolecular Networks.- Compositional Refinement for Hierarchical Hybrid Systems.- Optimal Paths in Weighted Timed Automata.- Reach Set Computations Using Real Quantifier Elimination.- On Hybrid Control of Under-Actuated Mechanical Systems.- On the Decidability of the Reachability Problem for Planar Differential Inclusions.- The Substratum of Impulse and Hybrid Control Systems.- Path-Dependent Impulse and Hybrid Systems.- Hybrid Feedback Control for Path Tracking by a Bounded—Curbature Vehicle.- Minimum-Cost Reachability for Priced Time Automata.- A Hybrid Approach to Traction Control.- Optimal Control Using Bisimulations: Implementation.- A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems.- Accurate Event Detection for Simulating Hybrid Systems.- A Clustering Technique for the Identification of Piecewise Affine systems.- Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model.- Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.- Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles.- Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.- Hybrid Modeling of TCP Congestion Control.- Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem.- Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers.- Mode Switching Synthesis for Reachability Specifications.- Characterization of Stabilizing Switching Sequencesin Switched Linear Systems Using Piecewise Linear Lyapunov Functions.- On a Novel Class of Bifurcations in Hybrid Dynamical Systems.- Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings.- Modeling of Continuous-Discrete Processes.- Hybrid I/O Automata Revisited.- Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets.- Robust Controller Synthesis for Hybrid Systems Using Modal Logic.- Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality.- Addressing Multiobjective Control: Safety and Performance through Constrained Optimization.- Representation of Quantised Systems by the Frobenius-Perron Operator.- Semi-de1cidable Synthesis for Triangular Hybrid Systems.- Hybrid Abstractions that Preserve Timed Languages.
Caracteristici
Includes supplementary material: sn.pub/extras