From diagnosis of active systems to incremental determinization of finite acyclic automata

DOI10.3233/AIC-130574zbMATH Open1372.68158OpenAlexW1517151802MaRDI QIDQ3191109

Michele Scandale, Gianfranco Lamperti

Publication date: 24 September 2014

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-130574

zbMATH Keywords

discrete-event systemsdiagnosismonitoringdeterminizationactive systemsacyclic automatatemporal observationsincremental techniques

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

On a generalization of the self-implicating structures in diagnosable systems

This page was built for publication: From diagnosis of active systems to incremental determinization of finite acyclic automata

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