English
Related papers

Related papers: A Colonel Blotto Game for Interdependence-Aware Cy…

200 papers

Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked at every scale and can communicate with each other and with…

Logic in Computer Science · Computer Science 2023-06-22 L. Nenzi , E. Bartocci , L. Bortolussi , M. Loreti

This paper presents the cyber-physcial model of a computer-mediated control system that is a seamless, fully synergistic integration of the physical system and the cyber system, which provides a systematic framework for synthesis of…

Systems and Control · Electrical Eng. & Systems 2023-03-06 Lirong Huang

This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex tasks that are time-sensitive, in the presence of an adversary. The task is specified as a formula in metric interval…

Systems and Control · Electrical Eng. & Systems 2020-07-29 Luyao Niu , Bhaskar Ramasubramanian , Andrew Clark , Linda Bushnell , Radha Poovendran

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

Cyber-Physical systems (CPS) have complex lifecycles involving multiple stakeholders, and the transparency of both hardware and software components' supply chain is opaque at best. This raises concerns for stakeholders who may not trust…

Cryptography and Security · Computer Science 2021-12-06 Joshua Siegel , Gregory Falco

As technology advances, it is possible to process a lot of data, and as various elements in the city become diverse and complex, cities are becoming smart cities. One of the core systems of smart cities is Cooperative-Intelligent Transport…

Cryptography and Security · Computer Science 2022-12-22 Yongsik Kim , Jae Woong Choi , Hyo Sun Lee , Jeong Do Yoo , Haerin Kim , Junho Jang , Kibeom Park , Huy Kang Kim

This paper studies the performance and resilience of a cyber-physical control system (CPCS) with attack detection and reactive attack mitigation. It addresses the problem of deriving an optimal sequence of false data injection attacks that…

Cryptography and Security · Computer Science 2017-06-07 Subhash Lakshminarayana , Teo Zhan Teng , David K. Y. Yau , Rui Tan

The synthesis of technology and the medical industry has partly contributed to the increasing interest in Medical Cyber-Physical Systems (MCPS). While these systems provide benefits to patients and professionals, they also introduce new…

Cryptography and Security · Computer Science 2017-08-18 George Grispos , William Bradley Glisson , Kim-Kwang Raymond Choo

We present a resource-planning game for cyber-security of networked control systems (NCS). The NCS is assumed to be operating in closed-loop using a linear state-feedback $\mathcal{H}_2$ controller. A zero-sum, two-player Stackelberg game…

Optimization and Control · Mathematics 2022-08-26 Pratishtha Shukla , Lu An , Aranya Chakrabortty , Alexandra Duel-Hallen

Large-scale cyber-physical systems (CPS), such as railway control systems and smart grids, consist of geographically distributed subsystems that are connected via unreliable, asynchronous inter-region networks. Their scale and distribution…

Cryptography and Security · Computer Science 2025-11-20 Yifan Cai , Linh Thi Xuan Phan

This paper presents general strategies for cyber war gaming of Cyber-Physical Systems (CPSs) that are used for cyber security research at the U.S. Army Research Laboratory (ARL). Since Supervisory Control and Data Acquisition (SCADA) and…

Cryptography and Security · Computer Science 2017-08-25 E. J. M. Colbert , D. T. Sullivan , A Kott

Computing and technology have vastly changed since the introduction of firewall technology in 1988. The internet has grown from a simple network of networks to a cyber and physical entity that encompasses the entire planet. Cyber-physical…

Cryptography and Security · Computer Science 2019-08-13 J Ceasar Aguma , Bruce McMillin , Amelia Regan

Software rejuvenation has been proposed as a strategy to protect cyber-physical systems (CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh the system periodically with a secure and trusted copy of the…

Systems and Control · Computer Science 2018-10-25 Raffaele Romagnoli , Bruce H. Krogh , Bruno Sinopoli

The ongoing integration of renewable generation and distributed energy resources introduces new challenges to distribution network operation. Due to the increasing volatility and uncertainty, distribution system operators (DSOs) are seeking…

Systems and Control · Electrical Eng. & Systems 2023-02-15 Nils Müller , Zeeshan Afzal , Per Eliasson , Mathias Ekstedt , Kai Heussen

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

This paper examines the potential for Cyber-Physical Systems (CPS) to be governed in a decentralised manner, whereby blockchain-based infrastructure facilitates the communication between digital and physical domains through self-governing…

Computers and Society · Computer Science 2024-07-19 Kelsie Nabben , Hongyang Wang , Michael Zargham

In this paper, we study the strategic allocation of limited resources using a Colonel Blotto game (CBG) under a dynamic setting and analyze the problem using an online learning approach. In this model, one of the players is a learner who…

Machine Learning · Computer Science 2023-09-13 Vincent Leon , S. Rasoul Etesami

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

A system relying on the collective behavior of decision-makers can be vulnerable to a variety of adversarial attacks. How well can a system operator protect performance in the face of these risks? We frame this question in the context of…

Systems and Control · Electrical Eng. & Systems 2024-09-23 Keith Paarporn , Mahnoosh Alizadeh , Jason R. Marden

Critical infrastructure protection (CIP) is envisioned to be one of the most challenging security problems in the coming decade. One key challenge in CIP is the ability to allocate resources, either personnel or cyber, to critical…

Cryptography and Security · Computer Science 2017-02-22 AbdelRahman Eldosouky , Walid Saad , Charles Kamhoua , and Kevin Kwiat
‹ Prev 1 8 9 10 Next ›