2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)最新文献_第4页

Application of polynomial method in control of time delay systems 多项式方法在时滞系统控制中的应用

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393856

Petr Dostil, V. Bobil, Martin TomaStik

引用次数: 6

Algorithmic verification of logic controllers given as sequential function charts 逻辑控制器的算法验证以顺序功能图的形式给出

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393850

M. Remelhe, S. Lohmann, O. Stursberg, S. Engell, N. Bauer

{"title":"Algorithmic verification of logic controllers given as sequential function charts","authors":"M. Remelhe, S. Lohmann, O. Stursberg, S. Engell, N. Bauer","doi":"10.1109/CACSD.2004.1393850","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393850","url":null,"abstract":"The a-posteriori analysis of logic controllers can be a suitable means to detect design flaws if the controller was not developed by a synthesis algorithm that correctly considered all relevant requirements. This paper advocates the verification of logic controllers with a special focus on the following three issues: (a) the control code is given as a sequential function chart (SFC), a description language becoming increasingly popular for industrial controllers; (b) the cyclic operation mode of the hardware on which the controllers is implemented is taken into account; (c) specifications of the control logic that include timers and the real-time behavior of the controlled plant are considered. We propose an approach in which the SFC controller is first translated into a timed automaton using an algorithm that explores a special graph grammar. The automaton can then be composed with a timed automaton modeling the plant behavior, and model-checking of the composition reveals whether a given set of requirements is fulfilled. All steps of the procedure are illustrated for the example of a controlled evaporation system","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129012994","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}

引用次数: 23

A multi-paradigm modeling approach for hybrid dynamic systems 混合动力系统的多范式建模方法

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393854

Jin-Shyan Lee, Mengchu Zhou, P. Hsu

引用次数: 7

Heterogeneous modeling for automotive electronic control units using a CASE-tool integration platform 基于case工具集成平台的汽车电子控制单元异构建模

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393855

K. Muller-Glaser, C. Reichmann, P. Graf, M. Kuhl, K. Ritter

{"title":"Heterogeneous modeling for automotive electronic control units using a CASE-tool integration platform","authors":"K. Muller-Glaser, C. Reichmann, P. Graf, M. Kuhl, K. Ritter","doi":"10.1109/CACSD.2004.1393855","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393855","url":null,"abstract":"Up to 70 electronic control units (ECU's) serve for safety and comfort functions in a car. Communicating over different bus systems most ECU's perform close loop control functions and reactive functions and have to fulfill hard real time constraints. Some ECU's controlling on board entertainment/office systems are software intensive, incorporating millions of lines of code. The challenge for the design of those distributed and networked control units is to define all requirements and constraints, understand and analyze those manifold interactions between the control units, the car and the environment (driver, road, weather) in normal as well as stress situations (crash). To design within a development process which is concurrent and distributed between the automotive manufacturer and several suppliers requires a well understood life-cycle model, a strictly controlled design methodology and using computer aided engineering tools to its largest extent. We have developed the CASE-tool integration platform \"generalstore\" to support the design of automotive ECU's, however, generalstore is also used for the design of industrial automation systems and biomedical systems","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121902301","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}

引用次数: 10

Transient response shaping in H/sub /spl infin// control by loose eigenstructure assignment technique 基于松散特征结构赋值技术的H/sub /spl //控制瞬态响应整形

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393880

A. Satoh, K. Sugimoto

引用次数: 0

An improved LMI-based D-stability condition for polytopic uncertain systems 基于改进lmi的多面体不确定系统d -稳定性条件

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393882

Yung-Sheng Liu, C. Fang, S. Kau, Lin Hong

引用次数: 6

Computer aided feedback controller design environment for switching converter circuits 开关变换器电路的计算机辅助反馈控制器设计环境

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393877

Juing-Huei Su, Jiann-Jong Chen, Chien-Ming Wang, Chao-Liang Chien, Jing-Da Lee

{"title":"Computer aided feedback controller design environment for switching converter circuits","authors":"Juing-Huei Su, Jiann-Jong Chen, Chien-Ming Wang, Chao-Liang Chien, Jing-Da Lee","doi":"10.1109/CACSD.2004.1393877","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393877","url":null,"abstract":"The widespread use of switching converters in many electronic systems for their high efficiency and smaller size makes the fundamental understanding of them a necessity for many electronic system design engineers. Unfortunately, learning the modeling and feedback controller design techniques of switching converter circuits are interesting but difficult, because they includes many areas of knowledge, e.g., the converter circuits and electronics, linear and nonlinear control system theory, and magnetics, etc. Teaching the dc-dc switching converters is a challenging undertaking because one cannot assume that all students enrolled in the class have solid prerequisite knowledge in so many areas. Therefore, to speed up the learning process, SIMULINK simulation modules of dc-dc hard-switching and resonant switching converters, and of ac-dc power factor correction switching rectifiers are devised in our laboratory to serve as teaching aids. They are also accurate and practical enough for students to validate both the transient and the steady-state responses of real switching converter circuits","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"138 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113983615","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}

引用次数: 0

An LMI approach to L/sub 2/ gain analysis and control synthesis of switched systems 开关系统L/sub /增益分析与控制综合的LMI方法

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393901

D. Xie, Long Wang, G. Xie, Fei Hao

引用次数: 3

Robust H/sub 2/ control of norm-bounded uncertain continuous-time system-an LMI approach 范数有界不确定连续系统的鲁棒H/sub /控制——一种LMI方法

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393883

Cheng-Te Lai, C. Fang, S. Kau, Chin-Hsing Lee

引用次数: 7

Computation of consistent initial conditions for multi-mode DAEs: application to Scicos 多模DAEs一致初始条件的计算:在scios中的应用

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) Pub Date : 2004-09-02 DOI: 10.1109/CACSD.2004.1393863

M. Najafi, R. Nikoukhah, S. Campbell

引用次数: 5