A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems

DOI10.1007/978-3-642-04761-9_13zbMath1262.93026MaRDI QIDQ3648697

Oliver Theel, Jens Oehlerking

Publication date: 1 December 2009

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04761-9_13

Mathematics Subject Classification ID

90C22: Semidefinite programming

68Q45: Formal languages and automata

93E15: Stochastic stability in control theory

34A38: Hybrid systems of ordinary differential equations

Uses Software

• CSDP