中文
相关论文

相关论文: AAAI Workshop on AI Planning for Cyber-Physical Sy…

200 篇论文

Principles of modern cyber-physical system (CPS) analysis are based on analytical methods that depend on whether safety or liveness requirements are considered. Complexity is abstracted through different techniques, ranging from stochastic…

分布式、并行与集群计算 · 计算机科学 2019-09-02 Eric M. S. P. Veith , Lars Fischer , Martin Tröschel , Astrid Nieße

Cyber-physical systems (CPS) have been broadly deployed in safety-critical domains, such as automotive systems, avionics, medical devices, etc. In recent years, Artificial Intelligence (AI) has been increasingly adopted to control CPS.…

软件工程 · 计算机科学 2022-04-20 Jiayang Song , Deyun Lyu , Zhenya Zhang , Zhijie Wang , Tianyi Zhang , Lei Ma

Recent advancements in technology have led to the emergence of Cyber-Physical Systems (CPS), which seamlessly integrate the cyber and physical domains in various sectors such as agriculture, autonomous systems, and healthcare. This…

信号处理 · 电气工程与系统科学 2024-05-13 Rahul Umesh Mhapsekar , Muhammad Iftikhar Umrani , Malik Faizan , Omer Ali , Lizy Abraham

In Industry 4.0, Cyber-Physical Systems (CPS) generate vast data sets that can be leveraged by Artificial Intelligence (AI) for applications including predictive maintenance and production planning. However, despite the demonstrated…

人工智能 · 计算机科学 2024-12-18 Alexander Windmann , Philipp Wittenberg , Marvin Schieseck , Oliver Niggemann

The increasing integration of AI agents into cyber-physical systems (CPS) introduces new security risks that extend beyond traditional cyber or physical threat models. Recent advances in generative AI enable deepfake and semantic…

密码学与安全 · 计算机科学 2026-01-29 Mohsen Hatami , Van Tuan Pham , Hozefa Lakadawala , Yu Chen

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

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

The workshop will focus on the application of artificial intelligence to problems in cyber security. AICS 2020 emphasis will be on human-machine teaming within the context of cyber security problems and will specifically explore…

密码学与安全 · 计算机科学 2020-06-12 Dennis Ross , Arunesh Sinha , Diane Staheli , Bill Streilein

The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik, Iceland. The…

系统与控制 · 计算机科学 2016-12-14 Mehdi Kargahi , Ashutosh Trivedi

The workshop will focus on the application of AI to problems in cyber security. Cyber systems generate large volumes of data, utilizing this effectively is beyond human capabilities. Additionally, adversaries continue to develop new…

This paper presents the cognitive module of the cognitive architecture for artificial intelligence (CAAI) in cyber-physical production systems (CPPS). The goal of this architecture is to reduce the implementation effort of artificial…

Creative Problem Solving (CPS) is a sub-area within Artificial Intelligence (AI) that focuses on methods for solving off-nominal, or anomalous problems in autonomous systems. Despite many advancements in planning and learning, resolving…

人工智能 · 计算机科学 2022-12-15 Evana Gizzi , Lakshmi Nair , Sonia Chernova , Jivko Sinapov

Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neurosymbolic paradigm replaces stochastic layers with…

软件工程 · 计算机科学 2025-06-03 Xi Zheng , Ziyang Li , Ivan Ruchkin , Ruzica Piskac , Miroslav Pajic

Cyber-Physical Systems (CPS) integrate digital technologies with physical processes and are common in different domains and industries, such as robotic systems, autonomous vehicles or satellites. Debugging and verification of CPS software…

软件工程 · 计算机科学 2025-01-30 Pablo Valle

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…

计算机与社会 · 计算机科学 2014-08-05 Vijay Gadepally , Ashok Krishnamurthy , Umit Ozguner

In the world of Cyber-Physical Systems (CPS), a captivating real-time fusion occurs where digital technology meets the physical world. This synergy has been significantly transformed by the integration of artificial intelligence (AI), a…

软件工程 · 计算机科学 2025-10-02 Hadiza Umar Yusuf , Khouloud Gaaloul

This community paper developed out of the NSF Workshop on the Future of Artificial Intelligence (AI) and the Mathematical and Physics Sciences (MPS), which was held in March 2025 with the goal of understanding how the MPS domains…

人工智能 · 计算机科学 2026-03-17 Andrew Ferguson , Marisa LaFleur , Lars Ruthotto , Jesse Thaler , Yuan-Sen Ting , Pratyush Tiwary , Soledad Villar , E. Paulo Alves , Jeremy Avigad , Simon Billinge , Camille Bilodeau , Keith Brown , Emmanuel Candes , Arghya Chattopadhyay , Bingqing Cheng , Jonathan Clausen , Connor Coley , Andrew Connolly , Fred Daum , Sijia Dong , Chrisy Xiyu Du , Cora Dvorkin , Cristiano Fanelli , Eric B. Ford , Luis Manuel Frutos , Nicolás García Trillos , Cecilia Garraffo , Robert Ghrist , Rafael Gomez-Bombarelli , Gianluca Guadagni , Sreelekha Guggilam , Sergei Gukov , Juan B. Gutiérrez , Salman Habib , Johannes Hachmann , Boris Hanin , Philip Harris , Murray Holland , Elizabeth Holm , Hsin-Yuan Huang , Shih-Chieh Hsu , Nick Jackson , Olexandr Isayev , Heng Ji , Aggelos Katsaggelos , Jeremy Kepner , Yannis Kevrekidis , Michelle Kuchera , J. Nathan Kutz , Branislava Lalic , Ann Lee , Matt LeBlanc , Josiah Lim , Rebecca Lindsey , Yongmin Liu , Peter Y. Lu , Sudhir Malik , Vuk Mandic , Vidya Manian , Emeka P. Mazi , Pankaj Mehta , Peter Melchior , Brice Ménard , Jennifer Ngadiuba , Stella Offner , Elsa Olivetti , Shyue Ping Ong , Christopher Rackauckas , Philippe Rigollet , Chad Risko , Philip Romero , Grant Rotskoff , Brett Savoie , Uros Seljak , David Shih , Gary Shiu , Dima Shlyakhtenko , Eva Silverstein , Taylor Sparks , Thomas Strohmer , Christopher Stubbs , Stephen Thomas , Suriyanarayanan Vaikuntanathan , Rene Vidal , Francisco Villaescusa-Navarro , Gregory Voth , Benjamin Wandelt , Rachel Ward , Melanie Weber , Risa Wechsler , Stephen Whitelam , Olaf Wiest , Mike Williams , Zhuoran Yang , Yaroslava G. Yingling , Bin Yu , Shuwen Yue , Ann Zabludoff , Huimin Zhao , Tong Zhang

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

Cyber-physical systems (CPS), in most instances, represent systems of systems with an informationally decentralized structure such as emerging mobility systems, networked control systems, sustainable manufacturing, smart power grids, power…

最优化与控制 · 数学 2024-05-15 Andreas Malikopoulos

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…

密码学与安全 · 计算机科学 2024-09-17 Asila AlHarmali , Saqib Ali , Waqas Aman , Omar Hussain
‹ 上一页 1 2 3 10 下一页 ›