2期

最新文章

• 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 ...
• Observability Decomposition of Boolean Control Networks Under Several Kinds of Observability AI翻译
  作者：Li, Yiliang; Feng, Jun-E; Cheng, Daizhan; Jia, Yingzhe
  作者单位：Shandong University; Chinese Academy of Sciences; Academy of Mathematics & System Sciences, CAS; Hunan University
  摘要：In this article, a uniform method is provided to investigate the observability decomposition of Boolean control networks (BCNs) under different definitions of observability. Since the observability of BCNs is defined via the distinguishability of states, an algorithm is devised to identify and sort distinguishable states. To find the possible control sequences, a truth matrix reflecting the relationship between state pairs and control inputs is constructed. Using the truth matrix, necessary an...
• Tradeoff Between Time and Energy Costs for Controlling Stochastic Coupled Neural Networks AI翻译
  作者：Zhao, Lingzhi; Dai, Haifeng; Yang, Chunyu; Lu, Jianquan; Sun, Yongzheng
  作者单位：China University of Mining & Technology; Southeast University - China; China University of Mining & Technology; Southeast University - China
  摘要：Time cost (TC) and energy cost (EC) are two fundamental indicators for evaluating the designed protocols for controlling networked systems. Yet the relationships of which as well as their dependence on the network topology are far from clear. In this note, we explore this problem with the stochastic synchronization of coupled neural networks. A novel controller is articulated, which switches between the linear feedback control and finite-time feedback control relying on the size of system erro...
• Rapid Stabilization of Timoshenko Beam by PDE Backstepping AI翻译
  作者：Chen, Guangwei; Vazquez, Rafael; Krstic, Miroslav
  作者单位：Beijing University of Technology; University of Sevilla; University of California System; University of California San Diego
  摘要：In this article, we present rapid boundary stabilization of a Timoshenko beam with antidamping and antistiffness at the uncontrolled boundary, by using infinite-dimensional backstepping. We introduce a Riemann transformation to map the Timoshenko beam states into a set of coordinates that verify a 1-D hyperbolic PIDE-ODE system. Then backstepping is applied to obtain a control law guaranteeing closed-loop stability of the origin in the $L<^>{2}$ sense. Arbitrarily rapid stabilization can be ac...
• A Note on the Smallest Eigenvalue of the Empirical Covariance of Causal Gaussian Processes AI翻译
  作者：Ziemann, Ingvar
  作者单位：University of Pennsylvania
  摘要：We present a simple proof for bounding the smallest eigenvalue of the empirical covariance in a causal Gaussian process. Along the way, we establish a one-sided tail inequality for Gaussian quadratic forms using a causal decomposition. Our proof only uses elementary facts about the Gaussian distribution and the union bound. We conclude with an example in which we provide a performance guarantee for least squares identification of a vector autoregression.
• A Behavioral Approach to Data-Driven Control With Noisy Input-Output Data AI翻译
  作者：van Waarde, Henk J.; Eising, Jaap; Camlibel, M. Kanat; Trentelman, Harry L.
  作者单位：University of Groningen; University of California System; University of California San Diego
  摘要：This article deals with data-driven stability analysis and feedback stabilization of linear input-output systems in autoregressive (AR) form. We assume that noisy input-output data on a finite time-interval have been obtained from some unknown AR system. Data-based tests are then developed to analyze whether the unknown system is stable, or to verify whether a stabilizing dynamic feedback controller exists. If so, stabilizing controllers are computed using the data. In order to do this, we emp...
• Cooperative Multiagent Reinforcement Learning With Partial Observations AI翻译
  作者：Zhang, Yan; Zavlanos, Michael M.
  作者单位：Duke University
  摘要：In this article, we propose a distributed zeroth-order policy optimization method for multiagent reinforcement learning (MARL). Existing MARL algorithms often assume that every agent can observe the states and actions of all the other agents in the network. This can be impractical in large-scale problems, where sharing the state and action information with multihop neighbors may incur significant communication overhead. The advantage of the proposed zeroth-order policy optimization method is t...
• Online Guaranteed Reachable Set Approximation for Systems With Changed Dynamics and Control Authority AI翻译
  作者：El-Kebir, Hamza; Pirosmanishvili, Ani; Ornik, Melkior
  作者单位：University of Illinois System; University of Illinois Urbana-Champaign; University of Illinois System; University of Illinois Urbana-Champaign
  摘要：This article presents a method of efficiently computing inner and outer approximations of forward reachable sets for nonlinear control systems with changed dynamics and control authority, given an a priori computed reachable set for the nominal system. The method functions by shrinking or inflating a precomputed reachable set based on prior knowledge of the system's trajectory deviation growth dynamics, depending on whether an inner approximation or outer approximation is desired. These dynami...
• High-Confidence Data-Driven Ambiguity Sets for Time-Varying Linear Systems AI翻译
  作者：Boskos, Dimitris; Cortes, Jorge; Martinez, Sonia
  作者单位：Delft University of Technology; University of California System; University of California San Diego
  摘要：This article builds Wasserstein ambiguity sets for the unknown probability distribution of dynamic random variables leveraging noisy partial-state observations. The constructed ambiguity sets contain the true distribution of the data with quantifiable probability and can be exploited to formulate robust stochastic optimization problems with out-of-sample guarantees. We assume the random variable evolves in discrete time under uncertain initial conditions and dynamics, and that noisy partial me...