Advertisement

Introduction to Diagnosis of Active Systems

  • Gianfranco Lamperti
  • Marina Zanella
  • Xiangfu Zhao

Table of contents

  1. Front Matter
    Pages i-xv
  2. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 1-18
  3. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 19-43
  4. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 45-55
  5. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 57-71
  6. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 73-98
  7. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 99-130
  8. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 131-166
  9. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 167-187
  10. Federica Vivenzi
    Pages 189-225
  11. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 227-254
  12. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 255-283
  13. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
    Pages 285-338
  14. Back Matter
    Pages 339-353

About this book

Introduction

This book is an up-to-date self-contained compendium of the research carried out by the authors on model-based diagnosis of a class of discrete-event systems called active systems. After defining the diagnosis problem, the book copes with a variety of reasoning mechanisms that generate the diagnosis, possibly within a monitoring setting. The book is structured into twelve chapters, each of which has its own introduction and concludes with bibliographic notes and itemized summaries. Concepts and techniques are presented with the help of numerous examples, figures, and tables, and when appropriate these concepts are formalized into propositions and theorems, while detailed algorithms are expressed in pseudocode.

This work is primarily intended for researchers, professionals, and graduate students in the fields of artificial intelligence and control theory.

Keywords

Diagnosis Discrete-event systems Monitoring Observations Finite automata Model-based diagnosis Automatic control Hybrid systems

Authors and affiliations

  • Gianfranco Lamperti
    • 1
  • Marina Zanella
    • 2
  • Xiangfu Zhao
    • 3
  1. 1.Dipt. di Ingegneria dell’InformazioneUniversità degli Studi di BresciaBresciaItaly
  2. 2.Dipt. di Ingegneria dell’InformazioneUniversità degli Studi di BresciaBresciaItaly
  3. 3.College of Math, Phys & Inform EnginZhejiang Normal UniversityJinhua CityChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-92733-6
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-92731-2
  • Online ISBN 978-3-319-92733-6
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Health & Hospitals
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering