Formal Techniques in Real-Time and Fault-Tolerant Systems, Jan Vytopil

Автор: Bengt Jonsson; Joachim Parrow
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540616489 ISBN-13(EAN): 9783540616481
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

Автор: Mathai Joseph
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540410554 ISBN-13(EAN): 9783540410553
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

Автор: Anders P. Ravn; Hans Rischel
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540650032 ISBN-13(EAN): 9783540650034
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT`98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book.

Автор: Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540584684 ISBN-13(EAN): 9783540584681
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.

Автор: Damiano Rotondo
Название: Advances in Gain-Scheduling and Fault Tolerant Control Techniques
ISBN: 3319629018 ISBN-13(EAN): 9783319629018
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This thesis reports on novel methods for gain-scheduling and fault tolerant control (FTC). Furthermore, it presents two approaches to fault-tolerant control: the first is based on a robust polytopic controller design, while the second involves a reconfiguration of the reference model and the addition of virtual actuators into the loop.

Автор: Dongsheng Du; Bin Jiang; Peng Shi
Название: Fault Tolerant Control for Switched Linear Systems
ISBN: 3319366084 ISBN-13(EAN): 9783319366081
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents up-to-date research and novel methodologies on fault diagnosis and fault tolerant control for switched linear systems.

Автор: Marcin Witczak
Название: Fault Diagnosis and Fault-Tolerant Control Strategies for Non-Linear Systems
ISBN: 3319030132 ISBN-13(EAN): 9783319030135
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Taking the reader from advanced state estimation strategies right up to the latest techniques in soft computing, this book explains how to implement the Takagi-Sugeno models of fuzzy-systems fault diagnosis and fault-tolerant control in a unified framework.

Автор: Tushar Jain; Joseph J. Yam?; Dominique Sauter
Название: Active Fault-Tolerant Control Systems
ISBN: 3319688278 ISBN-13(EAN): 9783319688275
Издательство: Springer
Рейтинг:
Цена: 16769.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.

Автор: Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540550925 ISBN-13(EAN): 9783540550921
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event models to specification, modeling, analysis and verification of real-time and fault-tolerant systems.

Автор: 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.

Автор: Mathai Joseph
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540503021 ISBN-13(EAN): 9783540503026
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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.