-
作者：Lavaei, Abolfazl; Zamani, Majid
作者单位：Swiss Federal Institutes of Technology Domain; ETH Zurich; University of Colorado System; University of Colorado Boulder
摘要：This work is concerned with a compositional technique for the construction of finite abstractions (a.k.a., finite Markov decision processes (MDPs)) for networks of discrete-time stochastic switched systems. We propose a framework based on a notion of stochastic simulation functions, using which one can quantify the probabilistic distance between original interconnected stochastic switched systems and their finite MDPs by leveraging dissipativity-type compositional conditions. We show that the ...
-
作者：Zhang, Zhirong; Wen, Changyun; Xing, Lantao; Song, Yongduan
作者单位：Chongqing University; Nanyang Technological University; Shandong University
摘要：It is still an open problem to synthesize control with input and output quantizations for nonlinear systems subject to mismatched parametric uncertainties via backstepping design. This is because 1) the output becomes discontinuous and nondifferentiable after quantization, making the conventional recursive backstepping design method unsuitable as the differentiation of the virtual control signals does not exist, while the existing backstepping-based quantized control method is only applicable ...
-
作者：Diddigi, Raghuram Bharadwaj; Kamanchi, Chandramouli; Bhatnagar, Shalabh
作者单位：Indian Institute of Science (IISC) - Bangalore
摘要：We consider the problem of two-player zero-sum games. This problem is formulated as a min-max Markov game in this article. The solution of this game, which is the min-max payoff, starting from a given state is called the min-max value of the state. In this article, we compute the solution of the two-player zero-sum game, utilizing the technique of successive relaxation that has been successfully applied in this article to compute a faster value iteration algorithm in the context of Markov deci...
-
作者：Jiang, Bangxin; Lu, Jianquan; Zheng, Wei Xing; Shi, Kaibo
作者单位：Southeast University - China; Western Sydney University; Chengdu University
摘要：This article considers the stability problem of truncated sampled-data control systems with impulsive effects. We propose the concept of average sampling interval (ASI), in which the constraint on the lower/upper bound of sampling intervals is removed to handle the sampling intervals from the holistic perspective. Then, in the framework of the input delay method, we transform the addressed system into an equivalent switched time-delay system subject to the impulsive effects that result from th...
-
作者：Lu, An-Yang; Yang, Guang-Hong
作者单位：Northeastern University - China; Northeastern University - China
摘要：This article investigates the stealthy false data injection attack design problem for a class of cyber physical systems equipped with state estimators and attack detectors. The objective is to worsen the estimation performance without triggering any alarm. First, a necessary and sufficient condition for the existence of perfect attacks, which alter the state estimate without affecting residual signals, is provided. It is shown that the estimation error can be arbitrarily large under the well-d...
-
作者：Ofir, Ron; Margaliot, Michael; Levron, Yoash; Slotine, Jean-Jacques
作者单位：Technion Israel Institute of Technology; Tel Aviv University; Massachusetts Institute of Technology (MIT)
摘要：The flow of an n-dimensional k-contracting system, with k is an element of {1, ..., n}, contracts k-dimensional parallelotopes. For k = 1, this reduces to a standard contracting system. One reason for the usefulness of 1-contracting systems is that many interconnections of contracting subsystems yield an overall 1-contracting system. Here, we derive a new sufficient condition guaranteeing that the system obtained from the series interconnection of two subsystems is k-contracting. This is based...
-
作者：Cortez, Wenceslao Shaw; Dimarogonas, Dimos, V
作者单位：United States Department of Energy (DOE); Pacific Northwest National Laboratory; Royal Institute of Technology
摘要：A novel method is proposed to ensure stability and constraint satisfaction, i.e., compatibility, for nonlinear affine systems. We require an asymptotically stabilizing control law and a zeroing control barrier function, and define a region of attraction for which the proposed control safely stabilizes the system. Our methodology requires checking conditions of the system dynamics over the state space, which may be computationally expensive. To facilitate the search for compatibility, we extend...
-
作者：Rodrigues, Diogo; Mesbah, Ali
作者单位：Universidade de Lisboa; University of California System; University of California Berkeley
摘要：Optimal control problems are prevalent in model-based control, state and parameter estimation, and experimental design for complex dynamical systems. An approach for obtaining solutions to these problems is based on the notion of parsimonious input parameterization and comprises two tasks: the enumeration of arc sequences followed by the computation of optimal values of a small number of decision variables for each sequence. This article proposes an efficient global solution method for single-...
-
作者：Kikuuwe, Ryo; Yamamoto, Yuki; Brogliato, Bernard
作者单位：Hiroshima University; Inria; Centre National de la Recherche Scientifique (CNRS); Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA)
摘要：This article presents an approach to implement a sliding-mode position controller to a plant equipped with a nonsmooth actuator. The actuator is modeled as a set-valued function from the control input and the velocity to the actuator force, which is motivated by quasi-static characteristics of hydraulic actuators shown in a previous study. The implementation of the sliding-mode controller is performed with the implicit discretization of the nominal plant model and the controller, which copes w...
-
作者：Li, Jiarui; Niu, Yugang; Ho, Daniel W. C.
作者单位：East China University of Science & Technology; Tongji University; City University of Hong Kong
摘要：In Niu and Ho (2014), an interesting issue was investigated on how an existing controller can still achieve the same control performance under the quantization case by designing the online adjusting strategy for the quantizer's parameter. However, the above-mentioned work ignored the limitation of the coding length in the practical transmitting procedure such that the desirable performance may not be achieved due to the inevitable coding errors. Hence, this article will further consider the ab...
