scientific article; zbMATH DE number 1522990

MaRDI QIDQ4511265zbMATHFDO

Authors Oleg Kudinov, M. V. Korovina

Publication date 30 October 2000

zbMATH Keywords

hybrid system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Logical analysis of hybrid systems: a complete answer to a complexity challenge
• The algorithmic analysis of hybrid systems
• scientific article; zbMATH DE number 1617300
• Differential Logic for Reasoning About Hybrid Systems
• scientific article; zbMATH DE number 744075

Cited in

(9)

• \(\Sigma _{K }\)-constraints for hybrid systems
• scientific article; zbMATH DE number 2000403 (Why is no real title available?)
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• Logical analysis of hybrid systems. A complete answer to a complexity challenge
• Logical analysis of hybrid systems: a complete answer to a complexity challenge
• Simulation logic validation method of hybrid systems applying classical first-order logic
• Modular and visual specification of hybrid systems: An introduction to HyCharts
• Hybrid systems and hybrid computation. I: Hybrid systems
• scientific article; zbMATH DE number 2065266 (Why is no real title available?)

This page was built for publication:

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