Searched for: subject%3A%22switched%255C+stochastic%255C+systems%22
(1 - 2 of 2)
document
Gracia, Ibon (author), Boskos, D. (author), Laurenti, L. (author), Mazo, M. (author)
We present a novel framework for formal control of uncertain discrete-time switched stochastic systems against probabilistic reach-avoid specifications. In particular, we consider stochastic systems with additive noise, whose distribution lies in an ambiguity set of distributions that are ε−close to a nominal one according to the Wasserstein...
conference paper 2023
document
Jackson, John (author), Laurenti, L. (author), Frew, Eric (author), Lahijanian, Morteza (author)
We present a data-driven framework for strategy synthesis for partially-known switched stochastic systems. The properties of the system are specified using linear temporal logic (LTL) over finite traces (LTLf), which is as expressive as LTL and enables interpretations over finite behaviors. The framework first learns the unknown dynamics via...
conference paper 2021