Proving properties of continuous systems: Qualitative simulation and temporal logic

DOI10.1016/S0004-3702(96)00050-1zbMath1017.68514OpenAlexW2038366595MaRDI QIDQ1402734

Benjamin J. Kuipers, Benjamin Shults

Publication date: 28 August 2003

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(96)00050-1

zbMATH Keywords

Differential equationsModel checkingTemporal logicQualitative simulation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Error bounds for numerical methods for ordinary differential equations (65L70) Temporal logic (03B44)

Related Items (5)

Pegasus: sound continuous invariant generation ⋮ Abstractions for hybrid systems ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Monitoring bounded LTL properties using interval analysis ⋮ Random generation of monotonic functions for Monte Carlo solution of qualitative differential equations

Cites Work

• Unnamed Item
• Qualitative simulation
• Real-time logics: Complexity and expressiveness
• The composition and validation of heterogeneous control laws
• Automatic verification of finite-state concurrent systems using temporal logic specifications

This page was built for publication: Proving properties of continuous systems: Qualitative simulation and temporal logic