Timed Automaton and Petri Net models of Intersection Control

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 29 Jun 2020Publisher:IEEEJournal:2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)

Authors: Jana Flochová; Ján Pivarcek; Peter Kubanda;

doi: 10.1109/codit49905.2020.9263890

Timed Automaton and Petri Net models of Intersection Control

- Summary
- Metrics

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.

Related Organizations

Slovak University of Technology in Bratislava
Slovakia

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average