Bujorianu, Luminita-Manuela;
(2023)
Cyber-Physical Ecosystems: Modelling and Verification.
In:
International Conference on Engineering of Computer-Based Systems ECBS 2023: Engineering of Computer-Based Systems.
(pp. pp. 215-230).
Springer, Cham
![[thumbnail of Bujorianu_LNCS_ECBS_fin.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
Bujorianu_LNCS_ECBS_fin.pdf - Accepted Version Access restricted to UCL open access staff until 30 November 2024. Download (289kB) |
Abstract
In this paper, we set up a mathematical framework for the modelling and verification of complex cyber-physical ecosystems. In our setting, cyber-physical ecosystems are cyber-physical systems of systems that are highly connected. These are networked systems that combine cyber-physical systems with an interaction mechanism with other systems and the environment (ecosystem capability). Our contribution will be on two streams: (i) modelling the constituent systems and their interfaces, and (ii) local/global verification of cyber-physical ecosystems. We introduce a concept of basic model, whose skeleton is a Markov decision process and we propose a verification based abstraction methodology.
| Type: | Proceedings paper |
|---|---|
| Title: | Cyber-Physical Ecosystems: Modelling and Verification |
| Event: | International Conference on Engineering of Computer-Based Systems |
| ISBN-13: | 9783031492518 |
| DOI: | 10.1007/978-3-031-49252-5_17 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-031-49252-5_17 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | cyber-physical ecosystem, Markov model, reachability, abstraction |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10188532 |
Archive Staff Only
 |
View Item |
