Model Abstraction in Dynamical Systems: Application to Mobile Robot Control, Patricia Mellodge; Pushkin Kachroo

Автор: Chao Wang; Gary D. Hachtel; Fabio Somenzi
Название: Abstraction Refinement for Large Scale Model Checking
ISBN: 1489993959 ISBN-13(EAN): 9781489993953
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today`s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

Автор: Haddad, Wassim M. Chellaboina, Vijaysekhar
Название: Nonlinear dynamical systems and control
ISBN: 0691133298 ISBN-13(EAN): 9780691133294
Издательство: Wiley
Рейтинг:
Цена: 23760.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents and develops an extensive treatment of stability analysis and control design of nonlinear dynamical systems, with an emphasis on Lyapunov-based methods. This graduate-level textbook is suitable for applied mathematicians, dynamical systems theorists, control theorists, and engineers.

Автор: Ganti P. Rao
Название: Piecewise Constant Orthogonal Functions and Their Application to Systems and Control
ISBN: 3540125566 ISBN-13(EAN): 9783540125563
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Lutz Frommberger
Название: Qualitative Spatial Abstraction in Reinforcement Learning
ISBN: 3642266002 ISBN-13(EAN): 9783642266003
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Reinforcement learning has evolved to tackle domains that are yet to be fully understood, or are too complex for a closed description. In this book the author investigates whether suitable abstraction methods can overcome the discipline`s deficiencies.

Автор: Michael Z. Q. Chen; Yinlong Hu
Название: Inerter and Its Application in Vibration Control Systems
ISBN: 9811070881 ISBN-13(EAN): 9789811070884
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book offers the first comprehensive introduction to the inerter, its successful application in Formula One racing, and other state-of-the-art applications in vibration control. It presents fundamental analysis results and design methods for inerter-based vibration control systems. Providing comprehensive information on the inerter, a pioneering mechanical element invented by Prof. Malcolm C. Smith at Cambridge University in 2002, it will be of considerable interest to readers with a background in control theory, mechanical vibration or related subjects.

Автор: Cipriano Galindo; Juan-Antonio Fern?ndez-Madrigal;
Название: Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments
ISBN: 364209175X ISBN-13(EAN): 9783642091759
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A Robotic Future.- Multi-Hierarchical, Symbolic Representation of the Environment.- Application of Hierarchical Models to Mobile Robot Task Planning.- Mobile Robot Operation with Multi-Hierarchies.- Automatic Learning of Hierarchical Models.- Implementation and Experiences on a Real Robot.