2024

最新文章

• Supervisory Control Synthesis of Timed Automata Using Forcible Events AI翻译
  作者：Rashidinejad, Aida; Reniers, Michel; Fabian, Martin
  作者单位：Eindhoven University of Technology; Chalmers University of Technology
  摘要：This article presents an algorithm for synthesizing a supervisor for timed automata (TA) using the conventional supervisory control theory. The algorithm is directly applicable to TA without explicit transformation into finite automata, and iteratively strengthens the guards of edges labeled by controllable events and invariants of locations where the progression of time can be preempted by forcible events. The synthesized supervisor, also a TA, is controllable, maximally permissive, and guara...
• Convexified Open-Loop Stochastic Optimal Control for Linear Systems With Log-Concave Disturbances AI翻译
  作者：Sivaramakrishnan, Vignesh; Vinod, Abraham P.; Oishi, Meeko M. K.
  作者单位：University of New Mexico
  摘要：In this article, we consider open-loop solutions to the stochastic optimal control of a linear dynamical system with an additive non-Gaussian, log-concave disturbance. We propose a novel, sampling-free approach, based on characteristic functions and convex optimization, to cast the stochastic optimal control problem as a difference-of-convex program. Our method invokes higher moments, resulting in less conservatism compared to moment-based approaches. We employ piecewise affine approximations ...
• Risk-Averse Decision Making Under Uncertainty AI翻译
  作者：Ahmadi, Mohamadreza; Rosolia, Ugo; Ingham, Michel D.; Murray, Richard M.; Ames, Aaron D.
  作者单位：California Institute of Technology; National Aeronautics & Space Administration (NASA); NASA Jet Propulsion Laboratory (JPL)
  摘要：A large class of decision making under uncertainty problems can be described via Markov decision processes (MDPs) or partially observable MDPs (POMDPs), with application to artificial intelligence and operations research, among others. In this article, we consider the problem of designing policies for MDPs and POMDPs with objectives and constraints in terms of dynamic coherent risk measures rather than the traditional total expectation, which we refer to as the constrained risk-averse problem....
• Adaptive Regulation With Global KL Guarantees AI翻译
  作者：Karafyllis, Iasson; Aslanidis, Alexandros; Krstic, Miroslav
  作者单位：National Technical University of Athens; University of California System; University of California San Diego
  摘要：In the absence of persistency of excitation (PE), referring to adaptive control systems as uniformly asymptotically stable typically indicates insufficient understanding of stability concepts. While the state is indeed regulated to zero and the parameter estimate has some limit, namely, the overall state converges to some equilibrium, the equilibrium reached is not unique (and not even necessarily stable) but is dependent on the initial condition. The equilibrium set in the absence of PE is no...
• On the Structure of Feedback Potential Difference Games AI翻译
  作者：Prasad, Aathira; Mohapatra, Partha Sarathi; Reddy, Puduru Viswanadha
  作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Madras
  摘要：A static potential game is a noncooperative game for which there exists a fictitious function, also referred to as a potential function, whose optimizers provide a Nash equilibrium of the associated noncooperative game. In this article, we study nonzero-sum finite-horizon difference games with feedback information structure, which admit a potential game structure. We provide conditions for the existence of an optimal control problem such that the optimal solution of this problem provides a fee...
• On the Role of Convexity/Concavity in Vector Fields, Flows, and Stability/Stabilizability AI翻译
  作者：Sassano, M.; Astolfi, A.
  作者单位：University of Rome Tor Vergata; Imperial College London
  摘要：It is shown that strong convexity/concavity of a component of the vector field, as a function of the state variables, induces the same property on the corresponding component of the flow, as a function of the initial condition. Such an inherited property is then instrumental, for instance, for establishing several instability theorems, the proofs of which rely precisely on consequences of convexity/concavity of the flow with respect to the initial condition. Furthermore, the property of convex...
• Delay-Adaptive Boundary Control of Coupled Hyperbolic PDE-ODE Cascade Systems AI翻译
  作者：Wang, Ji; Diagne, Mamadou
  作者单位：Xiamen University; University of California System; University of California San Diego
  摘要：This article presents a delay-adaptive boundary control scheme for a 2 x 2 coupled linear hyperbolic partial differential equation (PDE)-ordinary differential equation (ODE) cascade system with an unknown and arbitrarily long input delay. To construct a nominal delay-compensated control law, assuming a known input delay, a three-step backstepping design is used. To build the delay-adaptive boundary control law, the nominal control action is fed with the estimate of the unknown delay, which is ...
• Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems AI翻译
  作者：Lavaei, Abolfazl; Frazzoli, Emilio
  作者单位：Newcastle University - UK; Swiss Federal Institutes of Technology Domain; ETH Zurich
  摘要：In this article, we propose a compositional scheme for the safety controller synthesis of stochastic switched networks with dwell-time conditions. The proposed framework is based on a notion of so-called transition subbarrier certificates constructed for each switched subsystem, by employing which one can compositionally synthesize safety controllers for interconnected networks over (in)finite time horizons. In our proposed scheme, we leverage dissipativity-type compositional conditions to com...
• Stability of Optimal Estimator With Unobservable Measurement Loss: The Unstable System Case AI翻译
  作者：Lin, Hong; Lam, James
  作者单位：Shenzhen Polytechnic University; University of Hong Kong
  摘要：We study the stability of the optimal estimator (OE) for an unstable system with unobservable measurement loss (UML). The results are twofold. 1) We obtain a necessary and sufficient stability condition: For an unstable UML system, there is a critical value such that the OE is stable with probability 1, if and only if the measurement-arrival rate is greater than this value. This value is identical to the critical value that determines the stability of the OE with observable measurement loss (O...
• Decision Function-Based Adaptive Control of Uncertain Systems Subject to Irregular Output Constraints AI翻译
  作者：Zhao, Kai; Song, Yongduan
  作者单位：Chongqing University
  摘要：While barrier Lyapunov function-based approach has been successfully used in adaptive control of uncertain systems with output/state constraints, it is nontrivial to use this method to deal with systems with irregular constraints (where the constraints may appear, disappear, or alternate during system operation). It is in fact an open interesting problem to develop a control method capable of coping with the irregular constraints uniformly. In this note, a unified adaptive control strategy is ...