scientific article; zbMATH DE number 1522990

zbMATH Open0964.68088MaRDI QIDQ4511265FDOQ4511265

Authors: Oleg Kudinov, M. V. Korovina 

Publication date: 30 October 2000

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

hybrid system

Mathematics Subject Classification ID

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

Cited In (9)

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

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)