English
Related papers

Related papers: Translating Cyber-Physical Control Application Req…

200 papers

The verification and validation of cyber-physical systems is known to be a difficult problem due to the different modeling abstractions used for control components and for software components. A recent trend to address this difficulty is to…

Logic in Computer Science · Computer Science 2010-10-28 Pritam Roy , Paulo Tabuada , Rupak Majumdar

Mission-critical operations of highly maneuverable Remotely Piloted Aircraft Systems (RPAS) require reliable communication to ensure safe integration into existing airspace. Understanding system-level performance under stochastic…

Systems and Control · Electrical Eng. & Systems 2026-04-06 Yutian Pang , Andrew Paul Kendall , John-Paul Clarke

Most of the recent advances in the design of high-speed wireless systems are based on information-theoretic principles that demonstrate how to efficiently transmit long data packets. However, the upcoming wireless systems, notably the 5G…

Information Theory · Computer Science 2016-03-02 Giuseppe Durisi , Tobias Koch , Petar Popovski

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

Much of the current theory of networked control systems uses simple point-to-point communication models as an abstraction of the underlying network. As a result, the controller has very limited information on the network conditions and…

Systems and Control · Computer Science 2011-03-29 Phoebus Chen , Chithrupa Ramesh , Karl H. Johansson

Enforcing security requirements in networked information systems relies on security controls to mitigate the risks from increasingly dangerous threats. Configuring security controls is challenging; even nowadays, administrators must perform…

Cryptography and Security · Computer Science 2025-01-14 Cataldo Basile , Gabriele Gatti , Francesco Settanni

The paper focuses on the design of a control strategy for safety-critical remote teleoperation. The main goal is to make the controlled system track the desired velocity specified by an operator while avoiding obstacles despite…

Systems and Control · Electrical Eng. & Systems 2024-09-21 Riccardo Periotto , Mina Ferizbegovic , Fernando S. Barbosa , Roberto C. Sundin

Many cyber-physical systems can naturally be formulated as switched systems with constrained switching. This includes systems where one of the signals in the feedback loop may be lost. Possible sources for losses are shared or unreliable…

Systems and Control · Electrical Eng. & Systems 2024-11-14 Simon Lang , Marc Seidel , Frank Allgöwer

Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication resources are shared by a multitude of applications. Such `cyber-physical cloud computing platforms' present…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-03 Gabor Karsai , Daniel Balasubramanian , Abhishek Dubey , William R. Otte

Wireless sensor networks have profound effects on many application fields like security management which need an immediate and fast system reaction. Indeed, the monitoring of a dangerous product warehouse is a major issue in chemical…

Networking and Internet Architecture · Computer Science 2015-01-07 Ahmed Zouinkhi , Kais Mekki , Mohamed Naceur Abdelkrim

The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and…

Optimization and Control · Mathematics 2016-11-22 Majid Zamani , Manuel Mazo , Mahmoud Khaled , Alessandro Abate

Location information is often used as a proxy to infer the performance of a wireless communication link. Using a very simple model, this letter unveils a basic statistical relation between the location estimation uncertainty and wireless…

Information Theory · Computer Science 2022-03-29 Tobias Kallehauge , Pablo Ramírez-Espinosa , Kimmo Kansanen , Henk Wymeersch , Petar Popovski

With the rapid development of Internet-of-Things (IoT) technology and machine-type communications, various emerging applications appear in industrial productions and our daily lives. Among these, applications like industrial sensing and…

Information Theory · Computer Science 2022-11-17 Yan Li , Yunquan Dong , Pingyi Fan , Khaled Ben Letaief

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…

Systems and Control · Electrical Eng. & Systems 2020-09-30 Shih-Hao Tseng , James Anderson

Existing network simulations often rely on simplistic models that send packets at random intervals, failing to capture the critical role of application-level behaviour. This paper presents a statistical approach that extracts and models…

Networking and Internet Architecture · Computer Science 2025-02-04 Murugaraj Odiathevar , Kim Chung Yup

Considering real physical (MAC/PHY) traces inside network simulations is a complex task that might lead to complex yet approximated models. However, realistic cross-layer analysis with the upper layer and in particular the transport layer…

Networking and Internet Architecture · Computer Science 2012-06-26 N. Kuhn , E. Lochin , J. Lacan , R. Boreli , C. Bes , L. Clarac

Network protocols are programs with inputs and outputs that follow predefined communication patterns to synchronize and exchange information. There are many protocols and each serves a different purpose, e.g., routing, transport, secure…

Cryptography and Security · Computer Science 2025-11-04 Max von Hippel

Wireless sensor-actuator networks (WSANs) are gaining momentum in industrial process automation as a communication infrastructure for lowering deployment and maintenance costs. In traditional wireless control systems the plant controller…

Systems and Control · Computer Science 2017-05-05 Yehan Ma , Dolvara Gunatilaka , Bo Li , Humberto Gonzalez , Chenyang Lu

Reliability prediction is crucial for ensuring the safety and security of software systems, especially in the context of industry practices. While various metrics and measurements are employed to assess software reliability, the complexity…

Software Engineering · Computer Science 2025-07-29 Dapeng Yan , Wenjie Yang , Kui Liu , Zhiming Liu , Zhikuang Cai

Ensuring ultra-reliable and low-latency communication (URLLC) for 5G wireless networks and beyond is of capital importance and is currently receiving tremendous attention in academia and industry. At its core, URLLC mandates a departure…

Information Theory · Computer Science 2018-08-24 Mehdi Bennis , Mérouane Debbah , H. Vincent Poor