English
Related papers

Related papers: Towards Learning and Verifying Invariants of Cyber…

200 papers

Cyber-physical systems (CPS) consist of sensors, actuators, and controllers all communicating over a network; if any subset becomes compromised, an attacker could cause significant damage. With access to data logs and a model of the CPS,…

Software Engineering · Computer Science 2018-07-31 Yuqi Chen , Christopher M. Poskitt , Jun Sun

The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated the development of different attack detection mechanisms, such as those that monitor for violations of invariants, i.e. properties that always hold…

Cryptography and Security · Computer Science 2020-10-08 Cheah Huei Yoong , Venkata Reddy Palleti , Arlindo Silva , Christopher M. Poskitt

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…

Optimization and Control · Mathematics 2024-05-15 Andreas Malikopoulos

Over the past decade, industrial control systems have experienced a massive integration with information technologies. Industrial networks have undergone numerous technical transformations to protect operational and production processes,…

Cryptography and Security · Computer Science 2021-10-26 Riccardo Colelli , Filippo Magri , Stefano Panzieri , Federica Pascucci

Cyber-physical systems (CPSs) embed software into the physical world. They appear in a wide range of applications such as smart grids, robotics, intelligent manufacture and medical monitoring. CPSs have proved resistant to modeling due to…

Systems and Control · Computer Science 2019-10-28 Ye Yuan , Xiuchuan Tang , Wei Pan , Xiuting Li , Wei Zhou , Hai-Tao Zhang , Han Ding , Jorge Goncalves

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. As the volume of data increases, the domain of the control strategies also increases, and thus…

Optimization and Control · Mathematics 2022-11-29 Andreas A. Malikopoulos

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…

Systems and Control · Electrical Eng. & Systems 2024-02-19 Zirui Liao , Jian Shi , Yuwei Zhang , Shaoping Wang , Zhiyong Sun

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…

Cryptography and Security · Computer Science 2026-04-07 Danial Abshari , Meera Sridhar

The integration of cyber technologies (computing and communication) with the physical world gives rise to complex systems referred to as Cyber Physical Systems (CPS), for example, manufacturing, transportation, smart grid, and water…

Cryptography and Security · Computer Science 2020-04-08 Chuadhry Mujeeb Ahmed , Jianying Zhou

Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors and actuators, that can either be directly attached to the…

Logic in Computer Science · Computer Science 2018-03-09 Andre Metelo , Christiano Braga , Diego Brandão

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…

Cryptography and Security · Computer Science 2024-05-20 Mariana Segovia-Ferreira , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

Cyber Physical Systems (CPS) are characterized by their ability to integrate the physical and information or cyber worlds. Their deployment in critical infrastructure have demonstrated a potential to transform the world. However, harnessing…

Cryptography and Security · Computer Science 2021-02-16 Felix Olowononi , Danda B. Rawat , Chunmei Liu

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…

Systems and Control · Electrical Eng. & Systems 2023-08-02 Alessandro Pinto

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-09-02 Eric M. S. P. Veith , Lars Fischer , Martin Tröschel , Astrid Nieße

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-31 Richárd Szabó , András Vörös

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…

Computers and Society · Computer Science 2014-08-05 Vijay Gadepally , Ashok Krishnamurthy , Umit Ozguner

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…

Machine Learning · Computer Science 2020-04-21 Dimitrios Boursinos , Xenofon Koutsoukos

Cyber-Physical Systems (CPS) have gained popularity due to the increased requirements on their uninterrupted connectivity and process automation. Due to their connectivity over the network including intranet and internet, dependence on…

Cryptography and Security · Computer Science 2022-02-15 Danish Hudani , Muhammad Haseeb , Muhammad Taufiq , Muhammad Azmi Umer , Nandha Kumar Kandasamy

We discuss challenges to control systems engineering arising from the advent of cyber-physical systems (CPS). After discussing the terminology, general, IT-related issues are treated which need cooperation with computer science, in…

Software Engineering · Computer Science 2014-09-02 Stefan Kowalewski , Bernhard Rumpe , Andre Stollenwerk

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…

Optimization and Control · Mathematics 2024-06-25 Andreas A. Malikopoulos
‹ Prev 1 2 3 10 Next ›