English
Related papers

Related papers: Effectiveness Assessment of Cyber-Physical Systems

200 papers

Dempster-Shafer's model aims at quantifying degrees of belief But there are so many interpretations of Dempster-Shafer's theory in the literature that it seems useful to present the various contenders in order to clarify their respective…

Artificial Intelligence · Computer Science 2013-04-05 Philippe Smets

Traditional techniques for Cyber-Physical Systems (CPS) security design either treat the cyber and physical systems independently, or do not address the specific vulnerabilities of real time embedded controllers and networks used to monitor…

Cryptography and Security · Computer Science 2020-05-29 Ashraf Tantawy , Abdelkarim Erradi , Sherif Abdelwahed , Khaled Shaban

Cyber Physical Systems solve complex problems through their tight integration between the physical and computational components. Therefore, the reliability of a complex system is the most critical requirement for the cyber physical system…

Software Engineering · Computer Science 2020-10-13 Nazakat Ali , Manzoor Hussain , Youngjae Kim , Jang-Eui Hong

Cyber-Physical Systems (CPS) integrate physical and embedded systems with information and communication technology systems, monitoring and controlling physical processes with minimal human intervention. The connection to information and…

Cryptography and Security · Computer Science 2024-09-17 Asila AlHarmali , Saqib Ali , Waqas Aman , Omar Hussain

The rapid evolution of Cyber-Physical Systems (CPS) across various domains like mobility systems, networked control systems, sustainable manufacturing, smart power grids, and the Internet of Things necessitates innovative solutions that…

Optimization and Control · Mathematics 2024-06-25 Andreas A. Malikopoulos

Edge computing is projected to have profound implications in the coming decades, proposed to provide solutions for applications such as augmented reality, predictive functionalities, and collaborative Cyber-Physical Systems (CPS). For such…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-02 José Manuel Gaspar Sánchez , Nils Jörgensen , Martin Törngren , Rafia Inam , Andrii Berezovskyi , Lei Feng , Elena Fersman , Muhammad Rusyadi Ramli , Kaige Tan

Optimizing CPS behavior in terms of energy consumption can have a significant impact on system reliability. The environment influences the system's behavior, and neglecting the environmental behavior has an indirect negative impact on…

Software Engineering · Computer Science 2021-09-06 Reza Soltani , Eun-Young Kang , Juan Esteban Heredia Mena

Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technologies and science are enabling capability, adaptability,…

Logic in Computer Science · Computer Science 2018-10-17 Mario Lezoche , Hervé Panetto

Through the continued progress and advances of networking technology and also through efforts like Industry 4.0, SmartGrid, SmartCities, systems, that have been self-sustaining for the most part are now forming networked Cyber-physical…

Cryptography and Security · Computer Science 2016-09-22 Christoph Ponikwar

Cyber Physical Systems (CPS) are becoming ubiquitous and affect the physical world, yet security is seldom at the forefront of their design. This is especially true of robotic control algorithms which seldom consider the effect of a cyber…

Robotics · Computer Science 2018-03-07 Alexander Ivanov , Mark Campbell

Cyber-physical systems (CPS) with reinforcement learning (RL)-based controllers are increasingly being deployed in complex physical environments such as autonomous vehicles, the Internet-of-Things(IoT), and smart cities. An important…

Systems and Control · Electrical Eng. & Systems 2024-06-26 Changjian Zhang , Parv Kapoor , Eunsuk Kang , Romulo Meira-Goes , David Garlan , Akila Ganlath , Shatadal Mishra , Nejib Ammar

Increased interconnectivity of Cyber-Physical Systems, by design or otherwise, increases the cyber attack surface and attack vectors. Observing the effects of these attacks is helpful in detecting them. In this paper, we show that many…

Cryptography and Security · Computer Science 2019-03-25 Suresh K. Damodaran , Paul D. Rowe

Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity…

Software Engineering · Computer Science 2017-05-02 Carna Radojicic , Christoph Grimm , Axel Jantsch , Michael Rathmair

A safety verification task involves verifying a system against a desired safety property under certain assumptions about the environment. However, these environmental assumptions may occasionally be violated due to modeling errors or…

Systems and Control · Electrical Eng. & Systems 2023-06-05 Rômulo Meira-Góes , Ian Dardik , Eunsuk Kang , Stéphane Lafortune , Stavros Tripakis

Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We…

Software Engineering · Computer Science 2024-08-20 Claudio Mandrioli , Seung Yeob Shin , Martina Maggio , Domenico Bianculli , Lionel Briand

The issue of confidence factors in Knowledge Based Systems has become increasingly important and Dempster-Shafer (DS) theory has become increasingly popular as a basis for these factors. This paper discusses the need for an empirical…

Artificial Intelligence · Computer Science 2013-04-15 John F. Lemmer

Simulation tools and testbeds have been proposed to assess the performance of control designs and wireless protocols in isolation. A cyber-physical system (CPS), however, integrates control with network elements, which must be evaluated…

Networking and Internet Architecture · Computer Science 2021-04-19 Dominik Baumann , Fabian Mager , Harsoveet Singh , Marco Zimmerling , Sebastian Trimpe

This research leverages Conformal Prediction (CP) in the form of Conformal Predictive Systems (CPS) to accurately estimate uncertainty in a suite of machine learning (ML)-based radio metric models [1] as well as in a 2-D map-based ML path…

Machine Learning · Computer Science 2025-01-14 Alexis Bose , Jonathan Ethier , Ryan G. Dempsey , Yifeng Qiu

Cyber Physical Systems (CPS) are the conjoining of an entities' physical and computational elements. The development of a typical CPS system follows a sequence from conceptual modeling, testing in simulated (virtual) worlds, testing in…

Computers and Society · Computer Science 2014-08-05 Vijay Gadepally , Ashok Krishnamurthy , Umit Ozguner

Decoherence of a quantum system (which then starts to display classical features) results from the interaction of the system with the environment, and is well described in the framework of the theory of continuous quantum measurements…

Quantum Physics · Physics 2010-12-17 Michael B. Mensky