作者:Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
作者单位:Xidian University; University of Cagliari; Universite Le Havre Normandie; Macau University of Science & Technology
摘要:In this article, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it may occur. In addition, a resetting condition associated to a transition specifies how the clock value is updated upon its occurrence. This work deals with the estimation of the current state given a timed observation, i.e., a succession of pairs of an observable event and the time instant at which the event has occ...
作者:Xu, Jun; Lou, Yunjiang; De Schutter, Bart; Xiong, Zhenhua
作者单位:Harbin Institute of Technology; Delft University of Technology; Shanghai Jiao Tong University
摘要:In this article, the disjunctive and conjunctive lattice piecewise affine (PWA) approximations of explicit linear model predictive control (MPC) are proposed. Training data consisting of states and corresponding affine control laws are generated in a control invariant set, and redundant sample points are removed to simplify the construction of lattice PWA approximations. Resampling is proposed to guarantee the equivalence of lattice PWA approximations and optimal MPC control law at the sample ...