中文
相关论文

相关论文: Dronology: An Incubator for Cyber-Physical System …

200 篇论文

Failures in safety-critical Cyber-Physical Systems (CPS), both software and hardware-related, can lead to severe incidents impacting physical infrastructure or even harming humans. As a result, extensive simulations and field tests need to…

软件工程 · 计算机科学 2025-01-28 Ankit Agrawal , Philipp Zech , Michael Vierhauser

Unmanned Aerial Vehicles (UAVs) have recently rapidly grown to facilitate a wide range of innovative applications that can fundamentally change the way cyber-physical systems (CPSs) are designed. CPSs are a modern generation of systems with…

Cyber-Physical Systems (CPS) have the promise of presenting the next evolution in computing with potential applications that include aerospace, transportation, robotics, and various automation systems. These applications motivate advances…

系统与控制 · 计算机科学 2014-05-09 Ahmed Saeed , Azin Neishaboori , Amr Mohamed , Khaled Harras

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…

计算机科学中的逻辑 · 计算机科学 2020-03-10 Adnan Rashid , Umair Siddique , Sofiene Tahar

Cyber-Physical Systems (CPS) revolutionize various application domains with integration and interoperability of networking, computing systems, and mechanical devices. Due to its scale and variety, CPS faces a number of challenges and opens…

网络与互联网体系结构 · 计算机科学 2017-01-09 Pradeeban Kathiravelu , Luís Veiga

Several sources of uncertainty have to be taken into account in the analysis and design of CPS. The set of parameters used in the model of the physical plant of a CPS may be uncertain due, for example, to manufacturing processes that are…

系统与控制 · 电气工程与系统科学 2023-08-02 Alessandro Pinto

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

Diverse applications have witnessed the prevalence of unmanned aerial vehicles (UAVs) due to their agility and versatility. Compared with computation and control, the communication tends to be the bottleneck of the whole UAV system. Cyber…

信号处理 · 电气工程与系统科学 2020-05-14 Haijun Wang , Haitao Zhao , Dongtang Ma , Jibo Wei

Cyber-Physical Systems (CPS) often leverage Reinforcement Learning (RL) techniques to adapt dynamically to changing environments and optimize performance. However, it is challenging to construct safety cases for RL components. We therefore…

软件工程 · 计算机科学 2025-03-13 Katherine Dearstyne , Pedro , Alarcon Granadeno , Theodore Chambers , Jane Cleland-Huang

Remote sample recovery is a rapidly evolving application of Small Unmanned Aircraft Systems (sUAS) for planetary sciences and space exploration. Development of cyber-physical systems (CPS) for autonomous deployment and recovery of sensor…

机器人学 · 计算机科学 2021-03-17 Darwin Mick , K. Srikar Siddarth , Swastik Nandan , Harish Anand , Stephen A. Rees , Jnaneshwar Das

The rapid evolution of Cyber-Physical Systems (CPS) across various domains like mobility systems, networked control systems, sustainable manufacturing, smart power grids, and the Internet of Things necessitates innovative solutions that…

最优化与控制 · 数学 2024-06-25 Andreas A. Malikopoulos

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…

软件工程 · 计算机科学 2024-05-07 Daniel Schneider , Jan Reich , Rasmus Adler , Peter Liggesmeyer

Cyber physical systems CPSs embodies the conception as well as the implementation of the integration of the state-of-art technologies in sensing, communication, computing, and control. Such systems incorporate new trends such as cloud…

计算机与社会 · 计算机科学 2018-02-15 Walid Gomaa

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

Through the continued progress and advances of networking technology and also through efforts like Industry 4.0, SmartGrid, SmartCities, systems, that have been self-sustaining for the most part are now forming networked Cyber-physical…

密码学与安全 · 计算机科学 2016-09-22 Christoph Ponikwar

Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical, as system failure can cause serious damage to property and…

分布式、并行与集群计算 · 计算机科学 2021-08-31 Richárd Szabó , András Vörös

Cyber-Physical Systems (CPS) operate in dynamic environments, leading to different types of uncertainty. This work provides a comprehensive review of uncertainty representations and categorizes them based on the dimensions used to represent…

系统与控制 · 电气工程与系统科学 2025-04-01 Johannes Mäkelburg , Diego Perez-Palacin , Raffaela Mirandola , Maribel Acosta

Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We…

软件工程 · 计算机科学 2024-08-20 Claudio Mandrioli , Seung Yeob Shin , Martina Maggio , Domenico Bianculli , Lionel Briand

A challenge is to develop cyber-physical system scenarios that reflect the diversity and complexity of real-life cyber-physical systems in the research questions that they address. Time-bounded collaborative events, such as hackathons, jams…

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and…

机器学习 · 计算机科学 2021-10-15 Anthony Corso , Robert J. Moss , Mark Koren , Ritchie Lee , Mykel J. Kochenderfer
‹ 上一页 1 2 3 10 下一页 ›