8期

最新文章

• Initial-State-Opacity Assessment in Timed Discrete Event Systems via Optimization Techniques AI翻译
  作者：Basile, Francesco; Calce, Enrica; De Tommasi, Gianmaria
  作者单位：University of Salerno
  摘要：Opacity is a property of discrete event systems that allows to hide a secret from external observers. If the secret is the system initial state, then the related opacity problem is referred to as initial state opacity (ISO). The problem of ISO verification is usually approached at a logical level, by taking into account only the order of event occurrences. However, if the timing structure of the system is known, then opacity analysis can be refined. This article contributes to this line of res...
• The Internal Model Principle of Time-Varying Optimization AI翻译
  作者：Bianchin, Gianluca; Van Scoy, Bryan
  作者单位：Universite Catholique Louvain; University System of Ohio; Miami University
  摘要：Time-varying optimization problems are central to many engineering applications, where performance metrics and system constraints evolve dynamically with time. Several methods have been proposed in literature to address these problems; a common feature among them is their implicit reliance on prior knowledge of the temporal variability of the optimizers. In this article, we provide a fundamental characterization of this property: we show that an algorithm can track time-varying optimizers if a...
• Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube AI翻译
  作者：Liu, Zishun; Jafarpour, Saber; Chen, Yongxin
  作者单位：University System of Georgia; Georgia Institute of Technology; University of Colorado System; University of Colorado Boulder; University System of Georgia; Georgia Institute of Technology
  摘要：We address the problem of safety verification for nonlinear stochastic systems, specifically the task of certifying system trajectories remain within a safe set with high probability. To tackle this challenge, we adopt a set-erosion strategy, which decouples the effects of stochastic disturbances from deterministic dynamics. This approach converts the stochastic safety verification problem on a safe set into a deterministic safety verification problem on an eroded subset of the safe set. The s...
• Sampled-Data Controller Synthesis for Minimizing the Worst-Timing-Type H2 Norm AI翻译
  作者：Kim, Jung Hoon; Hagiwara, Tomomichi
  作者单位：Pohang University of Science & Technology (POSTECH); Kyoto University
  摘要：This note is concerned with the worst-timing-type (WT-type) H-2 norm of sampled-data systems. In continuous-time linear time-invariant systems, the total energy of the closed-loop impulse response is independent of the timing of the impulse. However, when the controller operates in a sampled-data fashion, this property no longer holds. The WT-type H-2 norm addresses this challenge by quantifying the supremal energy response that can arise from any impulse occurring between two consecutive samp...
• Global Adaptive Control of Nonlinear Systems With Parametric Uncertainties and Time Delays via Time-Varying Gain Feedback Approach AI翻译
  作者：Ning, Pengju; Duan, Lingjie; Hua, Changchun
  作者单位：Yanshan University; Singapore University of Technology & Design; Hong Kong University of Science & Technology (Guangzhou)
  摘要：This article investigates the adaptive control of nonlinear systems with parametric uncertainties and time delays, utilizing a time-varying gain feedback approach. A novel adaptive control framework is first developed based on the solution of a time-varying parametric Lyapunov equation that incorporates adaptive parameters. Building on this framework, we design an adaptive time-varying feedback controller that guarantees global asymptotic stability for nonlinear systems with both uncertain par...
• Optimal Policy Design for Repeated Decision-Making Under Social Influence AI翻译
  作者：Ravazzi, Chiara; Breschi, Valentina; Frasca, Paolo; Dabbene, Fabrizio; Tanelli, Mara
  作者单位：Polytechnic University of Turin; Eindhoven University of Technology; Inria; Centre National de la Recherche Scientifique (CNRS); Communaute Universite Grenoble Alpes; Universite Grenoble Alpes (UGA); Institut National Polytechnique de Grenoble; Polytechnic University of Milan
  摘要：In this article, we present a novel model to characterize individual tendencies in repeated decision-making scenarios, with the goal of designing model-based control strategies that promote virtuous choices amidst social and external influences. Our approach builds on the classical Friedkin and Johnsen model of social influence, extending it to include random factors (e.g., inherent variability in individual needs) and controllable external inputs. We explicitly account for the temporal separa...
• Dual Representations and H∞-Optimal Control of Partial Differential Equations AI翻译
  作者：Shivakumar, Sachin; Das, Amritam; Peet, Matthew
  作者单位：United States Department of Energy (DOE); Los Alamos National Laboratory; United States Department of Energy (DOE); Los Alamos National Laboratory; Eindhoven University of Technology; Arizona State University; Arizona State University-Tempe
  摘要：We consider H-infinity-optimal state-feedback control of the class of linear partial differential equations (PDEs) which admit a partial integral equation (PIE) representation. While linear matrix inequalities are commonly used for optimal control of ordinary differential equations (ODEs), the absence of a universal state-space representation and suitable dual form prevents such methods from being applied to optimal control of PDEs. Specifically, for ODEs, the controller synthesis problem is d...
• Stable Decoupling of Linear Time-Delay Systems Using Static-State Feedback AI翻译
  作者：Kucera, Vladimir; Vyhlidal, Tomas
  作者单位：Czech Technical University Prague; Czech Technical University Prague
  摘要：This article offers a solution to the problem of stable decoupling, also known as noninteractive control, for continuous-time, linear time-delay systems using static-state feedback. The system may include both commensurate and noncommensurate pure delays, of both retarded and neutral types, as well as distributed delays. Such a system can be viewed as one with coefficients in a ring. The key finding is that although the coefficient ring is not a greatest common divisor domain, the system trans...
• Zero-Sum Game Optimized Control With Augmented Time-Synchronized Property AI翻译
  作者：Zhang, Yuxiang; Li, Dongyu; Ge, Shuzhi Sam; Lee, Tong Heng
  作者单位：National University of Singapore; Beihang University
  摘要：This article proposes and rigorously develops a reinforcement learning (RL)-based optimized control strategy with notable time-synchronized stability properties for zero-sum differential games. The proposed method addresses the challenge of approximating the time-synchronized Nash equilibrium solutions in nonlinear systems governed by the Hamilton-Jacobi-Isaacs equation. By incorporating a norm-normalized sign function into the learning framework, the system ensures all state-variables converg...
• Reinforcement Learning for Jointly Optimal Coding and Control Policies for a Controlled Markovian System Over a Communication Channel AI翻译
  作者：Hubbard, Evelyn; Cregg, Liam; Yuksel, Serdar
  作者单位：Queens University - Canada; Swiss Federal Institutes of Technology Domain; ETH Zurich
  摘要：We study the problem of joint optimization involving coding and control policies for a controlled Markovian system over a finite-rate noiseless communication channel. While structural results on the optimal encoding and control have been obtained in the literature, their implementation has been prohibitive in general, except for linear models. To this end, we first develop existence, regularity, and structural properties on optimal policies, followed by rigorous approximations and reinforcemen...