Introducing interval differential dynamic logic

DOI10.1007/978-3-030-89247-0_5zbMATH Open1496.03128OpenAlexW3206211777MaRDI QIDQ2145261FDOQ2145261

Authors: Daniel R. Figueiredo 

Publication date: 17 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-89247-0_5

Recommendations

• Differential Logic for Reasoning About Hybrid Systems
• Logics of dynamical systems
• Towards a hybrid dynamic logic for hybrid dynamic systems
• Differential dynamic logic for hybrid systems
• Differential Dynamic Logic for Verifying Parametric Hybrid Systems

zbMATH Keywords

interval arithmeticsdifferential dynamic logicinterval differential dynamic logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Interval and finite arithmetic (65G30)

Cites Work

• dReal: an SMT solver for nonlinear theories over the reals
• Interval arithmetic: from principles to implementation
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• On the interval differential equation: novel solution methodology
• On interval dynamic logic
• Applying differential dynamic logic to reconfigurable biological networks

Cited In (1)

• On interval dynamic logic

Uses Software

• dReal
• dReach

This page was built for publication: Introducing interval differential dynamic logic

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