Simulation logic validation method of hybrid systems applying classical first-order logic

DOI10.7612/J.ISSN.1000-2537.2015.02.016MaRDI QIDQ2990747zbMATH OpenFDO

Authors Zhongning Lu, Jinhua Fu, Zhifeng Zhang

Publication date 10 August 2016

Full work available at URL https://doi.org/10.7612/J.ISSN.1000-2537.2015.02.016

zbMATH Keywords

formal deduction ruleshybrid programssimulation logic formulassimulation semantics

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Differential Logic for Reasoning About Hybrid Systems
• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• Formal modelling, analysis and verification of hybrid systems
• scientific article; zbMATH DE number 1522990

This page was built for publication: Simulation logic validation method of hybrid systems applying classical first-order logic

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