Introduction to Diagnosis of Active Systems

DOI10.1007/978-3-319-92733-6zbMATH Open1400.68011OpenAlexW2809588984MaRDI QIDQ4558902FDOQ4558902

Authors: Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao 

Publication date: 30 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-92733-6

Recommendations

• scientific article; zbMATH DE number 1976855
• Reactive diagnosis of active systems
• Diagnosis of large active systems
• Active diagnosis of discrete-event systems
• Active Diagnosis for Probabilistic Systems
• Active fault diagnosis: a multi-parametric approach
• scientific article; zbMATH DE number 139791
• A Generalized Theory for System Level Diagnosis

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete event control/observation systems (93C65)

Cited In (4)

• Title not available (Why is that?)
• Discrete-event systems fault diagnosis
• Diagnosis of deep discrete-event systems
• Minimal diagnosis and diagnosability of discrete-event systems modeled by automata

This page was built for publication: Introduction to Diagnosis of Active Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4558902)