1期

最新文章

• Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming AI翻译
  作者：Fazlyab, Mahyar; Morari, Manfred; Pappas, George J.
  作者单位：University of Pennsylvania
  摘要：Certifying the safety or robustness of neural networks against input uncertainties and adversarial attacks is an emerging challenge in the area of safe machine learning and control. To provide such a guarantee, one must be able to bound the output of neural networks when their input changes within a bounded set. In this article, we propose a semidefinite programming (SDP) framework to address this problem for feed-forward neural networks with general activation functions and input uncertainty ...
• Adaptive Control of Multivariable Networked Systems With Uncertain Time Delays AI翻译
  作者：Steinberger, Martin; Horn, Martin; Ferrara, Antonella
  作者单位：Graz University of Technology; Graz University of Technology; University of Pavia
  摘要：A discrete-time adaptive control approach for uncertain linear multivariable networked systems is proposed. It is capable of dealing with unknown time delays introduced by a communication network between a plant and a controller. Based on the idea of model reference adaptive control, two adaptive laws are presented to reduce the conservativeness that is usually introduced when the time delays are unknown. The stability of the closed-loop system is proven. Simulation examples provide a comparis...
• Stochastic Adaptive Optimization With Dithers AI翻译
  作者：Xie, Siyu; Liang, Shu; Wang, Le Yi; Yin, George; Chen, Wen
  作者单位：Wayne State University; Tongji University; Tongji University; University of Connecticut; Wayne State University
  摘要：Optimization methods are essential and have been used extensively in a broad spectrum of applications. Most existing literature on optimization algorithms does not consider systems that involve unknown system parameters. This article studies a class of stochastic adaptive optimization problems in which identification of unknown parameters and search for the optimal solutions must be performed simultaneously. Due to a fundamental conflict between parameter identifiability and optimality in such...
• Ultimately Bounded Filtering Subject to Impulsive Measurement Outliers AI翻译
  作者：Zou, Lei; Wang, Zidong; Hu, Jun; Dong, Hongli
  作者单位：Brunel University; Harbin University of Science & Technology; Northeast Petroleum University; Northeast Petroleum University
  摘要：This article is concerned with the ultimately bounded filtering problem for a class of linear time-delay systems subject to norm-bounded disturbances and impulsive measurement outliers (IMOs). The considered IMOs are modeled by a sequence of impulsive signals with certain known minimum norm (i.e., the minimum of the norms of all impulsive signals). In order to characterize the occasional occurrence of IMOs, a sequence of independent and identically distributed random variables is introduced to...
• An Adaptive Kalman Filter With Inaccurate Noise Covariances in the Presence of Outliers AI翻译
  作者：Zhu, Hao; Zhang, Guorui; Li, Yongfu; Leung, Henry
  作者单位：Chongqing University of Posts & Telecommunications; University of Calgary
  摘要：In this article, a novel variational Bayesian (VB) adaptive Kalman filter with inaccurate nominal process and measurement noise covariances (PMNC) in the presence of outliers is proposed. The probability density functions of state transition and measurement likelihood are modeled as Gaussian-Gamma mixture distributions. The VB inference is used to perform the state and PMNC simultaneously. Simulations show that the effectiveness of the proposed method with inaccurate noise covariances in the p...
• Control of Real-Time Systems With Integer Parameters AI翻译
  作者：Jovanovic, Aleksandra; Lime, Didier; Roux, Olivier H.
  作者单位：Nantes Universite; Ecole Centrale de Nantes
  摘要：We consider the problem of synthesizing controllers for real-time systems where some timing features are not known with precision. We model the plant as a parametric timed automaton (PTA), i.e., a finite automaton equipped with real-valued clocks constraining its behavior, in which the timing constraints on these clocks can make use of parameters. The most general problem we study then consists in synthesizing both a controller and values for the parameters such that some control location of t...
• H∞ Event-Triggered Control With Performance Guarantees Vis-a-Vis the Optimal Periodic Solution AI翻译
  作者：Mi, La; Mirkin, Leonid
  作者单位：Technion Israel Institute of Technology
  摘要：The article puts forward an event-triggered controller with continuous-time H-infinity (L-2-induced norm) performance guarantees. The sampling rate of the proposed controller never exceeds that of the optimal periodic sampled-data controller for the same performance level. The proposed event-triggered controller yields actually slower sampling than that in the optimal periodic case, unless certain internal signal belongs to a class of worst-case analogue signals. The class of such signals, ter...
• Digital Implementation of Derivative-Dependent Control by Using Delays for Stochastic Multiagents AI翻译
  作者：Zhang, Jin; Fridman, Emilia
  作者单位：Tel Aviv University
  摘要：In this article, we study the digital implementation of derivative-dependent control for consensus of stochastic multiagent systems. The consensus controllers that depend on the output and its derivatives are approximated as delayed sampled-data controllers. First, we consider the nth-order stochastic multiagent systems. Second, we consider PID control of the second-order stochastic multiagent systems. For the consensus analysis, we propose novel Lyapunov functionals to derive linear matrix in...
• Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems AI翻译
  作者：Pena, Patricia N.; Vilela, Juliana N.; Alves, Michel R. C.; Rafael, Gustavo C.
  作者单位：Universidade Federal de Minas Gerais; University of Detroit Mercy; Universidade Federal de Minas Gerais
  摘要：In industry, the performance has to be optimized to allow its competitiveness. The goal then is to use the resources at their maximal capacity, reduce the production time, and be flexible to adapt to the customers requests. The closed-loop behavior of a system under the supervisory control theory (SCT) guarantees nonblockingness and safety requirements and, thus, it can be used as the search universe for a planning problem. SCT suffers with the curse of dimensionality when systems become bigge...
• Collisions-Free Distributed Optimal Coordination for Multiple Euler-Lagrangian Systems AI翻译
  作者：An, Liwei; Yang, Guang-Hong
  作者单位：Northeastern University - China; Northeastern University - China
  摘要：Multiagent distributed optimal coordination (DOC) involves the motion conflicts of a large numbers of physical systems, which lead to significant safety challenges in terms of collision avoidance. This article studies the problem of secure DOC for multiple uncertain Euler-Lagrangian (EL) systems. The objective is to steer each EL agent to achieve the optimization task while avoiding collisions with other agents. The main challenge focuses on the co-design of optimal coordination strategy and c...