{"title":"Student Programs","authors":"","doi":"10.1644/1545-1542-90.5.1274","DOIUrl":"https://doi.org/10.1644/1545-1542-90.5.1274","url":null,"abstract":"","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"11 1","pages":"1274 - 1276"},"PeriodicalIF":0.0,"publicationDate":"2019-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86904390","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}
Suda Bharadwaj, Roderik Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
{"title":"Synthesis of Minimum-Cost Shields for Multi-agent Systems.","authors":"Suda Bharadwaj, Roderik Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu","doi":"10.23919/acc.2019.8815233","DOIUrl":"10.23919/acc.2019.8815233","url":null,"abstract":"<p><p>In this paper, we propose a general approach to derive runtime enforcement implementations for multi-agent systems, called shields, from temporal logical specifications. Each agent of the multi-agent system is monitored, and if needed corrected, by the shield, such that a global specification is always satisfied. The different ways of how a shield can interfere with each agent in the system in case of an error introduces the need for quantitative objectives. This work is the first to discuss the shield synthesis problem with quantitative objectives. We provide several cost functions that are utilized in the multi-agent setting and provide methods for the synthesis of cost-optimal shields and fair shields, under the given assumptions on the multi-agent system. We demonstrate the applicability of our approach via a detailed case study on UAV mission planning for warehouse logistics and simulating the shielded multi-agent system on ROS/Gazebo.</p>","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"2019 ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6999756/pdf/nihms-1061678.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"37611703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Bistability Requires Better Balanced Toggle Switches in the Presence of Competition for Shared Cellular Resources","authors":"A. György","doi":"10.23919/ACC.2019.8815350","DOIUrl":"https://doi.org/10.23919/ACC.2019.8815350","url":null,"abstract":"","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"27 1","pages":"1541-1546"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81474284","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}
C. Bennani, F. Bedouhene, A. Zemouche, H. Bibi, K. C. Draa, A. Aitouche, R. Rajamani
{"title":"Robust H∞ Observer-Based Stabilization of Linear Discrete-Time Systems with Parameter Uncertaintes","authors":"C. Bennani, F. Bedouhene, A. Zemouche, H. Bibi, K. C. Draa, A. Aitouche, R. Rajamani","doi":"10.23919/ACC.2018.8431745","DOIUrl":"https://doi.org/10.23919/ACC.2018.8431745","url":null,"abstract":"This paper addresses the problem of observer-based stabilization of discrete-time linear systems in presence of parameter uncertainties and $ell_{2}$ -bounded disturbances. We propose a new variant of the classical two-steps LMI approach. In the first step, we use a slack variable technique to solve the optimization problem resulting from the stabilization problem by a static state feedback. In the second step, a part of the slack variable obtained is incorporated in the $mathcal{H}_{infty}$ observer-based stabilization problem, to calculate simultaneously the Lyapunov matrix and the observer-based controller gains. Numerical evaluation by Monte Carlo is presented to show the superiority of the proposed Modified Two-Steps Method (MTSM) from LMI feasibility point of view.","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"49 1","pages":"4398-4402"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86679429","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":"Learning-based Approaches for Controlling Neural Spiking.","authors":"Sensen Liu, Noah M Sock, ShiNung Ching","doi":"10.23919/acc.2018.8431158","DOIUrl":"10.23919/acc.2018.8431158","url":null,"abstract":"<p><p>We consider the problem of controlling populations of interconnected neurons using extrinsic stimulation. Such a problem, which is relevant to applications in both basic neuroscience as well as brain medicine, is challenging due to the nonlinearity of neuronal dynamics and the highly unpredictable structure of underlying neuronal networks. Compounding this difficulty is the fact that most neurostimulation technologies offer a single degree of freedom to actuate tens to hundreds of interconnected neurons. To meet these challenges, here we consider an adaptive, learning-based approach to controlling neural spike trains. Rather than explicitly modeling neural dynamics and designing optimal controls, we instead synthesize a so-called control network (CONET) that interacts with the spiking network by maximizing the Shannon mutual information between it and the realized spiking outputs. Thus, the CONET learns a representation of the spiking network that subsequently allows it to learn suitable control signals through a reinforcement-type mechanism. We demonstrate feasibility of the approach by controlling networks of stochastic spiking neurons, wherein desired patterns are induced for neuron-to-actuator ratios in excess of 10 to 1.</p>","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"2018 ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8046338/pdf/nihms-1056743.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38877182","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Passivity-Based Control with a Generalized Energy Storage Function for Robust Walking of Biped Robots.","authors":"Mark R Yeatman, Ge Lv, Robert D Gregg","doi":"10.23919/ACC.2018.8431783","DOIUrl":"https://doi.org/10.23919/ACC.2018.8431783","url":null,"abstract":"<p><p>This paper offers a novel generalization of a passivity-based, energy tracking controller for robust bipedal walking. Past work has shown that a biped limit cycle with a known, constant mechanical energy can be made robust to uneven terrains and disturbances by actively driving energy to that reference. However, the assumption of a known, constant mechanical energy has limited application of this passivity-based method to simple toy models (often passive walkers). The method presented in this paper allows the passivity-based controller to be used in combination with an arbitrary inner-loop control that creates a limit cycle with a constant <i>generalized system energy</i>. We also show that the proposed control method accommodates arbitrary degrees of underactuation. Simulations on a 7-link biped model demonstrate that the proposed control scheme enlarges the basin of attraction, increases the convergence rate to the limit cycle, and improves robustness to ground slopes.</p>","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"2018 ","pages":"2958-2963"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.23919/ACC.2018.8431783","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"36496928","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Welcome to the ACC2018","authors":"R. Braatz, J. Berg, Zongli Lin, F. Allgöwer","doi":"10.23919/ACC.2018.8430816","DOIUrl":"https://doi.org/10.23919/ACC.2018.8430816","url":null,"abstract":"The American Control Conference is organized under the auspices of the American Automatic Control Council (AACC), which is an association of nine professional societies","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"15 1","pages":"1-5"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78448690","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":"Experiment Design for Early Molecular Events in HIV Infection.","authors":"Aditya Jagarapu, LaMont Cannon, Ryan Zurakowski","doi":"10.23919/ACC.2017.7962941","DOIUrl":"https://doi.org/10.23919/ACC.2017.7962941","url":null,"abstract":"<p><p>The recent introduction of integrase inhibitors to the HIV antiviral repertoire permits us to create in vitro experiments that reliably terminate HIV infection at the point of chromosomal integration. This allows us to isolate the dynamics of a single round of infection, without needing to account for the influence of multiple overlapping rounds of infection. By measuring the various nucleic acid concentrations in a population of infected target cells at multiple time points, we can infer the rates of these molecular events with great accuracy, which allows us to compare the rates between target cells with different functional phenotypes. This information will help in understanding the behavior of the various populations of reservoir cells such as active and quiescent T-cells which maintain HIV infection in treated patients. In this paper, we introduce a family of models of the early molecular events in HIV infection, with either linear dynamics or age-structured delays at each step. We introduce an experimental design metric based on the delta AIC (Akaike Information Criteria) between a model fit for simulated data from a matching model vs a mismatched model, which allows us to determine a candidate experiment design's ability to discriminate between models. Using parameters values drawn from experimentally-derived priors corrupted with appropriate measurement noise, we confirm that a proposed sampling schedule at different time points allows us to consistently discriminate between candidate models.</p>","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"2017 ","pages":"122-127"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.23919/ACC.2017.7962941","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"35735699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
S. Sankaranarayanan, N. Sivakumaran, G. Swaminathan, T. Radhakrishnan
{"title":"Soft sensor based estimation of process parameters and states with Hybridized Grey Wolf Optimizer","authors":"S. Sankaranarayanan, N. Sivakumaran, G. Swaminathan, T. Radhakrishnan","doi":"10.23919/ACC.2017.7963228","DOIUrl":"https://doi.org/10.23919/ACC.2017.7963228","url":null,"abstract":"Metaheuristics based global optimization technique is one among the state of art in soft sensing applications. The metaheuristic based soft sensor is capable of coping with the stochasticity of the process and as well as the corresponding nonlinearities in the dynamics. In this work, a multi-objective based parameter estimation and soft-sensing of unknown states are carried out for a modified version of Quadruple Tank Process (QTP). The effect of the outlet valve over the dynamics of the process is briefly investigated to emphasize the implication of these parameters in the process. The unknown parameters and unobserved states of the QTP are estimated through a Hybridized Grey Wolf Optimization (HGWO). The HGWO is a metaheuristic based optimization, hybridized with static Kalman Bucy (KB) algorithm. The hybridization is carried out to improve the convergence rate of the existing algorithm in terms of ideal computational cycle and proximity towards the global solution. Performance of the proposed HGWO is compared along with the conventional GWO algorithm. The estimation is executed for QTP operating in Non-Minimum Phase (NMP) mode and the simulated results proves the proposed HGWO based soft sensor provides a better result compared to the GWO algorithm.","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"48 1","pages":"1892-1897"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81551972","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}
Revathi Soundiran, T. Radhakrishnan, Sivakumaran Natarajan
{"title":"Climate control in greenhouse using intelligent control algorithms","authors":"Revathi Soundiran, T. Radhakrishnan, Sivakumaran Natarajan","doi":"10.23919/ACC.2017.7963065","DOIUrl":"https://doi.org/10.23919/ACC.2017.7963065","url":null,"abstract":"Greenhouse climate control problem has received considerable attention in agriculture engineering research. The greater part of accomplishing ensured farming within the greenhouse environment is achieved by controlling the temperature and relative humidity. As the result of process dead times and extreme interdependence of these parameters, the control problem is classified to be non-linear and multivariable. With the advances in intelligent control systems, more and more decisions involved in greenhouse control can be automated. Thus, more emphasis can be placed on emulating the abilities of the expert operator. In this paper, intelligent and non-intelligent control techniques for addressing the problem of automated climate control in a greenhouse are investigated. These include proportional-integral-derivative (PID) and Linear-Quadratic regulator (LQR) as a ‘non-intelligent’ technique and fuzzy PID and fuzzy immune PID as ‘intelligent’ technique. The new study is made for implementing the nonlinear fuzzy immune PID controller for greenhouse climate control. This controller has a simple structure and its parameters can be conveniently adjusted. It consists of a PID controller and a basic immune proportional controller in cascaded connection, the nonlinear function of the immune proportional controller is realized using fuzzy reasoning. Thus, controller parameters are adjusted online by the rules of immune feedback controller and fuzzy controller. The simulation results are compared for the effectiveness and applicability to greenhouse environmental problem.","PeriodicalId":74510,"journal":{"name":"Proceedings of the ... American Control Conference. American Control Conference","volume":"43 10 1","pages":"887-892"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82862232","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}