Differential Logic for Reasoning About Hybrid Systems

DOI10.1007/978-3-540-71493-4_75zbMath1221.03023OpenAlexW1503474309MaRDI QIDQ3613026

André Platzer

Publication date: 11 March 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

hybrid systemsdynamic logicparametric verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

This page was built for publication: Differential Logic for Reasoning About Hybrid Systems