Decisiveness of Stochastic Systems and its Application to Hybrid Models
From MaRDI portal
Publication:6332800
arXiv2001.04347MaRDI QIDQ6332800
Pierre Vandenhove, Patricia Bouyer, Cédric Rivière, Thomas Brihaye, Mickael Randour
Publication date: 13 January 2020
Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Model theory of ordered structures; o-minimality (03C64)
This page was built for publication: Decisiveness of Stochastic Systems and its Application to Hybrid Models
