English
Related papers

Related papers: Architectural Transformations and Emerging Verific…

200 papers

Ensuring correctness of timed behaviors in cyber-physical systems (CPS) using closed-loop verification is challenging due to the hybrid dynamics in both systems and environments. Simulink and Stateflow are tools for model-based design that…

Software Engineering · Computer Science 2019-11-01 Li Huang , Eun-Young Kang

The complexity of modern-day System-on-Chips (SoCs) is continually increasing, and it becomes increasingly challenging to deliver dependable and credible chips in a short time-to-market. Especially, in the case of test chips, where the aim…

Artificial Intelligence · Computer Science 2024-09-24 Hansa Mohanty , Deepak Narayan Gadde

Cyber Physical Systems are systems controlled or monitored by computer-based programs, tightly integrated networks, sensors, and actuators. Software development of CPS has become so difficult that it represents most of the cost of CPS…

Software Engineering · Computer Science 2019-11-26 Etienne Borde

Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks, environmental disruptions, and hardware or software…

In an era of exponential technological advancement, artificial intelligence (AI) has emerged as a transformative force in architecture, reshaping traditional design and construction practices. This article explores the multifaceted roles of…

Computers and Society · Computer Science 2025-08-01 Mustapha El Moussaoui

Datasets are essential to apply AI algorithms to Cyber Physical System (CPS) Security. Due to scarcity of real CPS datasets, researchers elected to generate their own datasets using either real or virtualized testbeds. However, unlike other…

Cryptography and Security · Computer Science 2022-08-18 Ashraf Tantawy

Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber security design process. It is necessary to automate or…

Cryptography and Security · Computer Science 2019-01-08 Robert Laddaga , Paul Robertson , Howard Shrobe , Dan Cerys , Prakash Manghwani , Patrik Meijer

The Cyber-Physical System (CPS) is considered to be the next generation of intelligent industrial automation systems that integrate computing, communication and control technologies. In CPS, the interoperability requirements between devices…

Software Engineering · Computer Science 2019-03-05 Su Zhang

There is a growing trend towards the convergence of cyber-physical systems (CPS) and social computing, which will lead to the emergence of smart communities composed of various objects (including both human individuals and physical things)…

Social and Information Networks · Computer Science 2012-01-04 Feng Xia , Jianhua Ma

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

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

Artificial intelligence (AI) has revolutionized human cognitive abilities and facilitated the development of new AI entities capable of interacting with humans in both physical and virtual environments. Despite the existence of virtual…

Human-Computer Interaction · Computer Science 2024-01-30 Zhenliang Zhang , Zeyu Zhang , Ziyuan Jiao , Yao Su , Hangxin Liu , Wei Wang , Song-Chun Zhu

Digital Twin in construction and the built environment have started to attract the attention of researchers and practitioners in recent times. Its anticipated value proposition is focussed on its capability of generating new understanding…

Computers and Society · Computer Science 2021-06-22 Dean Douglas , Graham Kelly , Mohamad Kassem

In an increasingly interconnected world, Cyber-Physical Systems (CPS) are essential to critical industries like healthcare, transportation, and manufacturing, merging physical processes with computational intelligence. However, the security…

Cryptography and Security · Computer Science 2026-04-07 Danial Abshari , Meera Sridhar

High performance but unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) controllers, are widely employed in cyber-physical systems (CPSs) to accomplish complex control missions. However, guaranteeing the safety…

Systems and Control · Electrical Eng. & Systems 2021-10-28 Bingzhuo Zhong , Abolfazl Lavaei , Hongpeng Cao , Majid Zamani , Marco Caccamo

Cyber-physical systems (CPS) are systems where a decision making (cyber/control) component is tightly integrated with a physical system (with sensing/actuation) to enable real-time monitoring and control. Recently, there has been…

Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogeneity induces complexity that makes CPSs challenging to model…

Formal Languages and Automata Theory · Computer Science 2021-09-01 Stéphane Kastenbaum , Benoît Boyer , Jean-Pierre Talpin

Cyber-physical production systems (CPPS) integrate physical and computational resources due to increasingly available sensors and processing power. This enables the usage of data, to create additional benefit, such as condition monitoring…

Computers and Society · Computer Science 2019-06-04 Andreas Bunte , Andreas Fischbach , Jan Strohschein , Thomas Bartz-Beielstein , Heide Faeskorn-Woyke , Oliver Niggemann

Cyber-physical systems (CPSs) are now widely deployed in many industrial domains, e.g., manufacturing systems and autonomous vehicles. To further enhance the capability and applicability of CPSs, there comes a recent trend from both…

Software Engineering · Computer Science 2023-05-09 Xuan Xie , Jiayang Song , Zhehua Zhou , Fuyuan Zhang , Lei Ma

Multi-agent cyberphysical systems enable new capabilities in efficiency, resilience, and security. The unique characteristics of these systems prompt a reevaluation of their security concepts, including their vulnerabilities, and mechanisms…