Symbolic Algorithm Analysis of Rectangular Hybrid Systems

DOI10.1007/978-3-540-79228-4_26zbMath1139.68381OpenAlexW1487107396MaRDI QIDQ3502655

Hai-Bin Zhang, Zhenhua Duan

Publication date: 27 May 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79228-4_26

zbMATH Keywords

hybrid systemsmodel checkingtemporal logicreachability analysis

Mathematics Subject Classification ID

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

This page was built for publication: Symbolic Algorithm Analysis of Rectangular Hybrid Systems