Robust simulation functions with disturbance refinement

Wooding, B., Lavaei, A., Vahidinasab, V. ORCID: 0000-0002-0779-8727 and Soudjani, S., 2023. Robust simulation functions with disturbance refinement. In: 2023 European Control Conference (ECC). Institute of Electrical and Electronics Engineers. ISBN 9781665465311

1791862_Vahidinasab.pdf - Post-print

Download (650kB) | Preview


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 real-life 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 on linear control systems 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.

Item Type: Chapter in book
Description: Paper presented at the 2023 European Control Conference (ECC), Bucharest, Romania, 13-16 June 2023.
Creators: Wooding, B., Lavaei, A., Vahidinasab, V. and Soudjani, S.
Publisher: Institute of Electrical and Electronics Engineers
Date: June 2023
ISBN: 9781665465311
Rights: © 2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Divisions: Schools > School of Science and Technology
Record created by: Jonathan Gallacher
Date Added: 15 Aug 2023 16:25
Last Modified: 04 Sep 2023 08:05

Actions (login required)

Edit View Edit View


Views per month over past year


Downloads per month over past year