Introducing interval differential dynamic logic

DOI10.1007/978-3-030-89247-0_5MaRDI QIDQ2145261zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(1)

• On interval dynamic logic

Describes a project that uses

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)