Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
(2023) In ACM Transactions on Embedded Computing Systems 22(5s).- Abstract
- Control theory allows one to design controllers that are robust to external disturbances, model simplification, and modelling inaccuracy. Researchers have investigated whether the robustness carries on to the controller’s digital implementation, mostly looking at how the controller reacts to either communication or computational problems. Communication problems are typically modelled using random variables (i.e., estimating the probability that a fault will occur during a transmission), while computational problems are modelled using deterministic guarantees on the number of deadlines that the control task has to meet. These fault models allow the engineer to both design robust controllers and assess the controllers’ behaviour in the... (More)
- Control theory allows one to design controllers that are robust to external disturbances, model simplification, and modelling inaccuracy. Researchers have investigated whether the robustness carries on to the controller’s digital implementation, mostly looking at how the controller reacts to either communication or computational problems. Communication problems are typically modelled using random variables (i.e., estimating the probability that a fault will occur during a transmission), while computational problems are modelled using deterministic guarantees on the number of deadlines that the control task has to meet. These fault models allow the engineer to both design robust controllers and assess the controllers’ behaviour in the presence of isolated faults. Despite being very relevant for the real-world implementations of control system, the question of what happens when these faults occur simultaneously does not yet have a proper answer. In this paper, we answer this question in the stochastic setting, using the theory of Markov Jump Linear Systems to provide stability contracts with almost sure guarantees of convergence. For linear time-invariant Markov jump linear systems, mean square stability implies almost sure convergence – a property that is central to our investigation. Our research primarily emphasises the validation of this property for closed-loop systems that are subject to packet losses and computational overruns, potentially occurring simultaneously. We apply our method to two case studies from the recent literature and show their robustness to a comprehensive set of faults. We employ closed-loop system simulations to empirically derive performance metrics that elucidate the quality of the controller implementation, such as the system settling time and the integral absolute error. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/4ba6d141-4ccc-40db-a0ce-6811a3ada025
- author
- Vreman, Nils LU and Maggio, Martina LU
- organization
- publishing date
- 2023-09-09
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- Embedded Systems, Real-Time Systems, Markov Jump Linear Systems
- in
- ACM Transactions on Embedded Computing Systems
- volume
- 22
- issue
- 5s
- pages
- 25 pages
- publisher
- Association for Computing Machinery (ACM)
- external identifiers
-
- scopus:85171742469
- ISSN
- 1539-9087
- DOI
- 10.1145/3609123
- project
- Towards Adaptively Morphing Embedded Systems
- language
- English
- LU publication?
- yes
- id
- 4ba6d141-4ccc-40db-a0ce-6811a3ada025
- date added to LUP
- 2023-09-16 16:35:48
- date last changed
- 2023-12-12 08:35:35
@article{4ba6d141-4ccc-40db-a0ce-6811a3ada025,
abstract = {{Control theory allows one to design controllers that are robust to external disturbances, model simplification, and modelling inaccuracy. Researchers have investigated whether the robustness carries on to the controller’s digital implementation, mostly looking at how the controller reacts to either communication or computational problems. Communication problems are typically modelled using random variables (i.e., estimating the probability that a fault will occur during a transmission), while computational problems are modelled using deterministic guarantees on the number of deadlines that the control task has to meet. These fault models allow the engineer to both design robust controllers and assess the controllers’ behaviour in the presence of isolated faults. Despite being very relevant for the real-world implementations of control system, the question of what happens when these faults occur simultaneously does not yet have a proper answer. In this paper, we answer this question in the stochastic setting, using the theory of Markov Jump Linear Systems to provide stability contracts with almost sure guarantees of convergence. For linear time-invariant Markov jump linear systems, mean square stability implies almost sure convergence – a property that is central to our investigation. Our research primarily emphasises the validation of this property for closed-loop systems that are subject to packet losses and computational overruns, potentially occurring simultaneously. We apply our method to two case studies from the recent literature and show their robustness to a comprehensive set of faults. We employ closed-loop system simulations to empirically derive performance metrics that elucidate the quality of the controller implementation, such as the system settling time and the integral absolute error.}},
author = {{Vreman, Nils and Maggio, Martina}},
issn = {{1539-9087}},
keywords = {{Embedded Systems; Real-Time Systems; Markov Jump Linear Systems}},
language = {{eng}},
month = {{09}},
number = {{5s}},
publisher = {{Association for Computing Machinery (ACM)}},
series = {{ACM Transactions on Embedded Computing Systems}},
title = {{Stochastic Analysis of Control Systems Subject to Communication and Computation Faults}},
url = {{http://dx.doi.org/10.1145/3609123}},
doi = {{10.1145/3609123}},
volume = {{22}},
year = {{2023}},
}