Fair control of uncertain dynamical systems under LTL specifications
File(s)CDC_Fairness_Zhou_Yu_Abate_Parisini_Gao.pdf (376.69 KB)
Accepted version
Author(s)
Zhou, Can
Yu, Pian
Parisini, Thomas
Abate, Alessandro
Gao, Yulong
Type
Conference Paper
Abstract
Uncertainties are inevitable for control of dynamical systems of practical relevance. The conventional robust control methods assume persistent worst-case realisations of uncertainties, which leads to conservative solutions. To relax this assumption, we exploit the fairness notion in formal verification to qualitatively capture realistic epistemic disturbance behaviours. We study the fair control problem, that is, to maximise the probability of satisfying an Linear Temporal Logic subject to an action-based fairness constraint for uncertain dynamical systems. The action-based fairness of epistemic disturbances can be defined flexibly: by their observed behaviour and/or by their interaction with control input, enabling both input-dependent and independent disturbance modelling. We develop a sound and complete methodology to perform correct-by-design synthesis. We show that this optimal control problem is equivalent to a reachability problem in the fairness-realisable sub-product Markov decision process. We validate our results over a case study of room temperature regulation.
Date Acceptance
2025-07-16
Citation
64th IEEE Conference on Decision and Control
Publisher
IEEE
Journal / Book Title
64th IEEE Conference on Decision and Control
Copyright Statement
Subject to copyright. This paper is embargoed until publication. Once published the author’s accepted manuscript will be made available under a CC-BY License in accordance with Imperial’s Research Publications Open Access policy (www.imperial.ac.uk/oa-policy).
Source
64th IEEE Conference on Decision and Control
Publication Status
Accepted
Start Date
2025-12-10
Finish Date
2025-12-12
Coverage Spatial
Rio de Janeiro, Brazil