-
作者：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...
-
作者：Zheng, Jun; Zhu, Guchuan; Dashkovskiy, Sergey
作者单位：Southwest Jiaotong University; Universite de Montreal; Polytechnique Montreal; University of Wurzburg
摘要：In this article, we introduce the notion of relative K-equi-stability (RKES) to characterize the uniformly continuous dependence of (weak) solutions on external disturbances for nonlinear parabolic partial differential equations (PDEs). Based on the RKES, we prove the input-to-state stability (ISS) in the spatial sup-norm for a class of nonlinear parabolic PDEs with either Dirichlet or Robin boundary disturbances. An example concerned with a superlinear parabolic PDE with Robin boundary condit...
-
作者：Hu, Hongxiao; Gao, Bei; Xu, Liguang
作者单位：University of Shanghai for Science & Technology; Zhejiang University of Technology
摘要：In this article, the finite-time and fixed-time attractiveness problems are investigated for nonlinear impulsive systems. The aim of the proposed problems is to establish some general Lyapunov theorems and settling-time estimates for finite-time and fixed-time attractiveness of nonlinear impulsive systems by analysis technics. Moreover, some comparisons with the existing results are also given. The classical finite-time and fixed-time convergence theorems for nonlinear impulse-free systems are...
-
作者：Yang, Guitao; Rezaee, Hamed; Serrani, Andrea; Parisini, Thomas
作者单位：Imperial College London; University System of Ohio; Ohio State University; University of Trieste; University of Cyprus
摘要：We propose a state estimation methodology using a network of distributed observers. We consider a scenario in which the local measurement at each node may not guarantee the system's observability. In contrast, the ensemble of all the measurements does ensure that the observability property holds. As a result, we design a network of observers such that the estimated state vector computed by each observer converges to the system's state vector by using the local measurement and the communicated ...
-
作者：Isohatala, Jukka; Haskell, William B.
作者单位：National University of Singapore; Purdue University System; Purdue University
摘要：We present a probabilistic formulation of risk aware optimal control problems for stochastic differential equations. Risk awareness is in our framework captured by objective functions in which the risk neutral expectation is replaced by a risk function, a nonlinear functional of random variables that accounts for the controller's risk preferences. We state and prove a risk aware minimum principle that gives necessary and sufficient conditions for optimality of generalized control processes tak...
-
作者：Lee, Donghwan
作者单位：Korea Advanced Institute of Science & Technology (KAIST)
摘要：The goal of this article is to investigate new and simple convergence analysis of dynamic programming for the linear-quadratic regulator problem of discrete-time linear time-invariant systems. In particular, bounds on errors are given in terms of both matrix inequalities and matrix norm. Under a mild assumption on the initial parameter, we prove that the Q-value iteration exponentially converges to the optimal solution. Moreover, a global asymptotic convergence is also presented. These results...
-
作者：Lu, Jianquan; Jiang, Bangxin; Zheng, Wei Xing
作者单位：Southeast University - China; Chengdu University; Western Sydney University
摘要：In this article, the exponential stability of impulsive control systems with time delay is studied. By using the average impulsive interval method, some sufficient Lyapunov-based conditions are established for the stability of impulsive time-delay systems, and the impacts of delay on the stability analysis method are further revealed. It is interesting to show that some unstable impulsive time-delay systems may be stabilized by increasing the time delay in continuous dynamics. More interesting...
-
作者：Chen, Hongwei; Wang, Zidong; Shen, Bo; Liang, Jinling
作者单位：Donghua University; Brunel University; Southeast University - China
摘要：Sensor resolution, which is one of the most important parameters/specifications for almost all kinds of sensors, plays an important role in any signal processing problems. This article deals with the distributed filtering problem for a class of discrete time-varying stochastic systems subject to nonlogarithmic sensor resolution and stochastic nonlinearities. The soft measurement technique is exploited in the filter design to overcome the difficulties resulting from the sensor-resolution-induce...
-
作者：Yongacoglu, Bora; Arslan, Gurdal; Yuksel, Serdar
作者单位：Queens University - Canada; University of Hawaii System
摘要：Stochastic dynamic teams and games are rich models for decentralized systems and challenging testing grounds for multiagent learning. Previous work that guaranteed team optimality assumed stateless dynamics, or an explicit coordination mechanism, or joint-control sharing. In this article, we present an algorithm with guarantees of convergence to team optimal policies in teams and common interest games. The algorithm is a two-timescale method that uses a variant of Q-learning on the finer times...
