中文
相关论文

相关论文: Architectural Transformations and Emerging Verific…

200 篇论文

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…

软件工程 · 计算机科学 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…

人工智能 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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)…

社会与信息网络 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

密码学与安全 · 计算机科学 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…

人机交互 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

形式语言与自动机理论 · 计算机科学 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…

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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 2023-11-14 Stephanie Gil , Michal Yemini , Arsenia Chorti , Angelia Nedić , H. Vincent Poor , Andrea J. Goldsmith