{"title":"Formal design and analysis of FMS controller","authors":"Xu Gang, ZhiMing Wu","doi":"10.1109/ITSC.2003.1252693","DOIUrl":null,"url":null,"abstract":"A modeling method for controller in FMS is presented. This method is based upon the timed automata, and model checker tool UPPAAL is used to model, simulate and verify the FMS model. In the previous work about FMS modeling, the behavior of FMS is more emphasized than the performance, or vice versa. Because the time is included into the modeling method, the scheduling and controlling problems in FMS can be integrated into this model. The performance of the system can be guaranteed while the system behavior is controlled. Upon this model, the optimal scheduling and optimal controlling can also be checked and verified.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ITSC.2003.1252693","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
A modeling method for controller in FMS is presented. This method is based upon the timed automata, and model checker tool UPPAAL is used to model, simulate and verify the FMS model. In the previous work about FMS modeling, the behavior of FMS is more emphasized than the performance, or vice versa. Because the time is included into the modeling method, the scheduling and controlling problems in FMS can be integrated into this model. The performance of the system can be guaranteed while the system behavior is controlled. Upon this model, the optimal scheduling and optimal controlling can also be checked and verified.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
