J. Buisson, H. Cormerais, M. Zainea, H. Guéguen, E. Godoy
{"title":"Formal approach to compute hybrid automata models for linear physical systems with switches","authors":"J. Buisson, H. Cormerais, M. Zainea, H. Guéguen, E. Godoy","doi":"10.1109/CACSD.2004.1393849","DOIUrl":null,"url":null,"abstract":"This paper considers the computation of a hybrid automaton that models the behaviour of a switching linear physical system using energy considerations. The system is represented in a compositional way with bond graphs that include switches. In a first step the switches are considered from a functional point of view. This allows to determine the locations that are associated to consistent configuration of switches, the continuous activities and the jumps. In a second step elementary models of switches are introduced and allow to determine the invariants and the guards of transitions. The approach is exemplified with a simple electronics circuit","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CACSD.2004.1393849","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 16
Abstract
This paper considers the computation of a hybrid automaton that models the behaviour of a switching linear physical system using energy considerations. The system is represented in a compositional way with bond graphs that include switches. In a first step the switches are considered from a functional point of view. This allows to determine the locations that are associated to consistent configuration of switches, the continuous activities and the jumps. In a second step elementary models of switches are introduced and allow to determine the invariants and the guards of transitions. The approach is exemplified with a simple electronics circuit
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
