{"title":"Timed Automaton and Petri Net models of Intersection Control*","authors":"J. Flochová, Jan Pivarcek, Peter Kubanda","doi":"10.1109/CoDIT49905.2020.9263890","DOIUrl":null,"url":null,"abstract":"This paper presents the model of intersection controllers using timed automata and colored Petri nets formalisms. The models include cars control, pedestrians control, vehicles detection system and failure diagnosis with subsequent control changes. The validation and verification of the models has been realized in UPPAAL Pro model-checker and CPN Tools. The proposed modeling framework is applied to real intersections located in Bratislava and Malacky, Slovakia.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CoDIT49905.2020.9263890","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
This paper presents the model of intersection controllers using timed automata and colored Petri nets formalisms. The models include cars control, pedestrians control, vehicles detection system and failure diagnosis with subsequent control changes. The validation and verification of the models has been realized in UPPAAL Pro model-checker and CPN Tools. The proposed modeling framework is applied to real intersections located in Bratislava and Malacky, Slovakia.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
