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

Controller synthesis for stabilizing oscillations in tapping-mode atomic force microscopes 攻模原子力显微镜稳定振荡的控制器合成

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

M. Basso, G. Bagni

引用次数: 10

Ant colony optimization for designing of PID controllers 蚁群优化PID控制器设计

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

Y. Hsiao, Cheng-Long Chuang, Cheng-Chih Chien

引用次数: 79

State feedback control of networked systems via periodical switching 基于周期交换的网络系统状态反馈控制

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

S. Mu, T. Chu, Long Wang, G. Xie

引用次数: 6

COSMAD: a Scilab toolbox for output-only modal analysis and diagnosis of vibrating structures COSMAD:一个用于振动结构输出模态分析和诊断的Scilab工具箱

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

M. Goursat, L. Mevel

引用次数: 3

On the design of robust controllers using the interval Diophantine equation 基于区间丢番图方程的鲁棒控制器设计

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

A. Lordelo, E. A. Juzzo, P. Ferreira

引用次数: 12

Formal approach to compute hybrid automata models for linear physical systems with switches 计算带开关的线性物理系统混合自动机模型的形式化方法

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

J. Buisson, H. Cormerais, M. Zainea, H. Guéguen, E. Godoy

引用次数: 16

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