2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)最新文献

筛选
英文 中文
Stochastic safety verification using barrier certificates 使用屏障证书的随机安全验证
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1428804
S. Prajna, A. Jadbabaie, George J. Pappas
{"title":"Stochastic safety verification using barrier certificates","authors":"S. Prajna, A. Jadbabaie, George J. Pappas","doi":"10.1109/CDC.2004.1428804","DOIUrl":"https://doi.org/10.1109/CDC.2004.1428804","url":null,"abstract":"We develop a new method for safety verification of stochastic systems based on functions of states termed barrier certificates. Given a stochastic continuous or hybrid system and sets of initial and unsafe states, our method computes an upper bound on the probability that a trajectory of the system reaches the unsafe set, a bound whose validity is proven by the existence of a barrier certificate. For polynomial systems, both the upper bound and its corresponding barrier certificate can be computed using convex optimization, and hence the method is computationally tractable.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121525041","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}
引用次数: 97
Real-time and 3D vision for autonomous small and micro air vehicles 自主小型和微型飞行器的实时和3D视觉
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1430282
T. Kanade, O. Amidi, Qifa Ke
{"title":"Real-time and 3D vision for autonomous small and micro air vehicles","authors":"T. Kanade, O. Amidi, Qifa Ke","doi":"10.1109/CDC.2004.1430282","DOIUrl":"https://doi.org/10.1109/CDC.2004.1430282","url":null,"abstract":"Autonomous control of small and micro air vehicles (SMAV) requires precise estimation of both vehicle state and its surrounding environment. Small cameras, which are available today at very low cost, are attractive sensors for SMAV. 3D vision by video and laser scanning has distinct advantages in that they provide positional information relative to objects and environments, in which the vehicle operates, that is critical to obstacle avoidance and mapping of the environment. This paper presents work on real-time 3D vision algorithms for recovering motion and structure from a video sequence, 3D terrain mapping from a laser range finder onboard a small autonomous helicopter, and sensor fusion of visual and GPS/INS sensors.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114428070","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}
引用次数: 120
S.O.S. for safety 为了安全,sos
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1428673
H. Yazarel, S. Prajna, George J. Pappas
{"title":"S.O.S. for safety","authors":"H. Yazarel, S. Prajna, George J. Pappas","doi":"10.1109/CDC.2004.1428673","DOIUrl":"https://doi.org/10.1109/CDC.2004.1428673","url":null,"abstract":"Verification of continuous systems remains one of the main obstacles in the safety verification of hybrid systems. In this paper, by exploiting the structure of linear dynamical systems, we convert the exact safety verification of linear systems with certain eigen-structure as an emptiness problem for a semi-algebraic set. Sum of squares (SOS) decomposition is then employed to check emptiness of the set defined by polynomial equalities and inequalities which can be effectively computed by semidefinite programming.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116323584","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}
引用次数: 14
On non-stationary policies and maximal invariant safe sets of controlled Markov chains 控制马尔可夫链的非平稳策略和最大不变安全集
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1429313
Wei Wu, A. Arapostathis, Ratnesh Kumar
{"title":"On non-stationary policies and maximal invariant safe sets of controlled Markov chains","authors":"Wei Wu, A. Arapostathis, Ratnesh Kumar","doi":"10.1109/CDC.2004.1429313","DOIUrl":"https://doi.org/10.1109/CDC.2004.1429313","url":null,"abstract":"This paper continues the study of safety control for Markov chains, a notion we introduced in our recent work. In our past work we have restricted our attention to Markov stationary controls, and derived necessary and sufficient conditions for safety enforcement in this class of policies. As opposed to optimal control of Markov chains under complete observations, where optimality is normally achieved in the class of stationary policies, enforcement of safety can benefit from the consideration of non-stationary policies. In this work we show that in meeting the safety control objective, it suffices to consider a class of non-stationary policies which are induced from the class of stationary policies of an augmented chain. Also, given a controlled Markov chain and a safety specification (describing bounds within which the probability distribution must always lie), we present an algorithm for computing the maximal set of safe initial distributions-the initial distributions from where it is possible to control the chain so that the safety specification is always satisfied.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125095314","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}
引用次数: 6
Stability analysis of an adaptive torque controller for variable speed wind turbines 变速风力发电机自适应转矩控制器稳定性分析
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1429392
K. Johnson, L. Pao, M. Balas, V. Kulkarni, L. Fingersh
{"title":"Stability analysis of an adaptive torque controller for variable speed wind turbines","authors":"K. Johnson, L. Pao, M. Balas, V. Kulkarni, L. Fingersh","doi":"10.1109/CDC.2004.1429392","DOIUrl":"https://doi.org/10.1109/CDC.2004.1429392","url":null,"abstract":"Variable speed wind turbines are designed to follow wind speed variations in low winds in order to maximize aerodynamic efficiency. Unfortunately, uncertainty in the aerodynamic parameters may lead to sub-optimal power capture in variable speed turbines. Adaptive generator torque control is one method of eliminating this sub-optimality; however, before adaptive control can become widely used in the wind industry, it must be proven to be safe. This paper analyzes the stability of an adaptive torque control law and the gain adaptation law in use on the Controls Advanced Research Turbine (CART) at the National Renewable Energy Laboratory's National Wind Technology Center.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"379 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122869198","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}
引用次数: 45
Discrete output feedback sliding mode based tracking control 基于离散输出反馈滑模的跟踪控制
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1428636
Nai One Lai, C. Edwards, S. Spurgeon
{"title":"Discrete output feedback sliding mode based tracking control","authors":"Nai One Lai, C. Edwards, S. Spurgeon","doi":"10.1109/CDC.2004.1428636","DOIUrl":"https://doi.org/10.1109/CDC.2004.1428636","url":null,"abstract":"This paper presents a novel approach to the problem of discrete time output feedback sliding mode control design. The method described applies to uncertain systems (with matched uncertainties), which are not necessarily minimum phase or relative degree one. A new sliding surface is proposed, which is associated with the equivalent control of the output feedback sliding mode controller. The practicality of the results in this paper is demonstrated through the implementation of the controller on a small dc motor test rig.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123523188","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}
引用次数: 9
High performance robust linear controller synthesis for an induction motor using a multi-objective hybrid control strategy 基于多目标混合控制策略的异步电机高性能鲁棒线性控制器综合
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1429446
K. Zheng, Aik Lee, J. Bentsman, P. Krein
{"title":"High performance robust linear controller synthesis for an induction motor using a multi-objective hybrid control strategy","authors":"K. Zheng, Aik Lee, J. Bentsman, P. Krein","doi":"10.1109/CDC.2004.1429446","DOIUrl":"https://doi.org/10.1109/CDC.2004.1429446","url":null,"abstract":"Two-degrees-of-freedom (2DOF) controller design is viewed as a standard technique capable of simultaneously addressing the performance objectives of the main operating modes - tracking and disturbance rejection - of an induction motor control system. However, in a typical industrial reduced cost controller implementation, the open-loop prefilter performance in the 2DOF topology could be severely degraded by the controller uncertainty, i.e., the mismatch between the dynamics of the analytical controller representation and its realization in software/hardware. This problem is addressed in the present work by a multi-objective hybrid control strategy. The latter consists in employing in each mode the corresponding optimally tuned One-degree-of-freedom (1DOF) design robust with respect to both the plant and the controller uncertainty, and organizing a rapid and smooth switching, or transfer, between the mode-specific controllers to provide sequencing of the operating modes, as necessary. Simulation results show that the technique proposed yields the fast switching robust controllers that provide the desired performance under rather significant controller uncertainty across the entire induction motor operating sequence, thereby offering an alternative, minimally affected by the reduced cost controller implementation, to a 2DOF design.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130338186","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}
引用次数: 20
Representation of switched systems by perturbed control systems 用摄动控制系统表示切换系统
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1428978
J. L. Mancilla-Aguilar, R. García, Eduardo Sontag, Y. Wang
{"title":"Representation of switched systems by perturbed control systems","authors":"J. L. Mancilla-Aguilar, R. García, Eduardo Sontag, Y. Wang","doi":"10.1109/CDC.2004.1428978","DOIUrl":"https://doi.org/10.1109/CDC.2004.1428978","url":null,"abstract":"This work provides representations of switched systems described by controlled differential inclusions, in terms of perturbed control systems whose dynamics are given by differential equations, and whose inputs consist of the original controls together with disturbances that evolve in compact sets. Several applications dealing with properties of stability with respect to inputs and of detectability, and their characterizations in terms of Lyapunov functions, are derived as consequences of the representation theorem for such switched systems, and more generally, for systems with switching signals governed by digraphs.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"651 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132022837","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}
引用次数: 6
Adaptive coordination control of bilateral teleoperators with time delay 具有时滞的双边遥控人自适应协调控制
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI: 10.1109/CDC.2004.1429499
N. Chopra, M. Spong
{"title":"Adaptive coordination control of bilateral teleoperators with time delay","authors":"N. Chopra, M. Spong","doi":"10.1109/CDC.2004.1429499","DOIUrl":"https://doi.org/10.1109/CDC.2004.1429499","url":null,"abstract":"Bilateral teleoperators, designed within the passivity framework using concepts of scattering and two-port network theory, provide robust stability against constant delay in the network and velocity tracking, but cannot guarantee position tracking in general. In this paper we fundamentally extend the passivity based traditional architecture to guarantee position and force tracking in the face of offset of initial conditions, environmental contacts and packet losses in the network. We propose a novel coordination architecture which uses state feedback to define a new passive output for the master and slave robots containing both position and velocity information. A passive coordination control is also developed, which uses the new outputs to kinematically lock the master and slave robots. For effective extension to practical applications, an adaptive version of the scheme is also developed. Simulation results are presented which demonstrate the effectiveness of the proposed architecture.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130583977","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}
引用次数: 115
Stability of phase locking in a ring of unidirectionally coupled oscillators 单向耦合振荡器环锁相的稳定性
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-11-19 DOI: 10.1088/0305-4470/37/46/004
J. Rogge, D. Aeyels
{"title":"Stability of phase locking in a ring of unidirectionally coupled oscillators","authors":"J. Rogge, D. Aeyels","doi":"10.1088/0305-4470/37/46/004","DOIUrl":"https://doi.org/10.1088/0305-4470/37/46/004","url":null,"abstract":"In this paper we discuss the behavior of a finite group of phase oscillators unidirectionally coupled in a ring. The dynamics is described by the Kuramoto model. In the case of identical oscillators, all phase locking solutions are obtained explicitly, together with their stability properties. For nonidentical oscillators it is proven that there exist phase locking solutions for sufficiently strong coupling. An algorithm for obtaining all phase locking solutions is given. These solutions can be subdivided into classes, the stability properties of each of which are established separately. The stability results are extended to interconnections belonging to a class of odd functions. Finally, a connection with the field of active antenna arrays is made, generalizing some results earlier obtained in this field.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124845546","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}
引用次数: 76
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书