2007 46th IEEE Conference on Decision and Control最新文献_第4页

Symbolic models for nonlinear control systems using approximate bisimulation 使用近似双仿真的非线性控制系统符号模型

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-12 DOI: 10.1109/CDC.2007.4434911

G. Pola, A. Girard, P. Tabuada

{"title":"Symbolic models for nonlinear control systems using approximate bisimulation","authors":"G. Pola, A. Girard, P. Tabuada","doi":"10.1109/CDC.2007.4434911","DOIUrl":"https://doi.org/10.1109/CDC.2007.4434911","url":null,"abstract":"Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suitable to describe software and hardware interfacing the physical world. This has spurred a recent interest in describing control systems through symbolic models that are abstract descriptions of the continuous dynamics, where each \"symbol\" corresponds to an \"aggregate\" of continuous states in the continuous model. Since these symbolic models are of the same nature of the models used in computer science to describe software and hardware, they provided a unified language to study problems of control in which software and hardware interact with the physical world. In this paper we show that every incrementally globally asymptotically stable nonlinear control system is approximately equivalent (bisimilar) to symbolic model with a precision that can be chosen a-priori. We also show that for digital controlled systems, in which inputs are piecewise-constant, and under the stronger assumption of incremental input-to-state stability, the symbolic models can be obtained, based on a suitable quantization of the inputs.","PeriodicalId":300509,"journal":{"name":"2007 46th IEEE Conference on Decision and Control","volume":"27 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121011210","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}

引用次数: 19

Projector-based switching signal reconstruction and observer for switched systems 基于投影的切换信号重构与切换系统观测器

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-12 DOI: 10.1109/CDC.2007.4435040

S. Chaib, D. Boutat, A. Benali, F. Kratz

引用次数: 1

Stability analysis for discrete time switched systems with temporary uncertain switching signal 具有暂时不确定开关信号的离散时间切换系统的稳定性分析

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-12 DOI: 10.1109/CDC.2007.4434794

L. Hetel, J. Daafouz, C. Iung

引用次数: 53

Stabilization of an electrostatic MEMS including uncontrollable linearization 包含不可控线性化的静电MEMS稳定化

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-12 DOI: 10.1109/CDC.2007.4434091

G. Zhu, J. Lévine, L. Praly

引用次数: 9

Invariant observers for attitude and heading estimation from low-cost inertial and magnetic sensors 基于低成本惯性和磁传感器的姿态和航向估计的不变观测器

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-12 DOI: 10.1109/CDC.2007.4435006

Philippe Martin, E. Salaün

引用次数: 80

On stability analysis of linear discrete-time switched systems using quadratic Lyapunov functions 用二次李雅普诺夫函数分析线性离散切换系统的稳定性

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-10 DOI: 10.1109/CDC.2007.4434798

P. Mason, M. Sigalotti, J. Daafouz

引用次数: 21

Robust gain scheduled control of a space launcher by introducing LQG/LTR ideas in the NCF robust stabilisation problem 在NCF鲁棒镇定问题中引入LQG/LTR思想的空间发射装置鲁棒增益调度控制

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-10 DOI: 10.1109/CDC.2007.4434356

M. Abbas-Turki, G. Duc, B. Clement, S. Theodoulis

引用次数: 10

Asymptotic exactness of parameter-dependent lyapunov functions: An error bound and exactness verification 参数相关李雅普诺夫函数的渐近精确性:误差界和精确性验证

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-01 DOI: 10.1109/CDC.2007.4434845

Y. Oishi

引用次数: 6

Design, optimization, and control of a new class of reconfigurable hopping rovers 一类新型可重构跳跃探测车的设计、优化与控制

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-01 DOI: 10.1109/CDC.2007.4434975

Christopher Schmidt-Wetekam, David Zhang, Robert Hughes, T. Bewley

引用次数: 20

Delay-optimal ARQ protocol design for channels with memory 带内存信道的延迟最优ARQ协议设计

2007 46th IEEE Conference on Decision and Control Pub Date : 2007-12-01 DOI: 10.1109/CDC.2007.4434547

A. Anastasopoulos

引用次数: 0