Twin‐engined diagnosis of discrete‐event systems
Bertoglio, Nicola, Lamperti, Gianfranco, Zanella, Marina, Zhao, Xiangfu
Published in Engineering reports (Hoboken, N.J.) (01.11.2019)
Published in Engineering reports (Hoboken, N.J.) (01.11.2019)
Get full text
Journal Article
Diagnosis of Deep Discrete-Event Systems
Lamperti, Gianfranco, Zanella, Marina, Zhao, Xiangfu
Published in The Journal of artificial intelligence research (01.01.2020)
Published in The Journal of artificial intelligence research (01.01.2020)
Get full text
Journal Article
Sequence-Oriented Diagnosis of Discrete-Event Systems
Lamperti, Gianfranco, Trerotola, Stefano, Zanella, Marina, Zhao, Xiangfu
Published in The Journal of artificial intelligence research (01.01.2023)
Published in The Journal of artificial intelligence research (01.01.2023)
Get full text
Journal Article
Determinization and minimization of finite acyclic automata by incremental techniques
Lamperti, Gianfranco, Scandale, Michele, Zanella, Marina
Published in Software, practice & experience (01.04.2016)
Published in Software, practice & experience (01.04.2016)
Get full text
Journal Article
Diagnosis of Active Systems by Semantic Patterns
Lamperti, Gianfranco, Zhao, Xiangfu
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.08.2014)
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.08.2014)
Get full text
Journal Article
Monitoring of Active Systems With Stratified Uncertain Observations
Lamperti, G, Zanella, M
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.03.2011)
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.03.2011)
Get full text
Journal Article
Incremental Determinization and Minimization of Finite Acyclic Automata
Lamperti, Gianfranco, Scandale, Michele
Published in 2013 IEEE International Conference on Systems, Man, and Cybernetics (01.10.2013)
Published in 2013 IEEE International Conference on Systems, Man, and Cybernetics (01.10.2013)
Get full text
Conference Proceeding