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

DOI10.7612/J.ISSN.1000-2537.2015.02.016MaRDI QIDQ2990747zbMATHFDO

Authors Zhongning Lu, Jinhua Fu, Zhifeng Zhang

Publication date 10 August 2016

zbMATH Keywords

hybrid programssimulation semanticsformal deduction rulessimulation logic formulas

Mathematics Subject Classification ID

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

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)