English
Related papers

Related papers: A Compositional Approach to Safety-Critical Resili…

200 papers

By using various sensors to measure the surroundings and sharing local sensor information with the surrounding vehicles through wireless networks, connected and automated vehicles (CAVs) are expected to increase safety, efficiency, and…

Systems and Control · Electrical Eng. & Systems 2021-03-02 Tianci Yang , Chen Lv

False alerts due to misconfigured/ compromised IDS in ICS networks can lead to severe economic and operational damage. To solve this problem, research has focused on leveraging deep learning techniques that help reduce false alerts.…

Artificial Intelligence · Computer Science 2022-03-14 Abhijeet Sahu , Katherine Davis

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…

In this work, we propose a compositional scheme for the safety controller synthesis of interconnected discrete-time stochastic systems with Markovian switching signals. Our proposed approach is based on a notion of so-called control storage…

Systems and Control · Electrical Eng. & Systems 2022-08-09 Abolfazl Lavaei , Emilio Frazzoli

Set-theoretic control is a useful technique for dealing with the uncertainty introduced into power systems by renewable energy resources. Although set operations are computationally expensive in large systems, distributed approaches serve…

Systems and Control · Electrical Eng. & Systems 2021-01-03 Daniel Tabas , Baosen Zhang

Cyber-physical systems, such as self-driving cars or autonomous aircraft, must defend against attacks that target sensor hardware. Analyzing system design can help engineers understand how a compromised sensor could impact the system's…

Cryptography and Security · Computer Science 2021-06-04 Jian Xiang , Nathan Fulton , Stephen Chong

Safe and compliant control of dynamic systems in interaction with the environment, e.g., in shared workspaces, continues to represent a major challenge. Mismatches in the dynamic model of the robots, numerical singularities, and the…

Robotics · Computer Science 2023-11-28 Carlo Tiseo , Wolfgang Merkt , Wouter Wolfslag , Sethu Vijayakumar , Michael Mistry

We consider the problem of how to deploy a controller to a (networked) cyber-physical system (CPS). Controlling a CPS is an involved task, and synthesizing a controller to respect sensing, actuation, and communication constraints is only…

Optimization and Control · Mathematics 2021-06-02 Shih-Hao Tseng , James Anderson

The increasing digitization and interconnection of legacy Industrial Control Systems (ICSs) open new vulnerability surfaces, exposing such systems to malicious attackers. Furthermore, since ICSs are often employed in critical…

Cryptography and Security · Computer Science 2021-07-06 Mauro Conti , Denis Donadel , Federico Turrin

The integration of synchronous generators and energy storage systems operated through communication networks introduces new challenges and vulnerabilities to the electric grid, where cyber attacks can corrupt sensor measurements or control…

Systems and Control · Electrical Eng. & Systems 2022-07-26 Jairo Giraldo , Masood Parvania

Maintaining safety under adaptation has long been considered to be an important capability for autonomous systems. As these systems estimate and change the ego-model of the system dynamics, questions regarding how to develop safety…

Robotics · Computer Science 2021-09-08 Charles Noren , Weiye Zhao , Changliu Liu

Multi-objective safety-critical control entails a diligent design to avoid possibly conflicting scenarios and ensure safety. This paper addresses multi-objective safety-critical control through a novel approach utilizing barrier states…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Hassan Almubarak , Nader Sadegh , Evangelos A. Theodorou

Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart of many safety-critical devices, it is of primary importance…

Logic in Computer Science · Computer Science 2019-07-09 Simon Lunel , Stefan Mitsch , Benoit Boyer , Jean-Pierre Talpin

We study the problem of defending a Cyber-Physical System (CPS) consisting of interdependent components with heterogeneous sensitivity to investments. In addition to the optimal allocation of limited security resources, we analyze the…

Systems and Control · Electrical Eng. & Systems 2023-02-13 Pradeep Sharma Oruganti , Parinaz Naghizadeh , Qadeer Ahmed

The system of connected vehicle to vehicle and vehicle to infrastructure can be considered as a wireless cyberphysical system of systems (Wireless CPSoS), which will be provided with the high ability of adaptive control on system of…

Systems and Control · Electrical Eng. & Systems 2020-06-09 Ali Bemani , Niclas Bjorsell

This paper aims at the safety-critical control synthesis of network systems such that the satisfaction of the safety constraints can be guaranteed. To handle the large state dimension of such systems, an assume-guarantee contract is used to…

Systems and Control · Electrical Eng. & Systems 2020-09-18 Yuxiao Chen , James Anderson , Karan Kalsi , Aaron D. Ames , Steven H. Low

In this paper, we study a safe control design for dynamical systems in the presence of uncertainty in a dynamical environment. The worst-case error approach is considered to formulate robust Control Barrier Functions (CBFs) in an…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Vahid Hamdipoor , Nader Meskin , Christos G. Cassandras

This paper proposes a vehicular platoon control approach under Denial-of-Service (DoS) attacks and external disturbances. DoS attacks increase the service time on the communication network and cause additional transmission delays, which…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Jian Gong , Carlos Murguia , Anggera Bayuwindra , Jinde Cao

Industrial Control Systems (ICS) encompassing resources for process automation are subjected to a wide variety of security threats. The threat landscape is arising due to increased adoption of Commercial-of-the-shelf (COTS) products as well…

Cryptography and Security · Computer Science 2015-10-08 Abhinav Biswas , Sukanya Karunakaran

Industrial Control Systems (ICSs) are complex interconnected systems used to manage process control within industrial environments, such as chemical processing plants and water treatment facilities. As the modern industrial environment…

Cryptography and Security · Computer Science 2025-09-30 Jaxson Brown , Duc-Son Pham , Sie-Teng Soh , Foad Motalebi , Sivaraman Eswaran , Mahathir Almashor
‹ Prev 1 3 4 5 6 7 10 Next ›