Publications
Chosen filters:
Chosen filters:
A taxonomy of cyber-physical threats and impact in the smart home Ghent University
Interoperability for industrial cyber-physical systems : an approach for legacy systems Ghent University
Integrated process safety and process security risk assessment of industrial cyber-physical systems in chemical plants University of Antwerp
Aligned with the development needs of Industry 4.0, industrial cyber-physical systems (ICPSs) are widely applied to chemical facilities to facilitate so-called intelligent production processes. Meanwhile, emerging cyber-tophysical (C2P) risks are introduced due to the vulnerability of ICPSs to cyberattacks. An integrated safety and security risk assessment of chemical facilities equipped with industrial cyber-physical systems becomes ...
Optimizing simulated-assisted verification of safety properties of cyber-physical systems University of Antwerp
The validation of the safety properties of Cyber-Physical Systems (CPS) requires tremendous effort, as the complexity of cyber-physical systems is increasing. A well-known approach for the safety validation of CPS is Fault Injection (FI). Fault injection is a testing technique that aids in understanding how the system behavioral when stressed in an unusual way. The goal of fault injection is to find a catastrophic fault that can cause the system ...
Development of autonomous cyber-physical systems using intelligent agents and LEGO technology University of Antwerp
Cyber-physical systems (CPS) have attracted various embedded technologies and researchers from low-level where the practitioners implement their systems using high-level programming languages where the multiple paradigms also overlap. As CPSs merge with numerous disciplines, heterogeneity emerges, and increasing complexity requires abstractions to program CPSs. Moreover, it is feasible to benefit from the suitable technologies that facilitate ...
On the impact of fuzzy-logic based BDI agent model for cyber-physical systems University of Antwerp
Cyber–Physical Systems (CPS) interconnect embedded computing technologies into the physical world, forming a complex, multi-disciplinary, physically-effective system. However, interacting with the physical world brings unpredictability, as real-world events are uncertain and dynamic by its nature. Consequently, CPS must be capable of reasoning about these unpredictable situations and adapt their behaviour accordingly. Therefore, it is essential ...
An architecture for intelligent agent-based digital twin for cyber-physical systems University of Antwerp
Recent years have witnessed the emergence of the fourth industrial revolution (Industry 4.0) era. This direction is propelled by digitization endeavors in various sectors and domains. Cyber-physical systems (CPS) and the Internet of Things (IoT) are the backbone technologies that play prominent roles and are widely utilized for digitization in various disciplines. Digital Twin (DT) technology, which enables designing and building virtual ...
On the use of Multi-agent Reinforcement Learning in cyber-physical and Internet of Thing systems University of Antwerp
In this paper, we provide a review of cyber-physical systems (CPSs) and explore the applications of Multi-Agent Systems (MAS), Multi-Agent Reinforcement Learning (MARL), and Multi-Agent Credit Assignment Problem (MCA) in CPSs. Our primary focus is on mapping specific domains, including job scheduling, energy management, and smart transport systems, to MAS and applying MARL and MCA techniques to solve the problems. To evaluate the effectiveness ...
Learning and verifying temporal specifications for cyber-physical systems University of Antwerp
In the past decade, there has been an unprecedented rise in the incorporation of cyber-physical systems used to perform complex tasks. Verifying these systems is necessary to ensure their safety and reliability, especially in safety-critical scenarios. Formal verification has been proven to be a time-tested method to systematically verify these systems. In particular, it provides techniques for monitoring system executions against a formal ...