Introduction to Diagnosis of Active Systems
From MaRDI portal
Publication:4558902
DOI10.1007/978-3-319-92733-6zbMath1400.68011OpenAlexW2809588984MaRDI QIDQ4558902
Marina Zanella, Xiangfu Zhao, Gianfranco Lamperti
Publication date: 30 November 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-92733-6
Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
Minimal diagnosis and diagnosability of discrete-event systems modeled by automata ⋮ Diagnosis of Deep Discrete-Event Systems ⋮ Discrete-Event Systems Fault Diagnosis
This page was built for publication: Introduction to Diagnosis of Active Systems
