Описание: Provides a treatment of the issues in the design of modern responsive computer systems. This book lays the groundwork for a comprehensive model that allows critical design issues to be treated in ways that more traditional disciplines of computer research have inhibited.
Автор: Jan Vytopil Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 0792393325 ISBN-13(EAN): 9780792393320 Издательство: Springer Рейтинг: Цена: 23751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focuses on the formal specification, development and verification of fault-tolerant computing systems. This book defines the basic notions and practices of the field of design and specification of fault-tolerant systems. It contains examples of the use of formal methods in specification and development of fault-tolerant systems.
Robotic systems have experienced exponential growth thanks to their incredible adaptability. Modern robots require an increasing level of autonomy and the capability to interact with humans. This book addresses the challenges of increasing and ensuring reliability and safety of modern robotic and autonomous systems. The book provides an overview of research in this field to-date, and addresses advanced topics including fault diagnosis and fault-tolerant control, and the challenging technologies and applications in industrial robotics, robotic manipulators, mobile robots, and autonomous and semi-autonomous vehicles.
Chapters cover the following topics: fault diagnosis and fault-tolerant control of unmanned aerial vehicles; control techniques to deal with the damage of a quadrotor propeller; observer-based LPV control design of quad-TRUAV under rotor-tilt axle stuck fault; an unknown input observer based framework for fault and icing detection and accommodations in overactuated unmanned aerial vehicles; actuator fault tolerance for a WAM-V catamaran with azimuth thrusters; fault-tolerant control of a service robot; distributed fault detection and isolation strategy for a team of cooperative mobile manipulators; nonlinear optimal control for aerial robotic manipulators; fault diagnosis and fault-tolerant control techniques for aircraft Systems; fault-tolerant trajectory tracking control of in-wheel motor vehicles with energy efficient steering and torque distribution; nullspace-based input reconfiguration architecture for over-actuated aerial vehicles; data-driven approaches to fault-tolerant control of industrial robotic systems.
Автор: Tushar Jain; Joseph J. Yam?; Dominique Sauter Название: Active Fault-Tolerant Control Systems ISBN: 3319886649 ISBN-13(EAN): 9783319886640 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Поставка под заказ.
Описание: The book introduces novel algorithms for designing fault-tolerant control (FTC) systems using the behavioral system theoretic approach, and presents a demonstration of successful novel FTC mechanisms on several benchmark examples. The authors also discuss a new transient management scheme, which is an essential requirement for the implementation of active FTC systems, and two data-driven methodologies that are broadly classified as active FTC systems: the projection-based approach and the online-redesign approach. These algorithms do not require much a priori information about the plant in real-time, and in addition this novel implementation of active FTC systems circumvents various weaknesses induced by using a diagnostic module in real-time. The book provides graduate students taking masters and doctoral courses in mathematics, control, and electrical engineering an excellent stepping-stone for their research. It also appeals to practitioners interested to apply innovative fail-safe control techniques.
Автор: Michel Raynal Название: Fault-Tolerant Message-Passing Distributed Systems ISBN: 303006803X ISBN-13(EAN): 9783030068035 Издательство: Springer Рейтинг: Цена: 9362.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms, in particular in terms of reliable communication and agreement, which lie at the heart of nearly all distributed applications. These programming abstractions, distributed objects or services, allow software designers and programmers to cope with asynchrony and the most important types of failures such as process crashes, message losses, and malicious behaviors of computing entities, widely known under the term 'Byzantine fault-tolerance'. The author introduces these notions in an incremental manner, starting from a clear specification, followed by algorithms which are first described intuitively and then proved correct. The book also presents impossibility results in classic distributed computing models, along with strategies, mainly failure detectors and randomization, that allow us to enrich these models. In this sense, the book constitutes an introduction to the science of distributed computing, with applications in all domains of distributed systems, such as cloud computing and blockchains. Each chapter comes with exercises and bibliographic notes to help the reader approach, understand, and master the fascinating field of fault-tolerant distributed computing.
Автор: Dimitris Sakavalas, Lewis Tseng Название: Network Topology and Fault-Tolerant Consensus ISBN: 1681735687 ISBN-13(EAN): 9781681735689 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 15523.00 р. Наличие на складе: Нет в наличии.
Описание: As the structure of contemporary communication networks grows more complex, practical networked distributed systems become prone to component failures. Fault-tolerant consensus in message-passing systems allows participants in the system to agree on a common value despite the malfunction or misbehavior of some components. It is a task of fundamental importance for distributed computing, due to its numerous applications. We summarize studies on the topological conditions that determine the feasibility of consensus, mainly focusing on directed networks and the case of restricted topology knowledge at each participant. Recently, significant efforts have been devoted to fully characterize the underlying communication networks in which variations of fault-tolerant consensus can be achieved. Although the deduction of analogous topological conditions for undirected networks of known topology had shortly followed the introduction of the problem, their extension to the directed network case has been proven a highly non-trivial task. Moreover, global knowledge restrictions, inherent in modern large-scale networks, require more elaborate arguments concerning the locality of distributed computations. In this work, we present the techniques and ideas used to resolve these issues. Recent studies indicate a number of parameters that affect the topological conditions under which consensus can be achieved, namely, the fault model, the degree of system synchrony (synchronous vs. asynchronous), the type of agreement (exact vs. approximate), the level of topology knowledge, and the algorithm class used (general vs. iterative). We outline the feasibility and impossibility results for various combinations of the above parameters, extensively illustrating the relation between network topology and consensus.
Автор: Dimitris Sakavalas, Lewis Tseng Название: Network Topology and Fault-Tolerant Consensus ISBN: 1681735660 ISBN-13(EAN): 9781681735665 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 12335.00 р. Наличие на складе: Нет в наличии.
Описание: As the structure of contemporary communication networks grows more complex, practical networked distributed systems become prone to component failures. Fault-tolerant consensus in message-passing systems allows participants in the system to agree on a common value despite the malfunction or misbehavior of some components. It is a task of fundamental importance for distributed computing, due to its numerous applications. We summarize studies on the topological conditions that determine the feasibility of consensus, mainly focusing on directed networks and the case of restricted topology knowledge at each participant. Recently, significant efforts have been devoted to fully characterize the underlying communication networks in which variations of fault-tolerant consensus can be achieved. Although the deduction of analogous topological conditions for undirected networks of known topology had shortly followed the introduction of the problem, their extension to the directed network case has been proven a highly non-trivial task. Moreover, global knowledge restrictions, inherent in modern large-scale networks, require more elaborate arguments concerning the locality of distributed computations. In this work, we present the techniques and ideas used to resolve these issues. Recent studies indicate a number of parameters that affect the topological conditions under which consensus can be achieved, namely, the fault model, the degree of system synchrony (synchronous vs. asynchronous), the type of agreement (exact vs. approximate), the level of topology knowledge, and the algorithm class used (general vs. iterative). We outline the feasibility and impossibility results for various combinations of the above parameters, extensively illustrating the relation between network topology and consensus.
Автор: Ducard, Guillaume J.j. Название: Fault-tolerant flight control and guidance systems ISBN: 1848825609 ISBN-13(EAN): 9781848825604 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a complete overview of fault-tolerant flight control techniques. Discussion covers the necessary equations for the modeling of small UAVs, a complete system based on extended Kalman filters, and a nonlinear flight control and guidance system.
Описание: This hands-on guide demonstrates how to use the Erlang programming language and its OTP framework of reusable libraries, tools, and design principles to develop complex commercial-grade systems that simply cannot fail.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
