Jorge Serrano-Heredia, A. Loukianov, E. Bayro-Corrochano
{"title":"Sliding mode block control regulation of the Pendubot","authors":"Jorge Serrano-Heredia, A. Loukianov, E. Bayro-Corrochano","doi":"10.1109/CDC.2011.6161245","DOIUrl":"https://doi.org/10.1109/CDC.2011.6161245","url":null,"abstract":"In this work, the problem of nonlinear regulation of an underactuated system is treated by means of sliding mode continuous control actions combined with block control technique. The sliding mode state feedback output regulator based on the super twisting algorithm, is applied to the Pendubot system. The transformation of the original system to regular form and then block control technique are used to design a sliding manifold with asymptotically stable motion. To verify the effectiveness of the method, simulations are carried out.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"36 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121011560","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":"On stability across a Gaussian product channel","authors":"U. Kumar, V. Gupta, J. N. Laneman","doi":"10.1109/CDC.2011.6160955","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160955","url":null,"abstract":"We present sufficient conditions for stabilizing a scalar discrete-time LTI plant in the mean squared sense when a sensor transmits the plant state information to a remotely placed controller across a Gaussian product channel. The Gaussian product channel models a continuous-time waveform Gaussian channel, where the encoder transmits information to the receiver across multiple noisy paths. It is known that linear coding schemes may lead to overly restrictive stabilizability conditions in such scenarios. We present a non-linear coding scheme and present the resulting stablizability conditions. When these conditions are satisfied with equality, the proposed coding scheme transmits data across the product channel at a rate equal to the capacity of the channel; thus, the conditions are conjectured to be necessary as well.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"7 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":"121147842","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":"Decentralized control using compositional analysis techniques","authors":"F. Kerber, A. Schaft","doi":"10.1109/CDC.2011.6160781","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160781","url":null,"abstract":"Decentralized control strategies aim at achieving a global control target by means of distributed local controllers acting on individual subsystems of the overall plant. In this sense, decentralized control is a dual problem to compositional analysis where a global verification task is decomposed into several local tasks involving components of the overall system. In this paper we apply recently developed compositional reasoning techniques to decentralized control problems for linear systems. We assume the global plant and global specification to be both given as series of feedback interconnections. In this setting compositional and assume-guarantee reasoning schemes can be shown to be valid. Provided the local controllers are such that the locally controlled subsystems of the plant satisfy their respective sub-specifications the network of locally controlled plants is then guaranteed to satisfy the global specification.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"4 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":"121188854","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":"Model-based threat assessment in semi-autonomous vehicles with model parameter uncertainties","authors":"Mohammad Ali, P. Falcone, J. Sjöberg","doi":"10.1109/CDC.2011.6161394","DOIUrl":"https://doi.org/10.1109/CDC.2011.6161394","url":null,"abstract":"In this paper, we consider model-based threat assessment methods which rely on vehicle and driver mathematical models and are based on reachability analysis tools and set invariance theory. We focus on the parametric uncertainties of the driver mathematical model and show how these can be accounted for in the threat assessment. The novelty of the proposed methods lies in the inclusion of the driver model uncertainties in the threat assessment problem formulation and in their validation through experimental data. We show how different ways of accounting for the model uncertainties impact the capabilities and the effectiveness of the proposed algorithms in detecting hazardous driving situations.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"144 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":"114311095","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":"Economic model predictive control using Lyapunov techniques: Handling asynchronous, delayed measurements and distributed implementation","authors":"Mohsen Heidarinejad, Jinfeng Liu, P. Christofides","doi":"10.1109/CDC.2011.6160304","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160304","url":null,"abstract":"This work focuses on economic model predictive control of nonlinear systems. First, an economic model predictive control algorithm that efficiently handles asynchronous and delayed measurements is presented and its application to a chemical process example is demonstrated. This algorithm uses suitable Lyapunov-based constraints to ensure closed-loop stability for a well-defined set of initial conditions. Second, a distributed economic model predictive control architecture for nonlinear systems is presented. In this architecture, the distributed controllers communicate in a sequential fashion, optimize their inputs through maximizing a plant-wide (global) economic objective function and guarantee practical stability of the closed-loop system.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"279 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":"116319989","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 subspace algorithm for identifying 2-D CRSD systems with deterministic inputs","authors":"J. Ramos, A. Alenany, H. Shang, P. Santos","doi":"10.1109/CDC.2011.6161299","DOIUrl":"https://doi.org/10.1109/CDC.2011.6161299","url":null,"abstract":"In this paper, the class of subspace system identification algorithms is used to derive a new identification algorithm for 2-D causal, recursive, and separable-in-denominator (CRSD) state space systems in the Roesser model form. The algorithm take a given deterministic input-output pair of 2-D signals and computes the system order (n) and system parameter matrices {A;B;C;D}. Since the CRSD model can be treated as two 1-D systems, the proposed algorithm first separates the vertical component from the state and output equations and then formulates an equivalent set of 1-D horizontal subspace equations. The solution to the horizontal subspace identification subproblem contains all the information necessary to compute the system order and parameter matrices, including those from the vertical subsystem.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"134 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":"116567887","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":"Genetic regulatory network identification using multivariate monotone functions","authors":"Nicholas Cooper, C. Belta, A. Julius","doi":"10.1109/CDC.2011.6161460","DOIUrl":"https://doi.org/10.1109/CDC.2011.6161460","url":null,"abstract":"We present a method for identification of gene regulatory network topology using a time series of gene expression data. The underlying assumption is that the regulatory effects of a set of regulators to a gene can be described by a multivariate function. The multivariate function is constrained to be continuous, nonnegative and monotonic in each variable. We present necessary and sufficient conditions for the validity of the regulation hypothesis. Checking these conditions can be expressed as a Linear Programming feasibility problem. This paper builds on our previous work, where the regulation is described by a summation of multiple regulator functions, one function for each gene in the regulator set. Our procedure is two phased; the first identifies the correct set of regulators, the second uses the data and the regulator set to generate an appropriate regulator function. This paper focuses on the identification of the correct regulator set. As demonstration, we run our main algorithm on some experimental data from a synthetic gene network in yeast. We are able to show that the correct set of regulators is picked by the algorithm.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"163 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":"121462959","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 hybrid observer for frequency estimation of saturated multi-frequency signals","authors":"D. Carnevale, A. Astolfi","doi":"10.1109/CDC.2011.6160889","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160889","url":null,"abstract":"A hybrid observer to estimate the frequencies of a saturated multi-frequency signal is proposed. The observer is based on the Immersion and Invariance technique combined with a high-gain approach. This paper is a (semi-global) generalization of the result in [1] to the case of multiple frequencies.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"10 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":"114734862","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 upper Riemann-Stieltjes approach to stochastic design problems","authors":"W. Heemels, A. Bemporad","doi":"10.1109/CDC.2011.6160820","DOIUrl":"https://doi.org/10.1109/CDC.2011.6160820","url":null,"abstract":"In this paper we study a class of stochastic design problems formulated in terms of general inequality conditions on expectations. These inequalities can be used to express various mean square or almost sure stabilization conditions for stochastic systems. In contrast with existing probabilistic methods that only solve such problems with a certain probability (degree of confidence), we propose a novel method that provides a full guarantee that the constructed solution truly solves the original problem. The main idea of our method is based on overapproximating the expectations by suitably constructed upper Riemann-Stieltjes sums and imposing the inequalities on these sums instead. Next to the full guarantee on the constructed solution, the method offers three other advantages. First, it applies to arbitrary probability distributions. Second, under rather mild conditions we can derive a “converse theorem” that states that if the original problem is solvable, our method will find a solution by sufficiently refining the upper Riemann-Stieltjes sums. Finally, we will show that convexity of the function used in the expectation can be exploited to obtain convex design conditions in our approach.","PeriodicalId":360068,"journal":{"name":"IEEE Conference on Decision and Control and European Control Conference","volume":"50 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":"124316059","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}
Jean-François Tregouet, D. Arzelier, D. Peaucelle, Y. Ebihara, C. Pittet, Alexandre Falcoz
{"title":"Periodic FIR controller synthesis for discrete-time uncertain linear systems","authors":"Jean-François Tregouet, D. Arzelier, D. Peaucelle, Y. Ebihara, C. Pittet, Alexandre Falcoz","doi":"10.1109/CDC.2011.6161068","DOIUrl":"https://doi.org/10.1109/CDC.2011.6161068","url":null,"abstract":"This paper is concerned with robust state-feedback controller synthesis for discrete-time linear periodic/time-invariant systems subject to polytopic-type parametric uncertainties. In recent studies, some of the authors conceived an LMI-based approach to periodically time-varying memory controller (PTVMC) synthesis and proved that this approach is indeed effective to get less conservative robust controller design procedures. However, since the peculiar controller structure requires to reset memory to zero in a periodic way, it is pointed out that the control performance depends on the timing of implementation. In this paper we tackle this issue and propose a reset-less state-feedback Periodic FIR Controller (PFIRC), which turns out to be suitable to improve robustness on periodic and time-invariant systems. Moreover, as a special case, a design condition is provided for FIR-type LTI controllers that robustly stabilize uncertain LTI systems. Numerical examples illustrate the efficiency of the proposed approaches.","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":"124071903","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}