2026-07-22T08:34:56Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2334 2024-03-06T10:33:19Z ddc:004 open_access

Deductive Verification of Continuous Dynamical Systems Taly, Ankur Tiwari, Ashish Deductive Verification inductive invariants continuous and hybrid dynamical systems Theory of Reals We define the notion of inductive invariants for continuous dynamical systems and use it to present inference rules for safety verification of polynomial continuous dynamical systems. We present two different sound and complete inference rules, but neither of these rules can be effectively applied. We then present several simpler and practical inference rules that are sound and relatively complete for different classes of inductive invariants. The simpler inference rules can be effectively checked when all involved sets are semi-algebraic. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ankur Taly and Ashish Tiwari 2009 Is Part Of LIPIcs, Volume 4, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2009.2334 urn:nbn:de:0030-drops-23342 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2009.2334 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode