Continuous modeling of real-time and hybrid systems: From concepts to tools

DOI10.1007/s100090050006zbMath1060.68604OpenAlexW1989956236MaRDI QIDQ1856190

Yanyan Li

Publication date: 1997

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090050006

zbMATH Keywords

hybrid systemsformal methodsdiscrete time modelingcontinuous time modelingdrifting clockstimed automata-based modeling

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata ⋮ Automated verification of an audio-control protocol using UPPAAL

Uses Software

• Kronos
• HyTech
• Uppaal
• CADP

This page was built for publication: Continuous modeling of real-time and hybrid systems: From concepts to tools