Hybrid diagrams

DOI10.1016/S0304-3975(02)00036-1MaRDI QIDQ1853604zbMATH OpenOpenAlexFDO

Authors Luca De Alfaro, Arjun Kapur

Publication date 21 January 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(02)00036-1

zbMATH Keywords

hybrid systems

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
• The algorithmic analysis of hybrid systems
• Verification and Control of Hybrid Systems
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• scientific article; zbMATH DE number 744075

Cites work

• scientific article; zbMATH DE number 3735115 (Why is no real title available?)
• Completing the temporal picture
• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
• Models for reactivity
• The algorithmic analysis of hybrid systems
• Using mappings to prove timing properties

Cited in

(6)

• Requirements Validation for Hybrid Systems
• HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY
• A SOC-based formal specification and verification of hybrid systems
• Generalized temporal verification diagrams
• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
• A Hoare logic for linear systems

This page was built for publication: Hybrid diagrams

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