交叉口控制的时间自动机和Petri网模型*

2020 7th International Conference on Control, Decision and Information Technologies (CoDIT) Pub Date : 2020-06-29 DOI:10.1109/CoDIT49905.2020.9263890

J. Flochová, Jan Pivarcek, Peter Kubanda

{"title":"交叉口控制的时间自动机和Petri网模型*","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":"{\"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}","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

摘要

本文利用时间自动机和彩色Petri网的形式给出了交叉口控制器的模型。这些模型包括车辆控制、行人控制、车辆检测系统和后续控制变化的故障诊断。在UPPAAL Pro模型检查器和CPN工具中实现了模型的验证和验证。所提出的建模框架应用于位于斯洛伐克布拉迪斯拉发和马拉基的真实十字路口。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Timed Automaton and Petri Net models of Intersection Control*

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)

自引率

0.00%

发文量