English
Related papers

Related papers: AAAI Workshop on AI Planning for Cyber-Physical Sy…

200 papers

Manufacturing of products, nowadays, due to the advances in Information Technologies (IT) that turn products into smart devices, and the evolution in device connectivity, becomes increasingly complex. Connected product networks (CPN) and…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-15 Sebastian Scholze , Rebecca Siafaka , Kevin Nagorny , Albert Zilverberg , Karl Krone

This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). The seminar was concerned with the challenge that for future Cyber-Physical Systems (CPS), it will…

Software Engineering · Computer Science 2019-04-29 Joel Greenyer , Malte Lochau , Thomas Vogel

The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification. The particular focus of my research is the early validation…

Logic in Computer Science · Computer Science 2025-02-14 Ondřej Vašíček

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…

Industrial inspection automation in aerospace presents numerous challenges due to the dynamic, information-rich and regulated aspects of the domain. To diagnose the condition of an aircraft component, expert inspectors rely on a significant…

Human-Computer Interaction · Computer Science 2021-01-15 Garrick Cabour , Élise Ledoux , Samuel Bassetto

This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13,…

Artificial Intelligence · Computer Science 2024-10-29 Anil Nerode , Yanhong A. Liu

Neuroscience and Artificial Intelligence (AI) have made impressive progress in recent years but remain only loosely interconnected. Based on a workshop convened by the National Science Foundation in August 2025, we identify three…

The CSSI 2019 workshop was held on October 28-29, 2019, in Austin, Texas. The main objectives of this workshop were to (1) understand the impact of the CSSI program on the community over the last 9 years, (2) engage workshop participants in…

Teams can outperform individuals; could adding AI teammates further bolster performance of teams solving problems collaboratively? Collaborative problem solving (CPS) research commonly studies teams with two agents (human-human or…

Human-Computer Interaction · Computer Science 2024-10-23 Nikita Haduong , Irene Wang , Bo-Ru Lu , Prithviraj Ammanabrolu , Noah A. Smith

With the exponential growth of cyber-physical systems (CPS), new security challenges have emerged. Various vulnerabilities, threats, attacks, and controls have been introduced for the new generation of CPS. However, there lack a systematic…

Cryptography and Security · Computer Science 2017-01-18 Abdulmalik Humayed , Jingqiang Lin , Fengjun Li , Bo Luo

Humanoid robots will be able to assist humans in their daily life, in particular due to their versatile action capabilities. However, while these robots need a certain degree of autonomy to learn and explore, they also should respect…

Agile development processes and especially Scrum are changing the state of the practice in software development. Many companies in the classical IT sector have adopted them to successfully tackle various challenges from the rapidly changing…

Software Engineering · Computer Science 2017-11-15 Stefan Wagner

Cyber-Physical Systems (CPSs) have been pervasive including smart grid, autonomous automobile systems, medical monitoring, process control systems, robotics systems, and automatic pilot avionics. As usually implemented on embedded devices,…

Machine Learning · Computer Science 2019-03-07 Xiaowei Xu

This paper presents a novel, structured decision support framework that systematically aligns diverse artificial intelligence (AI) agent architectures, reactive, cognitive, hybrid, and learning, with the comprehensive National Institute of…

Artificial Intelligence · Computer Science 2025-10-03 Masike Malatji

Most cyber-physical systems (CPS) encounter a large volume of data which is added to the system gradually in real time and not altogether in advance. In this paper, we provide a theoretical framework that yields optimal control strategies…

Optimization and Control · Mathematics 2022-12-21 Andreas A. Malikopoulos

Artificial intelligence (AI) has shown great promise for diagnostic imaging assessments. However, the application of AI to support medical diagnostics in clinical routine comes with many challenges. The algorithms should have high…

Computer Vision and Pattern Recognition · Computer Science 2020-08-17 Milda Pocevičiūtė , Gabriel Eilertsen , Claes Lundström

Cyber-physical systems are integrations of computation, networking, and physical processes. Due to the tight cyber-physical coupling and to the potentially disrupting consequences of failures, security here is one of the primary concerns.…

Systems and Control · Computer Science 2018-12-13 Yuriy Zacchia Lun , Alessandro D'Innocenzo , Ivano Malavolta , Maria Domenica Di Benedetto

In this work, we identify three considerations that are essential for realizing practical photonic AI systems at scale: (1) dynamic tensor operation support for modern models rather than only weight-static kernels, especially for…

In precision agriculture, integrating advanced technologies is crucial for optimizing plant growth and health monitoring. Cyber-physical system (CPS) platforms tailored to specific agricultural environments have emerged, but the diversity…

Systems and Control · Electrical Eng. & Systems 2024-10-10 Pawan Kumar , Hokeun Kim

This report summarizes the discussions and recommendations from the NSF Workshop on Algorithm-Hardware Co-design for Medical Applications, held on September 26-27, 2024, in Pittsburgh, PA. The workshop assembled an interdisciplinary cohort…

Emerging Technologies · Computer Science 2026-03-12 Peipei Zhou , Zheng Dong , Insup Lee , Aidong Zhang , Robert Dick , Majid Sarrafzadeh , Xiaodong Wu , Weisong Shi , Zhuoping Yang , Jingtong Hu , Yiyu Shi