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

DOI10.7612/J.ISSN.1000-2537.2015.02.016zbMATH Open1349.68118MaRDI QIDQ2990747FDOQ2990747

Authors: Zhongning Lu, Jinhua Fu, Zhifeng Zhang 

Publication date: 10 August 2016

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

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)

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)