-
作者：Zaitsev, Vasilii
作者单位：Udmurt State University
摘要：Continuous-time linear systems with periodic coefficients of period. are considered in this article. We study the question of the controllability interval length of periodic systems. It is known that a controllable omega-periodic system is controllable over intervals of the length k omega, where k is the degree of the minimal polynomial of the monodromy matrix. It is proved that this boundary k omega is exact and cannot be decreased. It is proved that controllability of an omega-periodic syste...
-
作者：Mikhaylenko, Dina; Zhang, Ping
作者单位：University of Kaiserslautern
摘要：In cyber-physical systems (CPS), the networked structure not only enhances the accessibility of data, but also introduces the risk of cyber attacks. The stealthy attacks that are undetected by the monitoring system, are the most dangerous type of cyber attacks. In this article, we introduce a new attack strategy to call attention to the problem of stealthy cyber attacks on CPS. The proposed attack scenario does not require access to all control input signals and sensor output signals, so it ne...
-
作者：Xie, Yifan; Yin, Xiang; Li, Shaoyuan
作者单位：Shanghai Jiao Tong University; Shanghai Jiao Tong University
摘要：In this article, we investigate the enforcement of opacity via supervisory control in the context of discrete-event systems. A system is said to be opaque if the intruder, which is modeled as a passive observer, can never infer confidently that the system is at a secret state. The design objective is to synthesize a supervisor such that the closed-loop system is opaque even when the control policy is publicly known. In this article, we propose a new approach for enforcing opacity using nondete...
-
作者：Li, Rui; Zhang, Qi; Chu, Tianguang
作者单位：Dalian University of Technology; Dalian University of Technology; University of International Business & Economics; Peking University
摘要：A probabilistic Boolean network (PBN) is a discrete-time system composed of a collection of Boolean networks between which the PBN switches in a stochastic manner. This article focuses on the study of quotients of PBNs. Given a PBN and an equivalence relation on its state set, we consider a probabilistic transition system that is generated by the PBN; the resulting quotient transition system then automatically captures the quotient behavior of this PBN. We therefore describe a method for obtai...
-
作者：Zhao, Di; Khong, Sei Zhen; Qiu, Li
作者单位：Tongji University; Tongji University; Hong Kong University of Science & Technology
摘要：The Shapiro scheme, together with the closely related Frisch-Kalman scheme, has been an important approach to system identification and statistical analysis. A longstanding result on this scheme, known as the Shapiro theorem, is both informative and significant. This article imparts a geometric understanding to the Shapiro theorem and generalizes it to the asymmetric setting using the notion of cone-invariance. In particular, we establish the equivalence between two important properties of a r...
-
作者：Fontan, Angela; Altafini, Claudio
作者单位：Linkoping University
摘要：In this article, we consider a collective decision-making process in a network of agents described by a nonlinear interconnected dynamical model with sigmoidal nonlinearities and signed interaction graph. The decisions are encoded in the equilibria of the system. The aim is to investigate this multiagent system when the signed graph representing the community is not structurally balanced and in particular as we vary its frustration, i.e., its distance to structural balance. The model exhibits ...
-
作者：Gaudio, Joseph E.; Annaswamy, Anuradha M.; Lavretsky, Eugene; Bolender, Michael A.
作者单位：Massachusetts Institute of Technology (MIT); Boeing
摘要：This article presents a new parameter estimation algorithm for the adaptive control of a class of time-varying plants. The main feature of this algorithm is a matrix of time-varying learning rates, which enables parameter estimation error trajectories to tend exponentially fast toward a compact set whenever excitation conditions are satisfied. This algorithm is employed in a large class of problems where unknown parameters are present and are time-varying. It is shown that this algorithm guara...
-
作者：Lei, Jinlong; Yi, Peng; Chen, Jie; Hong, Yiguang
作者单位：Tongji University; Tongji University; Tongji University; Tongji University
摘要：In this article, we consider distributed stochastic optimization over randomly switching networks, where agents collaboratively minimize the average of all agents' local expectation-valued convex cost functions. Due to the stochasticity in gradient observations, distributedness of local functions, and randomness of communication topologies, distributed algorithms with an exact convergence guarantee under fixed step-sizes have not been achieved yet. This work incorporates variance reduction sch...
-
作者：Ran, Ning; Hao, Jinyuan; Seatzu, Carla
作者单位：Hebei University; Hebei University; University of Cagliari
摘要：In this article, we deal with two problems related to bounded labeled Petri nets (PNs), namely prognosability analysis and enforcement. The solution we propose is based on a single tool, called prognosability verifier. Such a tool uses the notion of basis marking that avoids the exhaustive enumeration of all the reachable markings. This leads to advantages in terms of computational complexity that may be enormous in certain real applications. Finally, the enforcement problem can be solved asso...
-
作者：Schluter, Nils; Darup, Moritz Schulze
作者单位：Dortmund University of Technology
摘要：In this article, we show that linear dynamic controllers with integer coefficients are usually unstable. In fact, asymptotic stability can only be achieved if all controller eigenvalues are equal to zero. Moreover, for a fixed controller order, there exist only finitely many characteristic polynomials with integer coefficients that lead to marginally stable eigenvalues on the unit circle and we characterize these setups. The obtained results are, in particular, relevant to encrypted control, w...
