English
Related papers

Related papers: Towards Learning and Verifying Invariants of Cyber…

200 papers

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

The paper carries out a review of the main functional aspects of an electro-energetic system, principles which lead to an evolution or even to a paradigm change the the control of such complex systems. The repositioning of the physical and…

Systems and Control · Computer Science 2014-06-11 N. Arghira , I. Fagarasan , G. Stamatescu , S. St. Iliescu , I. Stamatescu , V. Calofir

Reconfiguration demand is increasing due to frequent requirement changes for manufacturing systems. Recent approaches aim at investigating feasible configuration alternatives from which they select the optimal one. This relies on processes…

Machine Learning · Computer Science 2021-06-01 Benjamin Maschler , Timo Müller , Andreas Löcklin , Michael Weyrich

An appropriate system model gives developers a better overview, and the ability to fix more inconsistencies more effectively and earlier in system development, reducing overall effort and cost. However, modelling assumes abstraction of…

Software Engineering · Computer Science 2014-05-01 Maria Spichkova , Heinrich Schmidt , Ian Peake

Smart cities must integrate a number of interdependent cyber-physical systems that operate in a coordinated manner to improve the well-being of the city's residents. A cyber-physical system (CPS) is a system of computational elements…

Computer Science and Game Theory · Computer Science 2017-07-18 Aidin Ferdowsi , Walid Saad , Behrouz Maham , Narayan B. Mandayam

One of the main challenges in integrating Cyber-Physical System-of-Systems (CPSoS) to function as a single unified system is the autonomy of its Cyber-Physical Systems (CPSs), which may lead to a lack of coordination among CPSs and results…

Software Engineering · Computer Science 2020-10-30 Mohamad Gharib , Paolo Lollini , Andrea Ceccarelli , Andrea Bondavalli

Vast investments have recently been made worldwide in developing the Cyber-Physical System (CPS) technology with the expectations of improving economical and societal structures. However, great care must be paid to the CPS' complexity, the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-17 Bagula Antoine , Tuyishimire Emmanuel , Ajayi Olasupo

Cyber-physical systems (CPS) have been broadly deployed in safety-critical domains, such as automotive systems, avionics, medical devices, etc. In recent years, Artificial Intelligence (AI) has been increasingly adopted to control CPS.…

Software Engineering · Computer Science 2022-04-20 Jiayang Song , Deyun Lyu , Zhenya Zhang , Zhijie Wang , Tianyi Zhang , Lei Ma

The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and…

Software Engineering · Computer Science 2016-01-26 Maria Spichkova , Anna Zamansky , Eitan Farchi

Cyber-physical systems (CPSs) are man-made complex systems coupled with natural processes that, as a whole, should be described by distributed parameter systems (DPSs) in general forms. This paper presents three such general models for…

Classical Analysis and ODEs · Mathematics 2015-09-16 Fudong Ge , YangQuan Chen , Chunhai Kou

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…

Cryptography and Security · Computer Science 2020-05-29 Ashraf Tantawy , Abdelkarim Erradi , Sherif Abdelwahed , Khaled Shaban

The integration of machine learning (ML) in cyber physical systems (CPS) is a complex task due to the challenges that arise in terms of real-time decision making, safety, reliability, device heterogeneity, and data privacy. There are also…

Being capable of sensing and behavioral adaptation in line with their changing environments, cognitive cyber-physical systems (CCPSs) are the new form of applications in future wireless networks. With the advancement of the machine learning…

Systems and Control · Electrical Eng. & Systems 2021-01-08 Mehmet Özgün Demir , Ozan Alp Topal , Ali Emre Pusane , Guido Dartmann , Gerd Ascheid , Güneş Karabulut Kurt

In this paper, we investigate the control of a cyber-physical system (CPS) while accounting for its vulnerability to external attacks. We formulate a constrained stochastic problem with a robust constraint to ensure robust operation against…

Optimization and Control · Mathematics 2024-07-18 Nishanth Venkatesh , Aditya Dave , Ioannis Faros , Andreas A. Malikopoulos

Cyber-physical systems (CPS) with reinforcement learning (RL)-based controllers are increasingly being deployed in complex physical environments such as autonomous vehicles, the Internet-of-Things(IoT), and smart cities. An important…

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

Cyber-Physical Systems (CPS) integrate digital technologies with physical processes and are common in different domains and industries, such as robotic systems, autonomous vehicles or satellites. Debugging and verification of CPS software…

Software Engineering · Computer Science 2025-01-30 Pablo Valle

Critical and cyber-physical systems (CPS) that exist in large industries, such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous systems. They are complex because they are open,…

Software Engineering · Computer Science 2021-05-27 Abdelkader Khouass , Christian Attiogbé , Mohamed Messabihi

Attacks in cyber-physical systems (CPS) which manipulate sensor readings can cause enormous physical damage if undetected. Detection of attacks on sensors is crucial to mitigate this issue. We study supervised regression as a means to…

Artificial Intelligence · Computer Science 2018-05-01 Amin Ghafouri , Yevgeniy Vorobeychik , Xenofon Koutsoukos

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…

Machine Learning · Computer Science 2021-10-15 Anthony Corso , Robert J. Moss , Mark Koren , Ritchie Lee , Mykel J. Kochenderfer

Indoor monitoring of people at their homes has become a popular application in Smart Health. With the advances in Machine Learning and hardware for embedded devices, new distributed approaches for Cyber-Physical Systems (CPSs) are enabled.…

Computer Vision and Pattern Recognition · Computer Science 2020-10-08 Daniel Deniz , Francisco Barranco , Juan Isern , Eduardo Ros
‹ Prev 1 3 4 5 6 7 10 Next ›