Modeling and formal analysis of urban road traffic
Modern life in cities leads to complex urban traffic road and, sometimes, to go from one point to another, in a city, is a hard and very complex task. The use of assisted systems for helping drivers on their task of reaching the desired destination is being common, mainly systems like GPS location s...
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Tagungsbericht |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 1411 |
---|---|
container_issue | |
container_start_page | 1408 |
container_title | |
container_volume | 1558 |
creator | Avram, Camelia Machado, José Aştilean, Adina |
description | Modern life in cities leads to complex urban traffic road and, sometimes, to go from one point to another, in a city, is a hard and very complex task. The use of assisted systems for helping drivers on their task of reaching the desired destination is being common, mainly systems like GPS location systems or other similar systems. The main gap of those systems is that they are not able to assist drivers when some unexpected changes occur, like accidents, or another unexpected situations. In this context, it would be desirable to have a dynamic system to inform the drivers, about everything that is happening "online". This work is inserted in this context and the work presented here is one part of a bigger project that has, as main goal, to be a dynamic system for assisting drivers under hard conditions of urban road traffic. In this paper is modeled, and formally analyzed, the intersection of four street segments, in order to take some considerations about this subject. This paper presents the model of the considered system, using timed automata formalism. The validation and verification of the road traffic model it is realized using UPPAAL model-checker.
Research-Development-Innovation" 4D-POSTDOC, contract no. POSDRU/89/1.5/ S/52603, project co-funded by the European Social Fund through Sectorial Operational Program Human Resources Development 2007-2013 |
doi_str_mv | 10.1063/1.4825779 |
format | Conference Proceeding |
fullrecord | <record><control><sourceid>rcaap</sourceid><recordid>TN_cdi_rcaap_revistas_1822_63775</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1822_63775</sourcerecordid><originalsourceid>FETCH-LOGICAL-p248t-ffc6828af5eaa45d8483d5d7aeead488ee37b9e07d4e95edd394d2560bc375fd3</originalsourceid><addsrcrecordid>eNotzMtKxEAQQNFGEZwZXfgH_QMZ-12VpQy-YMSNrkMlVS2ROBm6o-DfK-jqntVV6sqarTXJX9ttQBcB2hO1sjHaBpJNp2ptwMdgLQZzrta1vhvjWgBcKfc0s0zj4U3TgXWeywdNv6Tpu45Vz1l_lp4OuszEeimU8zhcqLNMU5XL_27U693ty-6h2T_fP-5u9s3RBVyanIeEDilHIQqRMaDnyEAixAFRxEPfigEO0kZh9m1gF5PpBw8xs98o_fctA9GxK_I11oVqZ9G5LnmA6H8AUM1EZQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Modeling and formal analysis of urban road traffic</title><source>AIP Journals (American Institute of Physics)</source><creator>Avram, Camelia ; Machado, José ; Aştilean, Adina</creator><creatorcontrib>Avram, Camelia ; Machado, José ; Aştilean, Adina</creatorcontrib><description>Modern life in cities leads to complex urban traffic road and, sometimes, to go from one point to another, in a city, is a hard and very complex task. The use of assisted systems for helping drivers on their task of reaching the desired destination is being common, mainly systems like GPS location systems or other similar systems. The main gap of those systems is that they are not able to assist drivers when some unexpected changes occur, like accidents, or another unexpected situations. In this context, it would be desirable to have a dynamic system to inform the drivers, about everything that is happening "online". This work is inserted in this context and the work presented here is one part of a bigger project that has, as main goal, to be a dynamic system for assisting drivers under hard conditions of urban road traffic. In this paper is modeled, and formally analyzed, the intersection of four street segments, in order to take some considerations about this subject. This paper presents the model of the considered system, using timed automata formalism. The validation and verification of the road traffic model it is realized using UPPAAL model-checker.
Research-Development-Innovation" 4D-POSTDOC, contract no. POSDRU/89/1.5/ S/52603, project co-funded by the European Social Fund through Sectorial Operational Program Human Resources Development 2007-2013</description><identifier>ISBN: 0735411840</identifier><identifier>ISBN: 9780735411845</identifier><identifier>EISSN: 1551-7616</identifier><identifier>DOI: 10.1063/1.4825779</identifier><language>eng</language><publisher>AIP Publishing</publisher><subject>Analysis techniques ; Eletrónica e Informática ; Engenharia e Tecnologia ; Engenharia Eletrotécnica ; Engenharia Mecânica ; Formal methods ; Road traffic modeling ; Routing algorithms</subject><ispartof>AIP conference proceedings, 2013, Vol.1558, p.1408-1411</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,780,784,789,790,23930,23931,25140,27925</link.rule.ids></links><search><creatorcontrib>Avram, Camelia</creatorcontrib><creatorcontrib>Machado, José</creatorcontrib><creatorcontrib>Aştilean, Adina</creatorcontrib><title>Modeling and formal analysis of urban road traffic</title><title>AIP conference proceedings</title><description>Modern life in cities leads to complex urban traffic road and, sometimes, to go from one point to another, in a city, is a hard and very complex task. The use of assisted systems for helping drivers on their task of reaching the desired destination is being common, mainly systems like GPS location systems or other similar systems. The main gap of those systems is that they are not able to assist drivers when some unexpected changes occur, like accidents, or another unexpected situations. In this context, it would be desirable to have a dynamic system to inform the drivers, about everything that is happening "online". This work is inserted in this context and the work presented here is one part of a bigger project that has, as main goal, to be a dynamic system for assisting drivers under hard conditions of urban road traffic. In this paper is modeled, and formally analyzed, the intersection of four street segments, in order to take some considerations about this subject. This paper presents the model of the considered system, using timed automata formalism. The validation and verification of the road traffic model it is realized using UPPAAL model-checker.
Research-Development-Innovation" 4D-POSTDOC, contract no. POSDRU/89/1.5/ S/52603, project co-funded by the European Social Fund through Sectorial Operational Program Human Resources Development 2007-2013</description><subject>Analysis techniques</subject><subject>Eletrónica e Informática</subject><subject>Engenharia e Tecnologia</subject><subject>Engenharia Eletrotécnica</subject><subject>Engenharia Mecânica</subject><subject>Formal methods</subject><subject>Road traffic modeling</subject><subject>Routing algorithms</subject><issn>1551-7616</issn><isbn>0735411840</isbn><isbn>9780735411845</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2013</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNotzMtKxEAQQNFGEZwZXfgH_QMZ-12VpQy-YMSNrkMlVS2ROBm6o-DfK-jqntVV6sqarTXJX9ttQBcB2hO1sjHaBpJNp2ptwMdgLQZzrta1vhvjWgBcKfc0s0zj4U3TgXWeywdNv6Tpu45Vz1l_lp4OuszEeimU8zhcqLNMU5XL_27U693ty-6h2T_fP-5u9s3RBVyanIeEDilHIQqRMaDnyEAixAFRxEPfigEO0kZh9m1gF5PpBw8xs98o_fctA9GxK_I11oVqZ9G5LnmA6H8AUM1EZQ</recordid><startdate>20130101</startdate><enddate>20130101</enddate><creator>Avram, Camelia</creator><creator>Machado, José</creator><creator>Aştilean, Adina</creator><general>AIP Publishing</general><scope>RCLKO</scope></search><sort><creationdate>20130101</creationdate><title>Modeling and formal analysis of urban road traffic</title><author>Avram, Camelia ; Machado, José ; Aştilean, Adina</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p248t-ffc6828af5eaa45d8483d5d7aeead488ee37b9e07d4e95edd394d2560bc375fd3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2013</creationdate><topic>Analysis techniques</topic><topic>Eletrónica e Informática</topic><topic>Engenharia e Tecnologia</topic><topic>Engenharia Eletrotécnica</topic><topic>Engenharia Mecânica</topic><topic>Formal methods</topic><topic>Road traffic modeling</topic><topic>Routing algorithms</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Avram, Camelia</creatorcontrib><creatorcontrib>Machado, José</creatorcontrib><creatorcontrib>Aştilean, Adina</creatorcontrib><collection>RCAAP open access repository</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Avram, Camelia</au><au>Machado, José</au><au>Aştilean, Adina</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Modeling and formal analysis of urban road traffic</atitle><btitle>AIP conference proceedings</btitle><date>2013-01-01</date><risdate>2013</risdate><volume>1558</volume><spage>1408</spage><epage>1411</epage><pages>1408-1411</pages><eissn>1551-7616</eissn><isbn>0735411840</isbn><isbn>9780735411845</isbn><abstract>Modern life in cities leads to complex urban traffic road and, sometimes, to go from one point to another, in a city, is a hard and very complex task. The use of assisted systems for helping drivers on their task of reaching the desired destination is being common, mainly systems like GPS location systems or other similar systems. The main gap of those systems is that they are not able to assist drivers when some unexpected changes occur, like accidents, or another unexpected situations. In this context, it would be desirable to have a dynamic system to inform the drivers, about everything that is happening "online". This work is inserted in this context and the work presented here is one part of a bigger project that has, as main goal, to be a dynamic system for assisting drivers under hard conditions of urban road traffic. In this paper is modeled, and formally analyzed, the intersection of four street segments, in order to take some considerations about this subject. This paper presents the model of the considered system, using timed automata formalism. The validation and verification of the road traffic model it is realized using UPPAAL model-checker.
Research-Development-Innovation" 4D-POSTDOC, contract no. POSDRU/89/1.5/ S/52603, project co-funded by the European Social Fund through Sectorial Operational Program Human Resources Development 2007-2013</abstract><pub>AIP Publishing</pub><doi>10.1063/1.4825779</doi><tpages>4</tpages><oa>free_for_read</oa></addata></record> |
fulltext | fulltext |
identifier | ISBN: 0735411840 |
ispartof | AIP conference proceedings, 2013, Vol.1558, p.1408-1411 |
issn | 1551-7616 |
language | eng |
recordid | cdi_rcaap_revistas_1822_63775 |
source | AIP Journals (American Institute of Physics) |
subjects | Analysis techniques Eletrónica e Informática Engenharia e Tecnologia Engenharia Eletrotécnica Engenharia Mecânica Formal methods Road traffic modeling Routing algorithms |
title | Modeling and formal analysis of urban road traffic |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T08%3A46%3A20IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-rcaap&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Modeling%20and%20formal%20analysis%20of%20urban%20road%20traffic&rft.btitle=AIP%20conference%20proceedings&rft.au=Avram,%20Camelia&rft.date=2013-01-01&rft.volume=1558&rft.spage=1408&rft.epage=1411&rft.pages=1408-1411&rft.eissn=1551-7616&rft.isbn=0735411840&rft.isbn_list=9780735411845&rft_id=info:doi/10.1063/1.4825779&rft_dat=%3Crcaap%3E1822_63775%3C/rcaap%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |