Searched for: subject%3A%22formal%255C%2Bsynthesis%22
(1 - 3 of 3)
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
van der Zijden, Tycho van der Zijden (author)
In networked control systems (NCS), the components of the control system communicate over a network, which poses challenges to the control synthesis procedure. Signal sampling is one of those challenges. A typical approach is to sample the signal periodically, but this can be inefficient. Event-triggered control (ETC) is a more efficient way to...
student report 2021
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