English
Related papers

Related papers: Towards formally analyzed Cyber-Physical Systems

200 papers

Cyber-Physical Systems (CPS) consist of distributed engineered environments where the monitoring and surveillance tasks are governed by tightly integrated computing, communication and control technologies. CPS are omnipresent in our…

Cryptography and Security · Computer Science 2019-11-11 Michel Barbeau , Georg Carle , Joaquin Garcia-Alfaro , Vicenç Torra

Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technologies and science are enabling capability, adaptability,…

Logic in Computer Science · Computer Science 2018-10-17 Mario Lezoche , Hervé Panetto

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 solve complex problems through their tight integration between the physical and computational components. Therefore, the reliability of a complex system is the most critical requirement for the cyber physical system…

Software Engineering · Computer Science 2020-10-13 Nazakat Ali , Manzoor Hussain , Youngjae Kim , Jang-Eui Hong

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

Cyberphysical systems (CPS) are ubiquitous in our personal and professional lives, and they promise to dramatically improve micro-communities (e.g., urban farms, hospitals), macro-communities (e.g., cities and metropolises), urban…

The built environment, as hallmark of modern society, has become one of the key drivers of energy demand. This makes for meaningful application of novel paradigms, such as cyber-physical systems, with large scale impact for both primary…

Systems and Control · Computer Science 2016-05-24 Grigore Stamatescu , Iulia Stamatescu , Nicoleta Arghira , Vasile Calofir , Ioana Fagarasan

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…

Logic in Computer Science · Computer Science 2020-03-10 Adnan Rashid , Umair Siddique , Sofiene Tahar

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 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…

Computers and Society · Computer Science 2018-02-15 Walid Gomaa

Cyber-physical systems (CPS) are interconnected architectures that employ analog, digital, and communication resources for their interaction with the physical environment. CPS are the backbone of enterprise, industrial, and critical…

Cryptography and Security · Computer Science 2021-02-22 Ioannis Zografopoulos , Juan Ospina , XiaoRui Liu , Charalambos Konstantinou

Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insufficient for CPS. Resiliency shows potential in overcoming…

Cryptography and Security · Computer Science 2021-10-12 Cody Fleming , Carl Elks , Georgios Bakirtzis , Stephen C. Adams , Bryan Carter , Peter A. Beling , Barry Horowitz

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

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems behind critical infrastructure operations, such as water distribution networks, energy delivery systems, healthcare services, manufacturing systems, and…

Cryptography and Security · Computer Science 2021-09-29 Charalambos Konstantinou , George Stergiopoulos , Masood Parvania , Paulo Esteves-Verissimo

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…

Cyber-Physical Systems (CPS) use computational resources to control physical process and provide critical services. For this reason, an attack in these systems may have dangerous consequences in the physical world. Hence, resilience is a…

Cryptography and Security · Computer Science 2020-09-16 Mariana Segovia , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

Cyber-Physical Systems (CPS) allow us to manipulate objects in the physical world by providing a communication bridge between computation and actuation elements. In the current scheme of things, this sought-after control is marred by…

Software Engineering · Computer Science 2020-07-29 Muhammad Atif , Siddique Latif , Rizwan Ahmad , Adnan Khalid Kiani , Junaid Qadir , Adeel Baig , Hisao Ishibuchi , Waseem Abbas

Cyber-physical technologies are prone to attacks, in addition to faults and failures. The issue of protecting cyber-physical systems should be tackled by jointly addressing security at both cyber and physical domains, in order to promptly…

Cryptography and Security · Computer Science 2018-02-08 Jose Rubio-Hernan , Rishikesh Sahay , Luca De Cicco , Joaquin Garcia-Alfaro
‹ Prev 1 2 3 10 Next ›