Hybrid diagrams

DOI10.1016/S0304-3975(02)00036-1zbMATH Open1029.68119OpenAlexW2914507793MaRDI QIDQ1853604FDOQ1853604

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

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

zbMATH Keywords

hybrid systems

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Cites Work

• The algorithmic analysis of hybrid systems
• Title not available (Why is that?)
• Completing the temporal picture
• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
• Models for reactivity
• Using mappings to prove timing properties

Cited In (6)

• 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
• Requirements Validation for Hybrid 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)