English
Related papers

Related papers: Software principles and concepts applied in the im…

200 papers

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Systems and Control · Electrical Eng. & Systems 2022-03-28 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Currently, CyberPhysical Systems (CPS) represents a great challenge for automatic control and smart systems engineering on both theoretical and practical levels. Designing CPS requires approaches involving multidisciplinary competences.…

Quantitative Methods · Quantitative Biology 2016-01-27 Didier Fass , Franck Gechter

Cyber Physical Systems are systems controlled or monitored by computer-based programs, tightly integrated networks, sensors, and actuators. Software development of CPS has become so difficult that it represents most of the cost of CPS…

Software Engineering · Computer Science 2019-11-26 Etienne Borde

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

Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently responsible for the safety of lives, property, or the environment, and so software…

Cyber-Physical Systems (CPSs) combine software and physical components. These systems are widely applied in society within many domains, including the automotive, aerospace, railway, etc. Testing these systems is extremely challenging,…

Software Engineering · Computer Science 2021-01-15 Aitor Arrieta

Access control is an issue of paramount importance in cyber-physical systems (CPS). In this paper, an access control scheme, namely FEAC, is presented for CPS. FEAC can not only provide the ability to control access to data in normal…

Networking and Internet Architecture · Computer Science 2012-01-04 Guowei Wu , Dongze Lu , Feng Xia , Lin Yao

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

With robots entering the world of Cyber Physical Systems (CPS), ordering the execution of allocated tasks during run-time becomes crucial. This is so because, in a real world, there can be several physical tasks that use shared resources…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-14 Tushar Semwal , Shashi Shekhar Jha , Shivashankar B. Nair

Cyber-Physical System (CPS) represents systems that join both hardware and software components to perform real-time services. Maintaining the system's reliability is critical to the continuous delivery of these services. However, the CPS…

Software Engineering · Computer Science 2023-11-10 Diaeddin Rimawi

Cyber-Physical Systems (CPSs) are increasingly important in critical areas of our society such as intelligent power grids, next generation mobile devices, and smart buildings. CPS operation has characteristics including considerable…

Cryptography and Security · Computer Science 2020-04-02 Jose Moura , David Hutchison

CPSs are widely used in all sorts of applications ranging from industrial automation to search-and-rescue. So far, in these applications they work either isolated with a high mobility or operate in a static networks setup. If mobile CPSs…

Networking and Internet Architecture · Computer Science 2020-02-19 Georg von Zengen , Jingjing Yu , Lars C. Wolf

Cyber-physical production systems (CPPS) integrate physical and computational resources due to increasingly available sensors and processing power. This enables the usage of data, to create additional benefit, such as condition monitoring…

Computers and Society · Computer Science 2019-06-04 Andreas Bunte , Andreas Fischbach , Jan Strohschein , Thomas Bartz-Beielstein , Heide Faeskorn-Woyke , Oliver Niggemann

The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik, Iceland. The…

Systems and Control · Computer Science 2016-12-14 Mehdi Kargahi , Ashutosh Trivedi

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

Traditional Cyber-physical Systems(CPSs) were not built with cybersecurity in mind. They operated on separate Operational Technology (OT) networks. As these systems now become more integrated with Information Technology (IT) networks based…

Cryptography and Security · Computer Science 2021-03-09 Ameerah-Muhsinah Jamil , Lotfi ben Othmane , Altaz Valani

Cyber-Physical Systems (CPS) play a crucial role in the era of the 4thIndustrial Revolution. Recently, the application of the CPS to industrial manufacturing leads to a specialization of them referred as Cyber-Physical Production Systems…

Artificial Intelligence · Computer Science 2020-11-24 Giuseppe Fenza , Mariacristina Gallo , Vincenzo Loia , Domenico Marinoand Francesco Orciuoli , Alberto Volpe

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

The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness,…

Systems and Control · Electrical Eng. & Systems 2024-03-27 Changjian Zhang , Parv Kapoor , Romulo Meira-Goes , David Garlan , Eunsuk Kang , Akila Ganlath , Shatadal Mishra , Nejib Ammar

When working at exascale, the various constraints imposed by the extreme scale of the system bring new challenges for application users and software/middleware developers. In that context, and to provide best performance, resiliency and…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-10-09 Jerome Soumagne , Philip H. Carns , Dries Kimpe , Quincey Koziol , Robert B. Ross