Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems
Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This paper proposes to use them to model parallel railroad level crossing (LC) control systems. Their applications to both single- and double-track railroad lines...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on intelligent transportation systems 2010-12, Vol.11 (4), p.968-977 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 977 |
|---|---|
| container_issue | 4 |
| container_start_page | 968 |
| container_title | IEEE transactions on intelligent transportation systems |
| container_volume | 11 |
| creator | HUANG, Yi-Sheng WENG, Yi-Shun MENGCHU ZHOU |
| description | Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This paper proposes to use them to model parallel railroad level crossing (LC) control systems. Their applications to both single- and double-track railroad lines are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph method. Their important properties are verified. To our knowledge, this is the first work that employs DSPNs to model a parallel railroad LC system and identify its critical scenarios for the purpose of their complete avoidance. This helps advance the state of the art in traffic safety related to the intersection of railroads and roadways. |
| doi_str_mv | 10.1109/TITS.2010.2076390 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_ieee_primary_5598529</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5598529</ieee_id><sourcerecordid>2724259891</sourcerecordid><originalsourceid>FETCH-LOGICAL-c355t-fe47d5017b85b47d7b35f22e6e7c36ef93634b05258407dddfed87e67454b4033</originalsourceid><addsrcrecordid>eNpdkFtLwzAYhosoOKc_QLwJiHjVmWPTXkrxMBgorl6XtP0yM7pkJp2wf2_Khhde5Ts878uXN0muCZ4RgouHal4tZxTHlmKZsQKfJBMiRJ5iTLLTsaY8LbDA58lFCOs45YKQSbIqvRlMq3q0bMEqb1xAynao-gLj0bwDOxgd94NxFhmL3pVXfQ89-lCm9051aAE_sS29C8HYFaq80lGASmcH76LtPgywCZfJmVZ9gKvjO00-n5-q8jVdvL3My8dF2jIhhlQDl53ARDa5aGIpGyY0pZCBbFkGumAZ4w0WVOQcy67rNHS5hExywRuOGZsm9wffrXffOwhDvTGhhb5XFtwu1DkveMwnE5G8_Ueu3c7beFxNMIsnEEJ5pMiBascPetD11puN8vsI1WPy9Zh8PSZfH5OPmrujswoxWe2VbU34E1KWRWM-cjcHzgDA31qIIhe0YL-6tIvO</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1030171124</pqid></control><display><type>article</type><title>Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems</title><source>IEEE Electronic Library (IEL)</source><creator>HUANG, Yi-Sheng ; WENG, Yi-Shun ; MENGCHU ZHOU</creator><creatorcontrib>HUANG, Yi-Sheng ; WENG, Yi-Shun ; MENGCHU ZHOU</creatorcontrib><description>Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This paper proposes to use them to model parallel railroad level crossing (LC) control systems. Their applications to both single- and double-track railroad lines are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph method. Their important properties are verified. To our knowledge, this is the first work that employs DSPNs to model a parallel railroad LC system and identify its critical scenarios for the purpose of their complete avoidance. This helps advance the state of the art in traffic safety related to the intersection of railroads and roadways.</description><identifier>ISSN: 1524-9050</identifier><identifier>EISSN: 1558-0016</identifier><identifier>DOI: 10.1109/TITS.2010.2076390</identifier><identifier>CODEN: ITISFG</identifier><language>eng</language><publisher>Piscataway, NJ: IEEE</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Control systems ; Deterministic and stochastic Petri net (DSPN) ; discrete event system ; Discrete event systems ; Exact sciences and technology ; Ground, air and sea transportation, marine construction ; Information retrieval. Graph ; parallel railroad level crossing (LC) ; Petri net (PNs) ; Petri nets ; Rail transportation ; Railroads ; Railway transportation and traffic ; Road transportation and traffic ; Safety ; Software ; Stochastic processes ; Studies ; Theoretical computing ; traffic safety</subject><ispartof>IEEE transactions on intelligent transportation systems, 2010-12, Vol.11 (4), p.968-977</ispartof><rights>2015 INIST-CNRS</rights><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Dec 2010</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c355t-fe47d5017b85b47d7b35f22e6e7c36ef93634b05258407dddfed87e67454b4033</citedby><cites>FETCH-LOGICAL-c355t-fe47d5017b85b47d7b35f22e6e7c36ef93634b05258407dddfed87e67454b4033</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5598529$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,777,781,793,27905,27906,54739</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5598529$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=23624340$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>HUANG, Yi-Sheng</creatorcontrib><creatorcontrib>WENG, Yi-Shun</creatorcontrib><creatorcontrib>MENGCHU ZHOU</creatorcontrib><title>Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems</title><title>IEEE transactions on intelligent transportation systems</title><addtitle>TITS</addtitle><description>Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This paper proposes to use them to model parallel railroad level crossing (LC) control systems. Their applications to both single- and double-track railroad lines are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph method. Their important properties are verified. To our knowledge, this is the first work that employs DSPNs to model a parallel railroad LC system and identify its critical scenarios for the purpose of their complete avoidance. This helps advance the state of the art in traffic safety related to the intersection of railroads and roadways.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Control systems</subject><subject>Deterministic and stochastic Petri net (DSPN)</subject><subject>discrete event system</subject><subject>Discrete event systems</subject><subject>Exact sciences and technology</subject><subject>Ground, air and sea transportation, marine construction</subject><subject>Information retrieval. Graph</subject><subject>parallel railroad level crossing (LC)</subject><subject>Petri net (PNs)</subject><subject>Petri nets</subject><subject>Rail transportation</subject><subject>Railroads</subject><subject>Railway transportation and traffic</subject><subject>Road transportation and traffic</subject><subject>Safety</subject><subject>Software</subject><subject>Stochastic processes</subject><subject>Studies</subject><subject>Theoretical computing</subject><subject>traffic safety</subject><issn>1524-9050</issn><issn>1558-0016</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2010</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpdkFtLwzAYhosoOKc_QLwJiHjVmWPTXkrxMBgorl6XtP0yM7pkJp2wf2_Khhde5Ts878uXN0muCZ4RgouHal4tZxTHlmKZsQKfJBMiRJ5iTLLTsaY8LbDA58lFCOs45YKQSbIqvRlMq3q0bMEqb1xAynao-gLj0bwDOxgd94NxFhmL3pVXfQ89-lCm9051aAE_sS29C8HYFaq80lGASmcH76LtPgywCZfJmVZ9gKvjO00-n5-q8jVdvL3My8dF2jIhhlQDl53ARDa5aGIpGyY0pZCBbFkGumAZ4w0WVOQcy67rNHS5hExywRuOGZsm9wffrXffOwhDvTGhhb5XFtwu1DkveMwnE5G8_Ueu3c7beFxNMIsnEEJ5pMiBascPetD11puN8vsI1WPy9Zh8PSZfH5OPmrujswoxWe2VbU34E1KWRWM-cjcHzgDA31qIIhe0YL-6tIvO</recordid><startdate>20101201</startdate><enddate>20101201</enddate><creator>HUANG, Yi-Sheng</creator><creator>WENG, Yi-Shun</creator><creator>MENGCHU ZHOU</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>FR3</scope><scope>JQ2</scope><scope>KR7</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>7T2</scope><scope>7U2</scope><scope>C1K</scope></search><sort><creationdate>20101201</creationdate><title>Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems</title><author>HUANG, Yi-Sheng ; WENG, Yi-Shun ; MENGCHU ZHOU</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c355t-fe47d5017b85b47d7b35f22e6e7c36ef93634b05258407dddfed87e67454b4033</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2010</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Control systems</topic><topic>Deterministic and stochastic Petri net (DSPN)</topic><topic>discrete event system</topic><topic>Discrete event systems</topic><topic>Exact sciences and technology</topic><topic>Ground, air and sea transportation, marine construction</topic><topic>Information retrieval. Graph</topic><topic>parallel railroad level crossing (LC)</topic><topic>Petri net (PNs)</topic><topic>Petri nets</topic><topic>Rail transportation</topic><topic>Railroads</topic><topic>Railway transportation and traffic</topic><topic>Road transportation and traffic</topic><topic>Safety</topic><topic>Software</topic><topic>Stochastic processes</topic><topic>Studies</topic><topic>Theoretical computing</topic><topic>traffic safety</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>HUANG, Yi-Sheng</creatorcontrib><creatorcontrib>WENG, Yi-Shun</creatorcontrib><creatorcontrib>MENGCHU ZHOU</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Civil Engineering Abstracts</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Health and Safety Science Abstracts (Full archive)</collection><collection>Safety Science and Risk</collection><collection>Environmental Sciences and Pollution Management</collection><jtitle>IEEE transactions on intelligent transportation systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>HUANG, Yi-Sheng</au><au>WENG, Yi-Shun</au><au>MENGCHU ZHOU</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems</atitle><jtitle>IEEE transactions on intelligent transportation systems</jtitle><stitle>TITS</stitle><date>2010-12-01</date><risdate>2010</risdate><volume>11</volume><issue>4</issue><spage>968</spage><epage>977</epage><pages>968-977</pages><issn>1524-9050</issn><eissn>1558-0016</eissn><coden>ITISFG</coden><abstract>Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This paper proposes to use them to model parallel railroad level crossing (LC) control systems. Their applications to both single- and double-track railroad lines are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph method. Their important properties are verified. To our knowledge, this is the first work that employs DSPNs to model a parallel railroad LC system and identify its critical scenarios for the purpose of their complete avoidance. This helps advance the state of the art in traffic safety related to the intersection of railroads and roadways.</abstract><cop>Piscataway, NJ</cop><pub>IEEE</pub><doi>10.1109/TITS.2010.2076390</doi><tpages>10</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1524-9050 |
| ispartof | IEEE transactions on intelligent transportation systems, 2010-12, Vol.11 (4), p.968-977 |
| issn | 1524-9050 1558-0016 |
| language | eng |
| recordid | cdi_ieee_primary_5598529 |
| source | IEEE Electronic Library (IEL) |
| subjects | Applied sciences Computer science control theory systems Control systems Deterministic and stochastic Petri net (DSPN) discrete event system Discrete event systems Exact sciences and technology Ground, air and sea transportation, marine construction Information retrieval. Graph parallel railroad level crossing (LC) Petri net (PNs) Petri nets Rail transportation Railroads Railway transportation and traffic Road transportation and traffic Safety Software Stochastic processes Studies Theoretical computing traffic safety |
| title | Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-18T09%3A19%3A15IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Critical%20Scenarios%20and%20Their%20Identification%20in%20Parallel%20Railroad%20Level%20Crossing%20Traffic%20Control%20Systems&rft.jtitle=IEEE%20transactions%20on%20intelligent%20transportation%20systems&rft.au=HUANG,%20Yi-Sheng&rft.date=2010-12-01&rft.volume=11&rft.issue=4&rft.spage=968&rft.epage=977&rft.pages=968-977&rft.issn=1524-9050&rft.eissn=1558-0016&rft.coden=ITISFG&rft_id=info:doi/10.1109/TITS.2010.2076390&rft_dat=%3Cproquest_RIE%3E2724259891%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1030171124&rft_id=info:pmid/&rft_ieee_id=5598529&rfr_iscdi=true |