English
Related papers

Related papers: Towards a Theory for Bio - Cyber Physical Systems …

200 papers

Cyber-Physical Systems (CPSs) combine software and physical components. These systems are widely applied in society within many domains, including the automotive, aerospace, railway, etc. Testing these systems is extremely challenging,…

Software Engineering · Computer Science 2021-01-15 Aitor Arrieta

For mixed-initiative control between cyber-physical systems (CPS) and its users, it is still an open question how machines can safely hand over control to humans. In this work, we propose a concept to provide technological support that uses…

Cyber Physical Systems (CPS) enable new kinds of applications as well as significant improvements of existing ones in numerous different application domains. A major trait of upcoming CPS is an increasing degree of automation up to the…

Software Engineering · Computer Science 2024-05-07 Daniel Schneider , Jan Reich , Rasmus Adler , Peter Liggesmeyer

In system analysis, conformance indicates that two systems simultaneously satisfy the same set of specifications of interest; thus, the results from analyzing one system automatically transfer to the other, or one system can safely replace…

Systems and Control · Electrical Eng. & Systems 2021-03-03 Yu Wang , Mojtaba Zarei , Borzoo Bonakdarpoor , Miroslav Pajic

Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insufficient for CPS. Resiliency shows potential in overcoming…

Cryptography and Security · Computer Science 2021-10-12 Cody Fleming , Carl Elks , Georgios Bakirtzis , Stephen C. Adams , Bryan Carter , Peter A. Beling , Barry Horowitz

Many important properties of cyber-physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabilistic fairness and sensitivity to modeling errors (i.e.,…

Logic in Computer Science · Computer Science 2019-08-07 Yu Wang , Mojtaba Zarei , Borzoo Bonakdarpour , Miroslav Pajic

We consider the problem of how to deploy a controller to a (networked) cyber-physical system (CPS). Controlling a CPS is an involved task, and synthesizing a controller to respect sensing, actuation, and communication constraints is only…

Systems and Control · Electrical Eng. & Systems 2020-09-30 Shih-Hao Tseng , James Anderson

The aim of this study is to present an overview of current research on modelling, evaluation, and optimization methods for improving the reliability of Cyber-Physical System (CPS). Three major modelling approaches, namely analytical,…

Systems and Control · Electrical Eng. & Systems 2025-03-17 Moslem Uddin , Huadong Mo , Daoyi Dong

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems behind critical infrastructure operations, such as water distribution networks, energy delivery systems, healthcare services, manufacturing systems, and…

Cryptography and Security · Computer Science 2021-09-29 Charalambos Konstantinou , George Stergiopoulos , Masood Parvania , Paulo Esteves-Verissimo

One of the main challenges in integrating Cyber-Physical System-of-Systems (CPSoS) to function as a single unified system is the autonomy of its Cyber-Physical Systems (CPSs), which may lead to a lack of coordination among CPSs and results…

Software Engineering · Computer Science 2020-10-30 Mohamad Gharib , Paolo Lollini , Andrea Ceccarelli , Andrea Bondavalli

Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In…

Logic in Computer Science · Computer Science 2019-09-17 Katherine Cordwell , André Platzer

Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transportation systems, to smart grid and smart cities, to health care…

Logic in Computer Science · Computer Science 2020-03-10 Adnan Rashid , Umair Siddique , Sofiene Tahar

In Cyber Physical Systems humans are often kept in the loop as operators and/or service users. Yet in many cases, humans and machines collaborate and provide services to each other. Research on service models and service composition for CPS…

Software Engineering · Computer Science 2021-07-28 Hargyo Tri Nugroho Ignatius , Rami Bahsoon

Embedded cyber-physical systems (CPS) are commonly built upon heterogeneous digital and analog integrated circuits, including sensors and actuators. Less common is their deployment on parallel, NoC based designs based on general purpose…

Other Computer Science · Computer Science 2019-10-15 Daniela Genius

The increasing prevalence of Cyber-Physical Systems and the Internet of Things (CPS-IoT) applications and Foundation Models are enabling new applications that leverage real-time control of the environment. For example, real-time control of…

Systems and Control · Electrical Eng. & Systems 2024-03-26 Hanqing Yang , Marie Siew , Carlee Joe-Wong

Cyber-physical systems (CPSs) facilitate the integration of physical entities and cyber infrastructures through the utilization of pervasive computational resources and communication units, leading to improved efficiency, automation, and…

Systems and Control · Electrical Eng. & Systems 2024-02-19 Zirui Liao , Jian Shi , Yuwei Zhang , Shaoping Wang , Zhiyong Sun

Vast investments have recently been made worldwide in developing the Cyber-Physical System (CPS) technology with the expectations of improving economical and societal structures. However, great care must be paid to the CPS' complexity, the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-17 Bagula Antoine , Tuyishimire Emmanuel , Ajayi Olasupo

Concerns for the resilience of Cyber-Physical Systems (CPS)s in critical infrastructure are growing. CPS integrate sensing, computation, control, and networking into physical objects and mission-critical services, connecting traditional…

Cryptography and Security · Computer Science 2024-05-20 Mariana Segovia-Ferreira , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

Human cognitive capacities and the needs of human-centric solutions for "Industry 5.0" make humans an indispensable component in Cyber-Physical Systems (CPSs), referred to as Human-Cyber-Physical Systems (HCPSs), where AI-powered…

Cryptography and Security · Computer Science 2023-01-18 Linan Huang , Quanyan Zhu

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