Hybrid diagrams

DOI10.1016/S0304-3975(02)00036-1zbMath1029.68119OpenAlexW2914507793MaRDI QIDQ1853604

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)

Cites Work

• Unnamed Item
• The algorithmic analysis of hybrid systems
• Completing the temporal picture
• Using mappings to prove timing properties
• Models for reactivity
• Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification