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
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)
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)