An approximation-based incremental SMT approach for diagnosability analysis of real-time systems

DOI10.1007/S10626-025-00420-XMaRDI QIDQ6912384zbMATH OpenFDO

Authors Lulu He, Philippe Dague, Lina Ye

Publication date 22 October 2025

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

diagnosabilitytimed automataapproximationssatisfiability modulo theories (SMT)counterexample-guided abstraction refinement (CEGAR)

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

This page was built for publication: An approximation-based incremental SMT approach for diagnosability analysis of real-time systems

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