中文
相关论文

相关论文: Translating Cyber-Physical Control Application Req…

200 篇论文

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…

计算机科学中的逻辑 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

信息论 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

系统与控制 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 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…

分布式、并行与集群计算 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

最优化与控制 · 数学 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…

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…

信息论 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

系统与控制 · 计算机科学 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…

软件工程 · 计算机科学 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…

信息论 · 计算机科学 2018-08-24 Mehdi Bennis , Mérouane Debbah , H. Vincent Poor