2025

最新文章

• Optimal Security Investment Problem for Secure State Estimation on Cyber-Physical Systems AI翻译
  作者：Shinohara, Takumi; Namerikawa, Toru
  作者单位：Keio University; Keio University
  摘要：In this article, we deal with the optimal security investment problem for secure state estimation on cyber-physical systems. Toward effective secure state estimation, we aim to determine an optimal security investment that maximizes cost-effectiveness between the cost of the countermeasures and the effect of reinforcing the system resilience. Specifically, for each sensor, we decide whether to take costly security-aware action or inexpensive nonsecurity-aware action. In this article, we call t...
• Coarse-Graining Complex Networks for Control Equivalence AI翻译
  作者：Toller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
  作者单位：Aalborg University; IMT School for Advanced Studies Lucca; Technical University of Denmark
  摘要：The ability to control complex networks is of crucial importance across a wide range of applications in natural and engineering sciences. However, issues of both theoretical and numerical nature introduce fundamental limitations to controlling large-scale networks. In this article, we cope with this problem by introducing a coarse-graining algorithm. It leads to an aggregated network which satisfies control equivalence, i.e., such that the optimal control values for the original network can be...
• Optimal Control of Logically Constrained Partially Observable and Multiagent Markov Decision Processes AI翻译
  作者：Kalagarla, Krishna C.; Kartik, Dhruva; Shen, Dongming; Jain, Rahul; Nayyar, Ashutosh; Nuzzo, Pierluigi
  作者单位：University of Southern California; University of New Mexico; Amazon.com; Massachusetts Institute of Technology (MIT)
  摘要：Autonomous systems often have logical constraints arising, for example, from safety, operational, or regulatory requirements. Such constraints can be expressed using temporal logic specifications. The system state is often partially observable. Moreover, it could encompass a team of multiple agents with a common objective but disparate information structures and constraints. In this article, we first introduce an optimal control theory for partially observable Markov decision processes with fi...
• Learning-Based Sparse Sensing With Performance Guarantees AI翻译
  作者：Vafaee, Reza; Siami, Milad
  作者单位：Northeastern University
  摘要：In this study, we address the challenge of sensor scheduling in discrete-time linear dynamical networks. We propose a novel learning-based rounding method aimed at converting a provided weighted sensor schedule into a sparse, unweighted schedule while preserving a comparable level of observability performance to the original weighted schedule. We introduce the notion of L-systemic performance measures, which enjoy characteristics such as homogeneity, monotonicity, convexity, and Lipschitz cont...
• On the Stability of the Logit Dynamics in Population Games AI翻译
  作者：Cianfanelli, Leonardo; Como, Giacomo
  作者单位：Polytechnic University of Turin; Lund University
  摘要：We analyze the stability of the logit evolutionary dynamics in population games, possibly with multiple heterogeneous populations. For general population games, we prove that, on the one hand, strict Nash equilibria are asymptotically stable under the logit dynamics for low enough noise levels, on the other hand, a globally exponentially stable logit equilibrium exists for sufficiently large noise levels. This suggests the emergence of bifurcations in population games admitting multiple strict...
• Uncover the Relation Between Consensus and Topology of Directed Network: The Minimum Node In-Degree of Directed Cycles AI翻译
  作者：Zhou, Jin; Dai, Qinrui; Lu, Jun-an; Lu, Jinhu
  作者单位：Wuhan University; Wuhan University; Beihang University; Zhongguancun Laboratory
  摘要：Directed networks widely exist in industrial, social, and natural networks, the consensus of which is characterized by the convergence rate. In this article, a quantitative analysis for the inhibitory effect of directed cycles on the consensus of directed network is provided. Specifically, directed cycle necessarily inhibits network consensus when there is at least one node with in-degree of 1 on the cycle, and the more the nodes with in-degree of 1, the greater the inhibition. The inhibition ...
• Real-Time Estimation of DoS Duration and Frequency for Security Control AI翻译
  作者：Sun, Yifan; Lu, Jianquan; Ho, Daniel W. C.; Li, Lulu
  作者单位：Southeast University - China; Southeast University - China; City University of Hong Kong
  摘要：In this article, we develop a new denial-of-service (DoS) estimator, enabling defenders to identify duration and frequency parameters of any DoS attacker, except for three edge cases, exclusively using real-time data. The key advantage of the estimator lies in its capability to facilitate security control in a wide range of practical scenarios, even when the attacker's information is previously unknown. We demonstrate the advantage and application of our new estimator in the context of two cla...
• Explicit Feedback Synthesis Driven by Quasi-Interpolation for Nonlinear Model Predictive Control AI翻译
  作者：Ganguly, Siddhartha; Chatterjee, Debasish
  作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Bombay
  摘要：In this article, we present quasi-interpolation-driven feedback synthesis (QuIFS): an offline feedback synthesis algorithm for explicit nonlinear robust minmax model predictive control (MPC) problems with guaranteed quality of approximation. The underlying technique is driven by a particular type of grid-based quasi-interpolation scheme. The QuIFS algorithm departs drastically from conventional approximation algorithms that are employed in the MPC industry (in particular, it is neither based o...
• Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition AI翻译
  作者：Siefert, Jacob A.; Bird, Trevor J.; Thompson, Andrew F.; Glunt, Jonah J.; Koeln, Justin P.; Jain, Neera; Pangborn, Herschel C.
  作者单位：Pennsylvania Commonwealth System of Higher Education (PCSHE); Pennsylvania State University; Pennsylvania State University - University Park; University of Texas System; University of Texas Dallas; Purdue University System; Purdue University; Purdue University in Indianapolis
  摘要：This article proposes methods for reachability analysis of nonlinear systems, including those in closed loop with nonlinear controllers such as neural networks. The methods combine hybrid zonotopes, a construct called a state-update set, functional decomposition, and special ordered set approximations to enable linear growth in reachable set memory complexity with time steps and linear scaling in time complexity with the system dimension. Facilitating this combination are new identities for co...
• A Dynamic Gain Method to Event-Triggered Tracking Control for Uncertain Nonlinear Systems With Input Quantization AI翻译
  作者：Li, Hanfeng; Li, Min
  作者单位：Shandong University; Shandong University
  摘要：In this article, we propose a dynamic gain method to solve the event-triggered output feedback tracking control problem of uncertain strict-feedback nonlinear systems subject to input quantization. The nonlinear terms admit an incremental rate depending on an unknown constant and an output polynomial function. Two configurations of the event-triggered quantized controller are presented, namely, quantization after triggering and quantization before triggering. Based on the dynamic scaling trans...