Introduction to Diagnosis of Active Systems

DOI10.1007/978-3-319-92733-6MaRDI QIDQ4558902zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(4)

• scientific article; zbMATH DE number 1976855 (Why is no real title available?)
• 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)