-
作者：Ren, Wei; Jungers, Raphael M.; Dimarogonas, Dimos V.
作者单位：Dalian University of Technology; Universite Catholique Louvain; Royal Institute of Technology
摘要：This article studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global control strategy is proposed for the desired specification expressed as an LTL formula. First, a novel approach is developed to divide the state space into finite zonotopes and constrained zonotopes, which are called cells and allowed to intersect with the neighbor cells. Second, from the intersection relation, a graph...
-
作者：Xiang, Zhaoyu; Chen, Yufeng; Wu, Naiqi; Li, Zhiwu
作者单位：Macau University of Science & Technology; Xidian University
摘要：This article investigates the supervisory control problem of discrete-event systems modeled with deterministic finite-state automata. Given a control specification represented by a nonempty regular sublanguage of the generated language of a plant, we aim to solve a synthesis problem for finding a nonblocking supervisor for the control specification to guarantee that there exists an integer such that the length of any string in the generated language of the plant under supervision is no greater...
-
作者：Zhang, Yu-Long; Wang, Jun-Min; Wang, Yi-Ning
作者单位：Beijing Institute of Technology
摘要：In this article, we consider the stabilization of a unitized rotating disk-beam system, which consists of a uniform beam attached to the center of a rotating disk. It is known that the torque control exerted on the disk combined with the boundary control can make it rotate with the desired angular velocity, and when the angular velocity is greater than root mu(1 )approximate to 3.516 , where mu(1) is the first eigenvalue of the free beam operator, it is found that there exists at least one pos...
-
作者：Jungers, Marc; Shakib, Mohammad Fahim; van de Wouw, Nathan
作者单位：Universite de Lorraine; Centre National de la Recherche Scientifique (CNRS); Imperial College London; Eindhoven University of Technology
摘要：The convergence property of discrete-time nonlinear systems is studied in this article. The main result provides a Lyapunov-like characterization of the convergence property based on two distinct Lyapunov-like functions. These two functions are associated with the incremental stability property and the existence of a compact positively invariant set, which together guarantee the existence of a well-defined, bounded, and unique steady-state solution. The links with the conditions available in r...
-
作者：Naghnaeian, Mohammad; Voulgaris, Petros G.; Elia, Nicola
作者单位：Nevada System of Higher Education (NSHE); University of Nevada Reno; University of Minnesota System; University of Minnesota Twin Cities
摘要：This article deals with the problem of distributed control synthesis. We seek to find structured controllers that are stably implementable over the underlying network. We address the problem using an operator form of discrete-time linear systems. This allows for uniform treatment of various classes of linear systems, e.g., linear time invariant, linear time varying, or linear switched systems. We combine this operator representation for linear systems with the classical Youla parametrization t...
-
作者：Xu, Zhilu; Yuan, Shuang; Yang, Xinsong; Zheng, Wei Xing
作者单位：Sichuan University; Sichuan University; Western Sydney University
摘要：This article considers the input-to-state stability (ISS) problem of nonlinear switched systems under stochastic switching governed by both transition probability and stochastic dwell time. A novel analysis framework of ISS with respect to switched systems is proposed in the sense of Lyapunov. It is shown that the stochastic switching exhibits a positive effect on the ISS issue, and uniform ISS can be achieved even though all subsystems are non-ISS. In addition, the proposed Lyapunov results a...
-
作者：Sun, Zong-Yao; Li, Jiao-Jiao; Wen, Changyun; Chen, Chih-Chiang
作者单位：Qufu Normal University; Nanyang Technological University; National Cheng Kung University
摘要：This article aims to solve two intricate problems in nonlinear control: 1) the singularity caused by driving the control to infinity at the prescribed time and 2) the stabilization via adaptive event-triggered feedback for a class of uncertain nonlinear systems with asymmetric time-varying output constraints. The difficulty is how to dominate the implicit time in the system and the parameter error multiplied by an adaptive law without breaking the time-varying output constraint. To overcome th...
-
作者：Hu, Bin-Bin; Zhang, Hai-Tao; Yao, Weijia; Sun, Zhiyong; Cao, Ming
作者单位：Huazhong University of Science & Technology; Huazhong University of Science & Technology; Hunan University; University of Groningen; Eindhoven University of Technology; University of Groningen
摘要：In this article, we design a distributed coordinated guiding vector field (CGVF) for a group of robots to achieve ordering-flexible motion coordination while maneuvering on a desired 2-D surface. The CGVF is characterized by three terms, i.e., a convergence term to drive the robots to converge to the desired surface, a propagation term to provide a traversing direction for maneuvering on the desired surface, and a coordinated term to achieve the surface motion coordination with an arbitrary or...
-
作者：Wang, Zheming; Jungers, Raphael M.
作者单位：Zhejiang University of Technology; Universite Catholique Louvain
摘要：We study the objective function value performance of the scenario approach for robust convex optimization. A novel method is proposed to derive probabilistic bounds for the objective value from scenario programs with a finite number of samples. This method relies on a max-min reformulation and on the concept of complexity of robust optimization problems. With additional continuity and regularity conditions, via sensitivity analysis, we also provide explicit bounds which outperform the previous...
-
作者：Wang, Weizhe; Fu, Yue; Fu, Jun
作者单位：Northeastern University - China
摘要：In this article, for continuous-time nonlinear systems with unknown dynamics and multiple equilibrium points, an indirect adaptive optimal tracking switching controller consisting of multiple linear indirect adaptive optimal tracking controllers, a robust compensator, and an optimal switching mechanism is proposed by combining optimal tracking scheme with embedding-transformation technique and adaptive algorithm. First, multiple linearized models are used to establish a controller design model...
