IBEX
Quantitative methods for cyber-physical programming
| PTDC/CCI-COM/4280/2021 3 years (Jan 2022 to Dec 2024) | |
| Summary: | Thanks to advances in computational power and miniaturisation, software is increasingly embedded in infrastructures and industrial processes to boost efficiency, safety, and production. In this context it is now qualified as cyber-physical to emphasise its tight interaction with physical processes (such as velocity, movement, and temperature), and to sign a shift from usual software engineering practices to a more multifaceted view that combines computer science, control theory, and analysis. There has been important progress in the development of mathematical foundations for cyber-physical systems. Existing results typically take the form of a hybrid process algebra, which add the notion of a differential equation to an existing, well-established process algebra. However, the fact that computational processes are intermixed with physical ones raises challenging aspects that severely hinder these results as foundations for an engineering discipline of cyber-physical software. Specifically, the latter bring an inherent layer of uncertainty, due to noise in sensors and actuators. Moreover, they require notions of behavioural distance for realistically comparing two systems in an algebraic, rigorous way. The goal of this project is thus to develop the mathematical foundations of cyber-physical programming by taking into account the quantitative aspects discussed above: uncertainty and behavioural distance. Note that our goal is not develop a specific programming language for cyber-physical systems, but rather to focus on core, semantic foundations and calculi which will then serve as basis for developing such languages |
| Funding: | Global: 250KEUR, CISTER: 74.9KEUR |
| Sponsors: |     |
| Partners: | |
| Contact Person at CISTER: | José Proença |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Towards Ubiquitous Semantic Metaverse: Challenges, Approaches, and Opportunities CISTER-TR-230801
Kai Li, Billy Pik Lik Lau, Xin Yuan, Wei Ni, Mohsen Guizani, Chau YuenIEEE Internet of Things Journal (IoTJ) (IoTJ), IEEE. 2023.
Kai Li, Billy Pik Lik Lau, Xin Yuan, Wei Ni, Mohsen Guizani, Chau YuenIEEE Internet of Things Journal (IoTJ) (IoTJ), IEEE. 2023.
PDFConference or Workshop Papers/Talks
Exploring Adversarial Graph Autoencoders to Manipulate Federated Learning in The Internet of Things CISTER-TR-230301
Kai Li, Xin Yuan, Jingjing Zheng, Wei Ni, Mohsen GuizaniInternational Wireless Communications & Mobile Computing Conference (IWCMC) (IWCMC). 19 to 23, Jun, 2023, IoT & Wireless Sensors. Marrakesh, Morocco.Kai Li is a chair of AI FOR AUTONMOUS UNMANNED SYSTEMS SYMPOSIUM (AAUSS).
Kai Li, Xin Yuan, Jingjing Zheng, Wei Ni, Mohsen GuizaniInternational Wireless Communications & Mobile Computing Conference (IWCMC) (IWCMC). 19 to 23, Jun, 2023, IoT & Wireless Sensors. Marrakesh, Morocco.Kai Li is a chair of AI FOR AUTONMOUS UNMANNED SYSTEMS SYMPOSIUM (AAUSS).