{"title":"A backwards error analysis approach for simulation and control of nonsmooth mechanical systems","authors":"David Pekarek, T. Murphey","doi":"10.1109/CDC.2011.6160975","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160975","url":null,"abstract":"This paper presents an original structured integration scheme for Lagrangian systems undergoing elastic impacts due to unilateral constraints. In deriving the method, a backwards error analysis approach establishes a discrete time conservation law for impacts using the notion of a modified system Hamiltonian. Shortcomings of existing simulation methods that do not use this conservation law are demonstrated both analytically and in simulation. Relative to these methods, our scheme provides advantages in terms of discrete time energy behavior, accuracy of trajectories, and consistent order of accuracy of the method.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114674736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
G. Kalyon, Tristan Le Gall, H. Marchand, T. Massart
{"title":"Synthesis of communicating controllers for distributed systems","authors":"G. Kalyon, Tristan Le Gall, H. Marchand, T. Massart","doi":"10.1109/CDC.2011.6160584","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160584","url":null,"abstract":"We consider the control of distributed systems composed of subsystems communicating asynchronously; the aim is to build local controllers that restrict the behavior of a distributed system in order to satisfy a global state avoidance property. We model our distributed systems as communicating finite state machines with reliable unbounded FIFO queues between subsystems. Local controllers can only observe their proper local subsystems and do not observe the queues. To refine their control policy, they can use the FIFO queues to communicate by piggybacking extra information to the messages sent by the subsystems. We define synthesis algorithms allowing to compute the local controllers. We explain how we can ensure the termination of this control algorithm by using abstract interpretation techniques, to overapproximate queue contents by regular languages. An implementation of our algorithms provides an empirical evaluation of our method.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121811143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A liveliness analysis of a distributed constrained coordination strategy for multi-agent linear systems","authors":"A. Casavola, E. Garone, Francesco Saverio Tedesco","doi":"10.1109/CDC.2011.6160821","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160821","url":null,"abstract":"In this paper we present a complete liveliness analysis for a novel distributed supervision strategy for multi-agent systems connected via data links and subject to coordination constraints. A geometrical Constraints Qualification (CQ) condition on the prescribed constraints is proposed whose fulfilment avoid deadlock situations and ensure viable solutions. Such a coordination paradigm, referred to as coordination-by-constraint, is accomplished by solving on-line in a distributed manner a convex optimization problem involving the modification of the prescribed nominal set-point of each agent. A sequential strategy, where only one agent at the time is allowed to manipulate its own setpoint, is discussed and it is shown that the solvability at each time instant of the underlying optimization problem, unlike the centralized case, can be ensured only if the constraints satisfy such a (CQ) condition, which can be easily checked from the outset via a numerical procedure provided in the paper. An algorithm to compute Constraints Qualified (CD) arbitrarily accurate inner approximations of the original constraint set is also presented and exemplified in final example.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124256998","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Multi-agent rigid formations: A study of robustness to the loss of multiple agents","authors":"S. A. Motevallian, Changbin Yu, B. Anderson","doi":"10.1109/CDC.2011.6161049","DOIUrl":"https://doi.org/10.1109/CDC.2011.6161049","url":null,"abstract":"In this paper we study the robustness of information architectures to control a formation of autonomous agents. If agents are expected to work in hazardous environments like battle-fields, the formations are prone to multiple agent/link loss. Due to the higher severity of agent loss than link loss, the main contribution of this paper is to propose information architectures for shape-controlled multi-agent formations, which are robust against the loss of multiple agents. A formation is said to be rigid if by actively maintaining a designated set of inter-agent distances, the formation preserves its shape. We will use the rigidity theory to formalize the robust architecture problem. In particular we study the properties of formation graphs which remain rigid after the loss of any set of up to k−1 vertices. Such a graph is called k-vertex rigid. We provide a set of distinct necessary and sufficient conditions for these graphs. We then show that 3-vertex rigidity is the highest possible robustness one can achieve by just adding a small number of edges to a minimally rigid graph, i.e. retention of rigidity given the loss of 3 or more agents of a formation requires many more inter-agent distances to be specified than when maintaining rigidity with no, one or two agent losses. Based on this result, we further focus on 3-vertex rigid graphs and characterize a class of information architectures (with minimum number of control links) which are robust against the loss of up to two agents.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"134 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124257536","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Local stability results for the collective behaviors of infinite populations of pulse-coupled oscillators","authors":"A. Mauroy, R. Sepulchre","doi":"10.1109/CDC.2011.6160621","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160621","url":null,"abstract":"In this paper, we investigate the behavior of pulse-coupled integrate-and-fire oscillators. Because the stability analysis of finite populations is intricate, we investigate stability results in the approximation of infinite populations. In addition to recovering known stability results of finite populations, we also obtain new stability results for infinite populations. In particular, under a weak coupling assumption, we solve for the continuum model a conjecture still prevailing in the finite dimensional case.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116648881","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Synthesis for optimal two-player decentralized control over TCP erasure channels with state feedback","authors":"Chung-Ching Chang, S. Lall","doi":"10.1109/CDC.2011.6160998","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160998","url":null,"abstract":"We propose a state-space synthesis for infinite horizon decentralized LQG control problems over TCP erasure channels with state feedback under sufficient conditions on convergence and stability. The decentralized system under consideration consists of two interconnected systems with unidirectional information communication from system 1 to system 2. The finite horizon counterpart of this problem was proposed previously, along with two modified Riccati recursions. When the mean packet drop rate E(N) satisfies two given conditions on convergence and stability, we show that the sequence of optimal finite horizon costs converges and construct an optimal infinite horizon synthesis.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"10 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120924379","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An IIR Youla-Kucera parametrized adaptive feedforward compensator for active vibration control with mechanical coupling","authors":"I. Landau, T. Airimitoaie, M. Alma","doi":"10.1109/CDC.2011.6160221","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160221","url":null,"abstract":"Adaptive feedforward broadband vibration (or noise) compensation is currently used when a measurement correlated with the disturbance is available. However, in most of the systems there is a “positive” feedback coupling between the compensator system and the disturbance correlated measurement. This may lead to the instability of the system. The paper proposes a new Youla-Kucera (YK) parametrization of the compensator. The central compensator assures the stability of the system and its performances are enhanced in real time by the adaptation of the parameters of an IIR Youla-Kucera filter. An analysis of the resulting system is provided. The results of this paper on one hand generalize previous results obtained for FIR Youla-Kucera adaptive filters and on the other hand lead to a significant reduction of the number of parameter to be adapted for the same level of performance. The algorithm has been applied to an Active Vibration Control (AVC) system and real time results are presented.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121225328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A note on the deployment of kinematic agents by binary information","authors":"C. D. Persis, M. Cao, F. Ceragioli","doi":"10.1109/CDC.2011.6160576","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160576","url":null,"abstract":"The problem of deploying continuous-time kinematic agents on a line is considered. To achieve the prescribed formation each agent uses a binary information, namely whether the distance of the agent from a neighbor is below or above the prescribed inter-agent distance. A simple control law which achieves and maintains the formation despite the coarse information available is designed.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127098178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Steady state stability preserving nonlinear model reduction using sequential convex optimization","authors":"Martin Löhning, J. Hasenauer, F. Allgöwer","doi":"10.1109/CDC.2011.6161227","DOIUrl":"https://doi.org/10.1109/CDC.2011.6161227","url":null,"abstract":"Models of dynamical systems become increasingly complex. While this allows a more accurate description of the underlying process, it often renders the application of model-based control algorithms infeasible. In this paper, we propose a model reduction procedure for systems described by nonlinear ordinary differential equations. The reduced model used to approximate the input-output map of the system is parameterized via the observability normal form. To preserve the steady states of the system and their stability properties, the set of feasible parameters of the reduced model has to be constrained. Therefore, we derive necessary and sufficient conditions for simultaneous exponential stability of a set of steady states of the nonlinear reduced model. The local approximation of these constraints results in a sequential convex program for computing the optimal parameters. The proposed approach is evaluated using the Fermi-Pasta-Ulam model.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127098180","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Convergence and stability analysis for iterative dynamics with application in balanced resource allocation: A trajectory distance based Lyapunov approach","authors":"Qing Hui","doi":"10.1109/CDC.2011.6160322","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160322","url":null,"abstract":"This paper addresses the convergence and stability analysis for iterative processes such as numerical iterative algorithms by using a novel trajectory distance based approach. Iterative dynamics are widespread in distributed algorithms and numerical analysis. However, efficient analysis of convergence and sensitivity of iterative dynamics is quite challenging due to the lack of systematic tools. For instance, the trajectories of iterative dynamics are usually not continuous with respect to the initial condition. Hence, the classical dynamical systems theory cannot be applied directly. In this paper, a trajectory distance based Lyapunov approach is proposed as a means to tackling convergence and sensitivity to the initial condition of iterative processes. Technically the problem of convergence and sensitivity is converted into finiteness of trajectory distance and semistability analysis of discrete-time systems. A semidefinite Lyapunov function based trajectory distance approach is proposed to characterize convergence and semistability of iterative dynamics. Two examples are provided to elucidate the proposed method. Finally, the proposed framework is used to solve the convergence and stability of iterative algorithms developed for balanced resource allocation and damage mitigation problems under adversarial attacks.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127288991","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}