-
作者：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...
-
作者：Gan, Die; Xie, Siyu; Liu, Zhixin; Lu, Jinhu
作者单位：Zhongguancun Laboratory; University of Electronic Science & Technology of China; Chinese Academy of Sciences; Academy of Mathematics & System Sciences, CAS; Chinese Academy of Sciences; University of Chinese Academy of Sciences, CAS; Beihang University
摘要：In this article, we consider the distributed filtering problem over sensor networks such that all sensors cooperatively track unknown time-varying parameters by using local information. A distributed forgetting factor least squares algorithm is proposed by minimizing a local cost function formulated as a linear combination of accumulative estimation error. Stability analysis of the algorithm is provided under a cooperative excitation condition which contains spatial union information to reflec...
-
作者：Isaly, Axton; Ghanbarpour, Masoumeh; Sanfelice, Ricardo G.; Dixon, Warren E.
作者单位：University of Colorado System; University of Colorado Boulder; University of California System; University of California Santa Cruz; State University System of Florida; University of Florida
摘要：Control barrier functions (CBFs) are a popular method for encoding safety specifications for dynamical systems. In this article, a notion of CBF is defined that permits vector-valued barrier functions and flow constraints involving both the state and the control input. CBFs induce constraints on the control input that, when satisfied, guarantee the forward invariance of a safe set of states. The constraints are enforced using a pointwise-optimal feedback controller. Sufficient conditions for t...
-
作者：Wang, Bohui; Su, Rong; Huang, Lingying; Lu, Yun; Zhao, Nanbin
作者单位：Xi'an Jiaotong University; Nanyang Technological University
摘要：In this article, we propose a dynamic platoon management and cooperative driving framework for a mixed traffic flow consisting of multiple connected automated vehicles (CAVs) and possible human-driven vehicles (HDVs) that can be regarded as the surrounding vehicles (SVs). Specifically, the proposed framework consists of three stages. At the first stage, the cruising information of all the SVs will be collected by the leader CAV through the cellular-vehicle-to-X (C-V2X) infrastructure, while an...
-
作者：Xu, Tianshu; Niu, Yugang; Cao, Zhiru
作者单位：East China University of Science & Technology; Shanghai University
摘要：This work focuses on the event-triggered sliding mode control problem for Markovian jump systems under the stochastic sampling that randomly switches between two sampling periods. A stochastic variable is introduced to characterize the delay between the present instant and the previous sampling instant, through which a switchinglike event-triggered strategy is proposed via the present sampled state and the previous transmitted state. Meanwhile, a mode-dependent sliding surface is constructed a...
-
作者：Koehler, Andreas; Marijan, Pascal; Zhang, Ping
摘要：This article proposes a new approach for the enforcement of current-state opacity in signal interpreted Petri nets (SIPN). In order to enforce current-state opacity in SIPNs, the properties of iterative firing and simultaneous firing of transitions are considered. To prevent the intruder from inferring the current marking, signals associated with the secret marking are compared to signals associated with alternative markings. This allows to determine which signals need to be encrypted to confu...
-
作者：Wang, Guangchen; Wang, Wencan
作者单位：Shandong University; Wuhan Textile University
摘要：In this article, we consider a linear-quadratic optimal control problem of mean-field stochastic differential equation with jump diffusion, which is also called as an mean-field linear-quadratic problem with jump diffusion (MF-LQJ) problem. Here, cost functional is allowed to be indefinite. We use an equivalent cost functional method to deal with the MF-LQJ problem with indefinite weighting matrices. Some equivalent cost functionals enable us to establish a bridge between indefinite and positi...
-
作者：Xue, Mengqi; Tang, Yang; Ren, Wei; Qian, Feng
作者单位：Tongji University; East China University of Science & Technology; University of California System; University of California Riverside
摘要：The practical consensus tracking problem is studied for a class of asynchronously switched multiagent systems (MASs). The asynchronous switchings are present in the followers, the leader, and the topology, bringing dynamic heterogeneity that yields nonvanishing perturbations which inherently prevent a perfect tracking. To handle the heterogeneity, a distributed dynamic controller with adaptive observers is proposed for each follower. The embedded observers estimate both the dynamics and the st...
-
作者：Bozkurt, Alper Kamil; Wang, Yu; Zavlanos, Michael M.; Pajic, Miroslav
作者单位：Duke University; State University System of Florida; University of Florida
摘要：Synthesis from linear temporal logic (LTL) specifications provides assured controllers for systems operating in stochastic and potentially adversarial environments. Automatic synthesis tools, however, require a model of the environment to construct controllers. In this work, we introduce a model-free reinforcement learning (RL) approach to derive controllers from given LTL specifications even when the environment is completely unknown. We model the problem as a stochastic game (SG) between the...
