Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles

Wooding, Ben; Vahidinasab, Vahid; Soudjani, Sadegh

doi:10.1109/sest48500.2020.9203234

Cited by 6 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We assume we have access to a fleet of EVs which can connect/disconnect from the power grid almost instantaneously. Such responsive loads are flexible and can be used for load shedding [25] and frequency regulation of smart grids [20].…”

Section: B Linear Systems Under Large Measurable Disturbancementioning

confidence: 99%

See 1 more Smart Citation

Robust Simulation Functions with Disturbance Refinement

Wooding,

Lavaei,

Vahidinasab

et al. 2023

2023 European Control Conference (ECC)

Self Cite

View full text Add to dashboard Cite

Simulation functions are Lyapunov-like functions defined over the Cartesian product of state spaces of two (un)perturbed systems, a.k.a., concrete and abstract systems, to relate output trajectories of abstract systems to those of concrete ones while the mismatch between two systems remains within some guaranteed error bounds. In this work, we approximate concrete systems with abstractions with lower dimensions (reduced-order models) and develop robust simulation functions further to consider the perturbation in the abstract system by designing an interface function for the disturbance. The proposed approach allows concrete systems to have large disturbances, which is the case in many reallife applications, while noticeably reducing the closeness error between the two systems. Accordingly, this enables controller design using a reduced-order form of the concrete system and reducing the computational load required for formal synthesis. We demonstrate the efficacy of our approaches by synthesising a formal controller for a 9-state area of the known New England 39 Bus Test System, using only a 3-state abstract system.

show abstract

Section: B Linear Systems Under Large Measurable Disturbancementioning

confidence: 99%

“…Reachability and formal analysis of power systems have been studied in [18], [19]. A controller designed based on abstract models for frequency regulation of smart grids is studied in [20]. A datadriven method for constructing the finite abstract model with formal guarantees is proposed in [21].…”

Section: Introductionmentioning

confidence: 99%