-
作者：Harris, Matthew W.
作者单位：Utah System of Higher Education; Utah State University
摘要：This article presents new mathematical results for exact and approximate relaxations of nonconvex optimal control problems defined on disconnected control sets. The exact relaxations are based upon extreme point relaxations wherein the relaxed control set is constructed so that its extreme points belong to the original set. A system property required for exactness is normality. In the absence of normality, control set approximations and system dynamic perturbations are introduced so that norma...
-
作者：Kebriaei, Hamed; Sadati-Savadkoohi, S. Jafar; Shokri, Mohammad; Grammatico, Sergio
作者单位：University of Tehran; Institute for Research in Fundamental Sciences IPM; Delft University of Technology
摘要：In this article, we extend the theory of deterministic mean-field/aggregative games to multipopulation games. We consider a set of populations, each managed by a population coordinator (PC), of selfish agents playing a global noncooperative game, whose cost functions are affected by an aggregate term across all agents from all populations. In particular, we impose that the agents cannot exchange information between themselves directly; instead, only a PC can gather information on its own popul...
-
作者：Ouzahra, Mohamed
作者单位：Sidi Mohamed Ben Abdellah University of Fez
摘要：This article discusses the uniform exponential stabilization of bilinear systems with multiplicative control inputs. We first consider the case of finite-dimensional bilinear systems, and we present stabilization results concerning the case of open-loop stable systems using a bang-bang feedback control. For open-loop unstable systems, a normalized quadratic time-varying feedback control is proposed. These results are then applied to infinite-dimensional case. Necessary and sufficient condition...
-
作者：Rabehi, Djahid; Meslem, Nacim; El Amraoui, Adnen; Ramdani, Nacim
作者单位：Universite de Orleans; Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); Centre National de la Recherche Scientifique (CNRS); Universite d'Artois
摘要：This article addresses the modeling and the design of an interval state observer for a linear time-invariant plant in the presence of sporadically available measurements corrupted by unknown-but-bounded errors and noise. The interval observer is modeled as an impulsive system where an impulsive correction is made whenever a measurement is available. The non-negativity of the observation error between two successive measurements is preserved by applying the internal positivity based on the Mull...
-
作者：Lesage-Landry, Antoine; Taylor, Joshua A.; Shames, Iman
作者单位：University of California System; University of California Berkeley; University of Melbourne; University of Toronto; University of Melbourne
摘要：We present the online Newton's method, a single-step second-order method for online nonconvex optimization. We analyze its performance and obtain a dynamic regret bound that is linear in the cumulative variation between round optima. We show that if the variation between round optima is limited, the method leads to a constant regret bound. In the general case, the online Newton's method outperforms online convex optimization algorithms for convex functions and performs similarly to a specializ...
-
作者：Fotiadis, Filippos; Rovithakis, George A.
作者单位：University System of Georgia; Georgia Institute of Technology; Aristotle University of Thessaloniki
摘要：This article considers the problem of prescribed performance tracking control for a class of uncertain, multi-input multi-output (MIMO) nonlinear systems having a low-triangular structure, with possibly discontinuous reference signals. Prescribed performance means that the output tracking errors should converge to a prescribed maximum residual set in fixed time, exhibiting a predefined maximum overshoot. The controller we propose is of low complexity and is designed according to the philosophy...
-
作者：Koenig, Adam W.; D'Amico, Simone
作者单位：Stanford University
摘要：This article presents a new fast and robust algorithm that provides fuel-optimal impulsive control input sequences that drive a linear time-variant system to a desired state at a specified time. This algorithm is applicable to a broad class of problems where the cost is expressed as a time-varying norm-like function of the control input, enabling inclusion of complex operational constraints in the control planning problem. First, it is shown that the reachable sets for this problem have identi...
-
作者：Lu, Junjie; She, Zhikun; Liu, Bodan; Ge, Shuzhi Sam
作者单位：University of Science & Technology Beijing; Beihang University; National University of Singapore
摘要：This article concerns the theoretical analysis and mechanical verification of input-to-state stability (ISS) for nonautonomous discrete-time switched systems. To start with, based on a bounded function and the average dwell time, we successively propose less conservative sufficient conditions for uniform input-to-state stability, global uniform asymptotic input-to-state stability, and global uniform exponential input-to-state stability of nonautonomous switched nonlinear systems. Then, for sys...
-
作者：Feketa, Petro; Schaum, Alexander; Meurer, Thomas
作者单位：University of Kiel
摘要：We prove the existence of a multidimensional nontrivial invariant toroidal manifold for the Kuramoto network with adaptive coupling. The constructed invariant manifold corresponds to the multicluster behavior of the oscillators phases. Contrary to the static coupling, the adaptive coupling strengths exhibit quasiperiodic oscillations preserving zero phase-difference within clusters. The derived sufficient conditions for the existence of the invariant manifold provide a tradeoff between the nat...
-
作者：Haesaert, Sofie; Soudjani, Sadegh
作者单位：Eindhoven University of Technology; Newcastle University - UK
摘要：Discrete-time stochastic systems are an essential modeling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces. For this class of models, methods for the formal verification and synthesis of control strategies are computationally hard and generally rely on the use of approximate abstractions. Building on approximate abstractions, we compute control strategies with lower- and upper-bounds for satisfying unbounded temporal logic spec...
