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

DOI10.1007/978-3-642-04761-9_13zbMATH Open1262.93026OpenAlexW1553253406MaRDI 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

Semidefinite programming (90C22) Formal languages and automata (68Q45) Stochastic stability in control theory (93E15) Hybrid systems of ordinary differential equations (34A38)

Uses Software

• Title not available (Why is that?)

This page was built for publication: A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3648697)