{"title":"Control by coin flips: Mixed strategy for finite-horizon stochastic optimal control","authors":"M. Ono","doi":"10.1109/ACC.2016.7526513","DOIUrl":"https://doi.org/10.1109/ACC.2016.7526513","url":null,"abstract":"It may sound counterintuitive that choosing control inputs randomly lowers cost in an optimal control problem. It can be the case in a nonconvex chance-constrained optimal control problem, including stochastic model predictive control (SMPC). This is because allowing mixed strategy convexifies a nonconvex problem; the expected cost and the probability of constraint violation of a mixed strategy control is a convex combination of pure strategy controls. Therefore the improvement in cost that mixed strategy control provides over pure strategy is equal to the duality gap. This paper presents an efficient method to compute an optimal mixed strategy solution through dual optimization. The focus of this paper is given to the solution method to finite-horizon, constrained stochastic optimal control problems, which are solved at each iteration of SMPC. We demonstrate the method on a chance-constrained trajectory planning problem with obstacles.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123621261","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":"Distributed estimation in general directed sensor networks based on batch covariance intersection","authors":"Tao Sun, M. Xin, Bin Jia","doi":"10.1109/ACC.2016.7526531","DOIUrl":"https://doi.org/10.1109/ACC.2016.7526531","url":null,"abstract":"The paper presents a distributed estimation scheme based on a new batch covariance intersection (BCI) strategy and an average consensus algorithm to address the problem of data fusion in sensor networks. Due to sharing common prior knowledge, process noise and/or existence of correlated measurement noise, the error of the local estimates from each sensor node in a sensor network is correlated with each other to some extent with unknown cross-correlation. The BCI scheme can handle the correlation in the data fusion in a distributed way by means of an average consensus algorithm so that no fusion center is needed. Moreover, the proposed average consensus algorithm can be applied in a general digraph including the non-balanced topology. A cooperative target tracking problem using multiple UAVs as the mobile sensor network is used to demonstrate the performance of this new distributed estimation algorithm.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123632773","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":"LPV-IO controller design: An LMI approach","authors":"Simon Wollnack, H. Werner","doi":"10.1109/ACC.2016.7526080","DOIUrl":"https://doi.org/10.1109/ACC.2016.7526080","url":null,"abstract":"Stability and ℒ2-performance of linear parameter-varying (LPV) systems in input-output (IO) form are considered. Based on our previous results, novel linear matrix inequality conditions are presented that allow to compute a stabilizing full-order LPV-IO controller which satisfies ℒ2-performance constraints by means of a convex program. The problem of dynamic parameter dependence that usually hinders the derivation of practical stability and performance conditions is avoided completely. An illustrative example demonstrates the merits of the proposed LMI conditions when applied to LPV-IO controller synthesis.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121175644","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":"Adaptive observer and controller for magnetic microactuators","authors":"Harshwardhan Karve, R. Groff","doi":"10.1109/ACC.2016.7525457","DOIUrl":"https://doi.org/10.1109/ACC.2016.7525457","url":null,"abstract":"Flexural magnetic actuators can be used for actuation at small length scales in microfluidics applications. These actuators may be unstable in some region of operation. The actuators can be stabilized easily using model based controllers if the actuator is modeled accurately and model parameters are known. Estimating model parameters accurately from first principles or straightforward measurements is not feasible in practice. An adaptive observer-controller is presented here. The adaptive observer estimates the model parameters and system states and the indirect adaptive controller stabilizes the actuator in the unstable region and ensures trajectory tracking.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121643149","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":"Independent blade pitch controller design for a three-bladed turbine using disturbance accommodating control","authors":"Na Wang, A. Wright, K. Johnson","doi":"10.1109/ACC.2016.7525261","DOIUrl":"https://doi.org/10.1109/ACC.2016.7525261","url":null,"abstract":"Two independent pitch controllers (IPCs) based on the disturbance accommodating control (DAC) algorithm are designed for the three-bladed Controls Advanced Research Turbine to regulate rotor speed and to mitigate blade root flapwise bending loads in above-rated wind speed. One of the DAC-based IPCs is designed based on a transformed symmetrical-asymmetrical (TSA) turbine model, with wind disturbances being modeled as a collective horizontal component and an asymmetrical linear shear component. Another DAC-based IPC is designed based on a multiblade coordinate (MBC) transformed turbine model, with a horizontal component and a vertical shear component being modeled as step waveform disturbance. Both of the DAC-based IPCs are found via a regulation equation solved by Kronecker product. Actuator dynamics are considered in the design processes to compensate for actuator phase delay. The simulation study shows the effectiveness of the proposed DAC-based IPCs compared to a proportional-integral (PI) collective pitch controller (CPC). Improvement on rotor speed regulation and once-per-revolution and twice-per-revolution load reductions has been observed in the proposed IPC designs.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121651328","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":"Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning","authors":"B. Wu, Hai Lin","doi":"10.1109/ACC.2016.7526535","DOIUrl":"https://doi.org/10.1109/ACC.2016.7526535","url":null,"abstract":"Planning and decision making of multi-agent systems (MAS) under uncertainties has been a hot research area for decades as it finds a wide spectrum of applications in communication, control, robotics and so on. In recent years formal methods emerge in MAS problems due to its correct-by-design nature. Previously we considered the permissive supervisor synthesis for a single agent and this paper extends the result to consider multi-agent systems. The extension is not straightforward as the number of agents in the system grows. The state space explosion problem and local supervisor synthesis pose new challenges. We are therefore motivated to propose a novel automatic local supervisor synthesis framework based on learning and compositional model checking. With the recent advance in assume-guarantee reasoning verification for probabilistic systems, building the composed system can be avoided to alleviate the state space explosion and we propose a particular procedure to identify which subsystem is at fault when our system cannot meet the specification. Our approach is guaranteed to terminate in finite steps and to be correct.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"234 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113983065","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":"Application and evaluation of an LPV integral sliding mode fault tolerant control scheme on the RECONFIGURE benchmark","authors":"Lejun Chen, H. Alwi, C. Edwards","doi":"10.1109/ACC.2016.7525487","DOIUrl":"https://doi.org/10.1109/ACC.2016.7525487","url":null,"abstract":"This paper describes the application of a linear parameter-varying integral sliding mode control allocation scheme to the RECONFIGURE benchmark model to deal with an elevator failure/fault scenario. The proposed scheme has the capability to maintain the closed-loop nominal load factor control performance in the face of elevator failures/faults, by effectively redistributing a retro-fitted signal to the healthy elevators without reconfiguring the baseline controller. In order to reduce any chattering appearing in the elevator demands, the retro-fitted signal is based on a super-twisting sliding mode structure. The efficiency of the scheme is evaluated using an industrial functional engineering simulator (FES) as part of the RECONFIGURE project.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114771029","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}
E. Harinath, Lucas C. Foguth, J. Paulson, R. Braatz
{"title":"Nonlinear model predictive control using polynomial optimization methods","authors":"E. Harinath, Lucas C. Foguth, J. Paulson, R. Braatz","doi":"10.1109/ACC.2016.7524882","DOIUrl":"https://doi.org/10.1109/ACC.2016.7524882","url":null,"abstract":"This paper reviews and provides perspectives on the design of nonlinear model predictive control systems for polynomial systems. General nonlinear systems can often be rewritten exactly as polynomial systems or approximated as polynomial systems using Taylor series. This paper discusses the application of model predictive control (MPC) to these types of systems. After MPC problem for discrete-time polynomial systems is formulated as a polynomial program, moment-based and dual-based sum-of-squares (SOS) algorithms and their relationship are described as two promising methods for solving the polynomial programs to global optimality. Finally, future directions for research are proposed, including real-time, output-feedback, and robust/stochastic polynomial MPC.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"459 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124344237","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":"MPC for coupled station keeping, attitude control, and momentum management of low-thrust geostationary satellites","authors":"A. Walsh, S. D. Cairano, A. Weiss","doi":"10.1109/ACC.2016.7526842","DOIUrl":"https://doi.org/10.1109/ACC.2016.7526842","url":null,"abstract":"This paper develops a model predictive control (MPC) policy for simultaneous station keeping, attitude control, and momentum management of a nadir-pointing geostationary satellite equipped with three reaction wheels and four gimbaled electric thrusters that are located on the anti-nadir face of the satellite. The MPC policy works in combination with an inner-loop SO(3)-based attitude controller that ensures the satellite maintains a nadir-pointing attitude. The MPC policy is able to maintain the satellite's position within a prescribed latitude and longitude window, while minimizing the Δv required by the thrusters. The MPC policy also enforces thruster pointing constraints and manages the satellite's stored momentum. With reference to simulation results, we explain how the MPC is tuned for station keeping, the need for an inner-loop attitude controller, and how these separate systems work together to achieve all the controller's objectives.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124069363","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. Osorio-Gordillo, M. Darouach, L. Boutat-Baddas, C. Astorga-Zaragoza
{"title":"H∞ generalized dynamic observer-based control for uncertain descriptor systems","authors":"G. Osorio-Gordillo, M. Darouach, L. Boutat-Baddas, C. Astorga-Zaragoza","doi":"10.1109/ACC.2016.7526555","DOIUrl":"https://doi.org/10.1109/ACC.2016.7526555","url":null,"abstract":"The present paper considers the H∞ generalized dynamic observer-based control for uncertain descriptor systems by using a generalized dynamic observer (GDO), which is more general than the proportional observer (PO) and the proportional-integral observer (PIO). The objective is to stabilize an uncertain descriptor system that normally is unstable by using the estimates given by the GDO while a given level of disturbance attenuation is assured. The stability conditions for the existence of this H∞ GDO-based control are given in terms of a set of linear matrix inequalities (LMIs). A numerical example is given to show the present approach.","PeriodicalId":137983,"journal":{"name":"2016 American Control Conference (ACC)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127703823","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}