中文
相关论文

相关论文: Advanced Symbolic Time Series Analysis in Cyber Ph…

200 篇论文

Model-Based Anomaly Detection has been a successful approach to identify deviations from the expected behavior of Cyber-Physical Production Systems. Since manual creation of these models is a time-consuming process, it is advantageous to…

人工智能 · 计算机科学 2023-08-28 Tom Westermann , Milapji Singh Gill , Alexander Fay

Traditional techniques for Cyber-Physical Systems (CPS) security design either treat the cyber and physical systems independently, or do not address the specific vulnerabilities of real time embedded controllers and networks used to monitor…

密码学与安全 · 计算机科学 2020-05-29 Ashraf Tantawy , Abdelkarim Erradi , Sherif Abdelwahed , Khaled Shaban

Machine learning components such as deep neural networks are used extensively in Cyber-Physical Systems (CPS). However, they may introduce new types of hazards that can have disastrous consequences and need to be addressed for engineering…

机器学习 · 计算机科学 2020-04-21 Dimitrios Boursinos , Xenofon Koutsoukos

Embedded cyber-physical systems (CPS) are commonly built upon heterogeneous digital and analog integrated circuits, including sensors and actuators. Less common is their deployment on parallel, NoC based designs based on general purpose…

其他计算机科学 · 计算机科学 2019-10-15 Daniela Genius

Many important properties of cyber-physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabilistic fairness and sensitivity to modeling errors (i.e.,…

计算机科学中的逻辑 · 计算机科学 2019-08-07 Yu Wang , Mojtaba Zarei , Borzoo Bonakdarpour , Miroslav Pajic

The integration of cyber-physical systems (CPS) into everyday life raises the critical necessity of ensuring their safety and reliability. An important step in this direction is requirement mining, i.e. inferring formally specified system…

机器学习 · 计算机科学 2024-05-24 Gaia Saveri , Luca Bortolussi

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

In system analysis, conformance indicates that two systems simultaneously satisfy the same set of specifications of interest; thus, the results from analyzing one system automatically transfer to the other, or one system can safely replace…

系统与控制 · 电气工程与系统科学 2021-03-03 Yu Wang , Mojtaba Zarei , Borzoo Bonakdarpoor , Miroslav Pajic

Machine learning components such as deep neural networks are used extensively in Cyber-Physical Systems (CPS). However, such components may introduce new types of hazards that can have disastrous consequences and need to be addressed for…

机器学习 · 计算机科学 2021-10-08 Dimitrios Boursinos , Xenofon Koutsoukos

Cyber-physical systems (CPS) are systems that interact with the physical world via sensors and actuators. In such a system, the reading of a sensor represents measures of a physical quantity, and sensor values are often reals ranged over…

软件工程 · 计算机科学 2013-07-16 Chih-Hong Cheng , Edward A. Lee

Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are comprised of multiple coordinating and cooperating components, which are…

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

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

Anomaly detection for cyber-physical systems (ADCPS) is crucial in identifying faults and potential attacks by analyzing the time series of sensor measurements and actuator states. However, current methods lack adaptation to data…

密码学与安全 · 计算机科学 2025-04-08 Jiyu Tian , Mingchu Li , Liming Chen , Zumin Wang

Cyber-physical systems (CPS) integrate sensing, computing, communication and actuation capabilities to monitor and control operations in the physical environment. A key requirement of such systems is the need to provide predictable…

分布式、并行与集群计算 · 计算机科学 2016-07-29 Hyoseung Kim

Modeling and analysis of timing constraints is crucial in cyber-physical systems (CPS). EAST-ADL is an architectural language dedicated to safety-critical embedded system design. SIMULINK/STATEFLOW (S/S) is a widely used industrial tool for…

软件工程 · 计算机科学 2019-04-16 Li Huang , Eun-Young Kang

Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering…

软件工程 · 计算机科学 2020-04-14 Charles Hartsell , Nagabhushan Mahadevan , Harmon Nine , Ted Bapty , Abhishek Dubey , Gabor Karsai

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

The notion of Cyber-Physical-Social System (CPSS) is an emerging concept developed as a result of the need to understand the impact of Cyber-Physical Systems (CPS) on humans and vice versa. This paradigm shift from CPS to CPSS was mainly…

人工智能 · 计算机科学 2021-04-15 Bereket Abera Yilma , Hervé Panetto , Yannick Naudet

Cyber-physical systems (CPS) offer immense optimization potential for manufacturing processes through the availability of multivariate time series data of actors and sensors. Based on automated analysis software, the deployment of adaptive…

系统与控制 · 电气工程与系统科学 2024-01-17 Brandon K. Sai , Jonas Gram , Thomas Bauernhansl