Distributionally Robust Strategy Synthesis for Switched Stochastic Systems

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...

Formal Synthesis of Event-Triggered Controllers

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...

Strategy synthesis for partially-known switched stochastic systems

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...