Formal Methods for Discrete-Time Dynamical Systems, Calin Belta; Boyan Yordanov; Ebru Aydin Gol
Автор: Bertolotti Название: Real-Time Embedded Systems ISBN: 1439841543 ISBN-13(EAN): 9781439841549 Издательство: Taylor&Francis Рейтинг: Цена: 33686.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.
Автор: Oded Galor Название: Discrete Dynamical Systems ISBN: 3642071856 ISBN-13(EAN): 9783642071850 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book characterizes the fundamental factors that govern the quantitative and qualitative trajectories of a variety of deterministic, discrete dynamical systems, providing solution methods for systems that can be solved analytically and methods of qualitative analysis for those systems that do not permit or necessitate an explicit solution.
Описание: This book provides a common unifying framework for discrete-time stochastic systems corrupted with both independent random perturbations and with Markovian jumps. These subjects are typically covered independently.
Автор: T. Matsuo Название: Realization Theory of Continuous-Time Dynamical Systems ISBN: 3540106820 ISBN-13(EAN): 9783540106821 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Yuanqing Xia; Mengyin Fu; Peng Shi Название: Analysis and Synthesis of Dynamical Systems with Time-Delays ISBN: 3642026958 ISBN-13(EAN): 9783642026959 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Time-delay occurs in many dynamical systems. This book presents some basic theories of stability and stabilization of systems with time-delay. Attention is paid to synthesis of systems with time-delay, such as sliding mode control of systems with time-delay.
Описание: Focusing on groundbreaking interpolating control methods that are computationally simpler than model predictive control, particularly for high-order systems, this text includes a wealth of worked examples and a collection of adaptable MATLAB (R) script files.
Описание: As our title reveals, we focus on optimal control methods and applications relevant to linear dynamic economic systems in discrete-time variables.
Описание: This book introduces modeling and simulation of linear time invariant systems and demonstrates how these translate to systems engineering, mechatronics engineering, and biomedical engineering. It is organized into nine chapters that follow the lectures used for a one-semester course on this topic, making it appropriate for students as well as researchers. The author discusses state space modeling derived from two modeling techniques and the analysis of the system and usage of modeling in control systems design. It also contains a unique chapter on multidisciplinary energy systems with a special focus on bioengineering systems and expands upon how the bond graph augments research in biomedical and bio-mechatronics systems.
Автор: Saat, Mohd Shakir Md (associate Professor And Deputy Dean (academic), Universiti Teknikal Malaysia Melaka, Malaysia) Nguang, Sing Kiong (professor, Un Название: Analysis and synthesis of polynomial discrete-time systems ISBN: 0081019017 ISBN-13(EAN): 9780081019016 Издательство: Elsevier Science Рейтинг: Цена: 17685.00 р. Наличие на складе: Поставка под заказ.
Описание: Analysis and Synthesis of Polynomial Discrete-time Systems: An SOS Approach addresses the analysis and design of polynomial discrete-time control systems. The book deals with the application of Sum of Squares techniques in solving specific control and filtering problems that can be useful to solve advanced control problems, both on the theoretical side and on the practical side. Two types of controllers, state feedback controller and output feedback controller, along with topics surrounding the nonlinear filter and the H-infinity performance criteria are explored. The book also proposes a solution to global stabilization of discrete-time systems.
Автор: Yasumichi Hasegawa Название: Control Problems of Discrete-Time Dynamical Systems ISBN: 3642380573 ISBN-13(EAN): 9783642380570 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph deals with control problems of discrete-time dynamical systems that include linear and nonlinear input/output relations. It provides new results and their extensions which can also be applicable for nonlinear dynamical systems.
Автор: Dan Craigen; Karen Summerskill Название: Formal Methods for Trustworthy Computer Systems (FM89) ISBN: 3540196358 ISBN-13(EAN): 9783540196358 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of a workshop which assessed the role of formal methods in the development and fielding of trustworthy critical systems. The aim of the workshop was to assess problems retarding the development of critical systems and to identify how to improve formal research methods.
Автор: Maria Tomas-Rodriguez; Stephen P. Banks Название: Linear, Time-varying Approximations to Nonlinear Dynamical Systems ISBN: 184996100X ISBN-13(EAN): 9781849961004 Издательство: Springer Рейтинг: Цена: 25853.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A new technique for analysing and controlling nonlinear systems is introduced in this book. Although the methods outlined are novel, they can be simply implemented using pre-existing and widely known classical control ideas.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
