Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems

by   Zhe Xu, et al.

In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable probabilistic guarantees. We first present the stochastic control bisimulation function for switched stochastic control systems, which bounds the trajectory divergence between the switched stochastic control system and its nominal deterministic control system in a probabilistic fashion. We then develop a method to compute optimal control inputs by solving an optimization problem for the nominal trajectory of the deterministic control system with robustness against initial state variations and stochastic uncertainties. We implement our robust stochastic controller synthesis approach on both a four-bus power system and a nine-bus power system under generation loss disturbances, with MTL specifications expressing requirements for the grid frequency deviations, wind turbine generator rotor speed variations and the power flow constraints at different power lines.



There are no comments yet.


page 1

page 2

page 3

page 4


Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications

In this paper, we present a controller synthesis approach for wind turbi...

Safe Control under Uncertainty

Controller synthesis for hybrid systems that satisfy temporal specificat...

Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic

Pandemics can bring a range of devastating consequences to public health...

Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach

This paper develops a controller synthesis approach for a multi-agent sy...

Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications

We present a new average-based robustness score for Signal Temporal Logi...

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications

Privacy is an important concern in various multiagent systems in which d...

Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees

We formalize synthesis of shared control protocols with correctness guar...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.