Abstractions of Hybrid Systems for Verification

DOI10.1007/978-3-642-19730-7_2zbMath1255.68096OpenAlexW115896635MaRDI QIDQ4899747

Janan Zaytoon, Hervé Guéguen

Publication date: 9 January 2013

Published in: Informatics in Control Automation and Robotics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19730-7_2

zbMATH Keywords

hybrid systemsreachabilityformal verificationabstractionsafety verification

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Abstractions of Hybrid Systems for Verification