Автор: Barbara Simons; Alfred Spector Название: Fault-Tolerant Distributed Computing ISBN: 0387973850 ISBN-13(EAN): 9780387973852 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains 22 workshop papers presenting research results in distributed systems and fault-tolerant architectures and systems.
Автор: 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.
Автор: Mario Dal Cin; Wolfgang Hohl Название: Fault-Tolerant Computing Systems ISBN: 354054545X ISBN-13(EAN): 9783540545453 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 5th International GI/ITG/GMA Conference, Nurnberg, September 25-27, 1991. Proceedings
Автор: 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.
Автор: Mogens Blanke; Michel Kinnaert; Jan Lunze; Marcel Название: Diagnosis and Fault-Tolerant Control ISBN: 3662479427 ISBN-13(EAN): 9783662479421 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Fault-tolerant control aims at a gradual shutdown response in automated systems when faults occur. It satisfies the industrial demand for enhanced availability and safety, in contrast to traditional reactions to faults, which bring about sudden shutdowns and loss of availability.
The book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, to test the fault detectability and to find the redundancies in the process that can be used to ensure fault tolerance. It also introduces design methods suitable for diagnostic systems and fault-tolerant controllers for continuous processes that are described by analytical models of discrete-event systems represented by automata.
The book is suitable for engineering students, engineers in industry and researchers who wish to get an overview of the variety of approaches to process diagnosis and fault-tolerant control.
The authors have extensive teaching experience with graduate and PhD students, as well as with industrial experts. Parts of this book have been used in courses for this audience. The authors give a comprehensive introduction to the main ideas of diagnosis and fault-tolerant control and present some of their most recent research achievements obtained together with their research groups in a close cooperation with European research projects.
The third edition resulted from a major re-structuring and re-writing of the former edition, which has been used for a decade by numerous research groups. New material includes distributed diagnosis of continuous and discrete-event systems, methods for reconfigurability analysis, and extensions of the structural methods towards fault-tolerant control. The bibliographical notes at the end of all chapters have been up-dated. The chapters end with exercises to be used in lectures.
Автор: Paris Christos Kanellakis; Alex Allister Shvartsma Название: Fault-Tolerant Parallel Computation ISBN: 1441951776 ISBN-13(EAN): 9781441951779 Издательство: Springer Рейтинг: Цена: 20956.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Paris Christos Kanellakis; Alex Allister Shvartsma Название: Fault-Tolerant Parallel Computation ISBN: 0792399226 ISBN-13(EAN): 9780792399223 Издательство: Springer Рейтинг: Цена: 20956.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents advances in algorithmic ways of introducing fault-tolerance in multiprocessors under the constraint of preserving efficiency. This monograph takes the reader on the tour of this field summarizing results and identifying hard open problems. It is useful for academic and industrial researchers and graduate students.
Автор: Mogens Blanke; Michel Kinnaert; Jan Lunze; Marcel Название: Diagnosis and Fault-Tolerant Control ISBN: 366249986X ISBN-13(EAN): 9783662499863 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Fault-tolerant control aims at a gradual shutdown response in automated systems when faults occur. It satisfies the industrial demand for enhanced availability and safety, in contrast to traditional reactions to faults, which bring about sudden shutdowns and loss of availability.
The book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, to test the fault detectability and to find the redundancies in the process that can be used to ensure fault tolerance. It also introduces design methods suitable for diagnostic systems and fault-tolerant controllers for continuous processes that are described by analytical models of discrete-event systems represented by automata.
The book is suitable for engineering students, engineers in industry and researchers who wish to get an overview of the variety of approaches to process diagnosis and fault-tolerant control.
The authors have extensive teaching experience with graduate and PhD students, as well as with industrial experts. Parts of this book have been used in courses for this audience. The authors give a comprehensive introduction to the main ideas of diagnosis and fault-tolerant control and present some of their most recent research achievements obtained together with their research groups in a close cooperatio
n with European research projects.
The third edition resulted from a major re-structuring and re-writing of the former edition, which has been used for a decade by numerous research groups. New material includes distributed diagnosis of continuous and discrete-event systems, methods for reconfigurability analysis, and extensions of the structural methods towards fault-tolerant control. The bibliographical notes at the end of all chapters have been up-dated. The chapters
end with exercises to be used in lectures.
Автор: Elena Dubrova Название: Fault-Tolerant Design ISBN: 1493902407 ISBN-13(EAN): 9781493902408 Издательство: Springer Рейтинг: Цена: 9141.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces fault-tolerance techniques through hardware, software, information and time redundancy. The content is designed to be highly accessible, including numerous examples and exercises. Benefits both advanced students and working engineers.
Автор: Michael Butler; Cliff Jones; Alexander Romanovsky; Название: Rigorous Development of Complex Fault-Tolerant Systems ISBN: 3540482652 ISBN-13(EAN): 9783540482659 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. This book is based on the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.
Автор: 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.
Автор: Mogens Blanke; J. Schr?der; Michel Kinnaert; Jan L Название: Diagnosis and Fault-Tolerant Control ISBN: 3642071368 ISBN-13(EAN): 9783642071362 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, test fault detectability and reveal redundancies that can be used to ensure fault tolerance.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
