A logic programming based approach for on-line traffic control
In this paper we describe an effective approach to design, implement, and operate a traffic control system based on logic programming. With this approach it is possible to implement very flexible control strategies that can be easily developed by traffic engineers using a simple description language...
Gespeichert in:
| Veröffentlicht in: | Transportation research. Part C, Emerging technologies Emerging technologies, 2006-06, Vol.14 (3), p.175-189 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 189 |
|---|---|
| container_issue | 3 |
| container_start_page | 175 |
| container_title | Transportation research. Part C, Emerging technologies |
| container_volume | 14 |
| creator | Felici, Giovanni Rinaldi, Giovanni Sforza, Antonio Truemper, Klaus |
| description | In this paper we describe an effective approach to design, implement, and operate a traffic control system based on logic programming. With this approach it is possible to implement very flexible control strategies that can be easily developed by traffic engineers using a simple description language. An important feature of the system is the use of a very efficient logic programming solver, the Leibniz System, which is capable of generating fast solution algorithms for the decision problems associated with traffic signal setting. A micro-simulator has been developed to verify the effectiveness of the method. It is a crucial tool of an integrated development system, that allows one to develop control strategies and to test them before their on-field implementation. An application to a real case is described and experimental results are presented. |
| doi_str_mv | 10.1016/j.trc.2006.05.007 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_28942503</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0968090X06000374</els_id><sourcerecordid>28942503</sourcerecordid><originalsourceid>FETCH-LOGICAL-c358t-c827c6b778bb623b7088d0f305e3069a99c83d25c1a53e75394789b5ef4e326a3</originalsourceid><addsrcrecordid>eNp9kE1LAzEQhoMoWKs_wNte9LbrJGk2CYJQxC8oeFHwFrKz2Zqy3dRkK_jvTWnBm6eB4Xnn4yHkkkJFgdY3q2qMWDGAugJRAcgjMqFK6pJxoY_JBHStStDwcUrOUloBANVCTsjdvOjD0mOxiWEZ7Xrth2XR2OTawm5yz-Jn0YVYhKHs_eCKMdquyziGYYyhPycnne2TuzjUKXl_fHi7fy4Xr08v9_NFiVyosUTFJNaNlKppasYbCUq10HEQjkOtrdaoeMsEUiu4k4LrmVS6Ea6bOc5qy6fkej83n_S1dWk0a5_Q9b0dXNgmw5SeMQE8g3QPYgwpRdeZTfRrG38MBbMzZVYmmzI7UwaEyaZy5uow3Ca0fRftgD79BRVlinKduds95_Kn395Fk9C7AV3ro8PRtMH_s-UXbTx88g</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>28942503</pqid></control><display><type>article</type><title>A logic programming based approach for on-line traffic control</title><source>ScienceDirect Journals (5 years ago - present)</source><creator>Felici, Giovanni ; Rinaldi, Giovanni ; Sforza, Antonio ; Truemper, Klaus</creator><creatorcontrib>Felici, Giovanni ; Rinaldi, Giovanni ; Sforza, Antonio ; Truemper, Klaus</creatorcontrib><description>In this paper we describe an effective approach to design, implement, and operate a traffic control system based on logic programming. With this approach it is possible to implement very flexible control strategies that can be easily developed by traffic engineers using a simple description language. An important feature of the system is the use of a very efficient logic programming solver, the Leibniz System, which is capable of generating fast solution algorithms for the decision problems associated with traffic signal setting. A micro-simulator has been developed to verify the effectiveness of the method. It is a crucial tool of an integrated development system, that allows one to develop control strategies and to test them before their on-field implementation. An application to a real case is described and experimental results are presented.</description><identifier>ISSN: 0968-090X</identifier><identifier>EISSN: 1879-2359</identifier><identifier>DOI: 10.1016/j.trc.2006.05.007</identifier><language>eng</language><publisher>Kidlington: Elsevier India Pvt Ltd</publisher><subject>Applied sciences ; Exact sciences and technology ; Ground, air and sea transportation, marine construction ; Intelligent traffic control ; Logic programming ; Road transportation and traffic ; Traffic micro-simulation ; Transportation planning, management and economics</subject><ispartof>Transportation research. Part C, Emerging technologies, 2006-06, Vol.14 (3), p.175-189</ispartof><rights>2006</rights><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c358t-c827c6b778bb623b7088d0f305e3069a99c83d25c1a53e75394789b5ef4e326a3</citedby><cites>FETCH-LOGICAL-c358t-c827c6b778bb623b7088d0f305e3069a99c83d25c1a53e75394789b5ef4e326a3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1016/j.trc.2006.05.007$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,778,782,3539,27911,27912,45982</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=18128139$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Felici, Giovanni</creatorcontrib><creatorcontrib>Rinaldi, Giovanni</creatorcontrib><creatorcontrib>Sforza, Antonio</creatorcontrib><creatorcontrib>Truemper, Klaus</creatorcontrib><title>A logic programming based approach for on-line traffic control</title><title>Transportation research. Part C, Emerging technologies</title><description>In this paper we describe an effective approach to design, implement, and operate a traffic control system based on logic programming. With this approach it is possible to implement very flexible control strategies that can be easily developed by traffic engineers using a simple description language. An important feature of the system is the use of a very efficient logic programming solver, the Leibniz System, which is capable of generating fast solution algorithms for the decision problems associated with traffic signal setting. A micro-simulator has been developed to verify the effectiveness of the method. It is a crucial tool of an integrated development system, that allows one to develop control strategies and to test them before their on-field implementation. An application to a real case is described and experimental results are presented.</description><subject>Applied sciences</subject><subject>Exact sciences and technology</subject><subject>Ground, air and sea transportation, marine construction</subject><subject>Intelligent traffic control</subject><subject>Logic programming</subject><subject>Road transportation and traffic</subject><subject>Traffic micro-simulation</subject><subject>Transportation planning, management and economics</subject><issn>0968-090X</issn><issn>1879-2359</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2006</creationdate><recordtype>article</recordtype><recordid>eNp9kE1LAzEQhoMoWKs_wNte9LbrJGk2CYJQxC8oeFHwFrKz2Zqy3dRkK_jvTWnBm6eB4Xnn4yHkkkJFgdY3q2qMWDGAugJRAcgjMqFK6pJxoY_JBHStStDwcUrOUloBANVCTsjdvOjD0mOxiWEZ7Xrth2XR2OTawm5yz-Jn0YVYhKHs_eCKMdquyziGYYyhPycnne2TuzjUKXl_fHi7fy4Xr08v9_NFiVyosUTFJNaNlKppasYbCUq10HEQjkOtrdaoeMsEUiu4k4LrmVS6Ea6bOc5qy6fkej83n_S1dWk0a5_Q9b0dXNgmw5SeMQE8g3QPYgwpRdeZTfRrG38MBbMzZVYmmzI7UwaEyaZy5uow3Ca0fRftgD79BRVlinKduds95_Kn395Fk9C7AV3ro8PRtMH_s-UXbTx88g</recordid><startdate>20060601</startdate><enddate>20060601</enddate><creator>Felici, Giovanni</creator><creator>Rinaldi, Giovanni</creator><creator>Sforza, Antonio</creator><creator>Truemper, Klaus</creator><general>Elsevier India Pvt Ltd</general><general>Elsevier</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>F28</scope><scope>FR3</scope><scope>JQ2</scope><scope>KR7</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20060601</creationdate><title>A logic programming based approach for on-line traffic control</title><author>Felici, Giovanni ; Rinaldi, Giovanni ; Sforza, Antonio ; Truemper, Klaus</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c358t-c827c6b778bb623b7088d0f305e3069a99c83d25c1a53e75394789b5ef4e326a3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Applied sciences</topic><topic>Exact sciences and technology</topic><topic>Ground, air and sea transportation, marine construction</topic><topic>Intelligent traffic control</topic><topic>Logic programming</topic><topic>Road transportation and traffic</topic><topic>Traffic micro-simulation</topic><topic>Transportation planning, management and economics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Felici, Giovanni</creatorcontrib><creatorcontrib>Rinaldi, Giovanni</creatorcontrib><creatorcontrib>Sforza, Antonio</creatorcontrib><creatorcontrib>Truemper, Klaus</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ANTE: Abstracts in New Technology & Engineering</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><jtitle>Transportation research. Part C, Emerging technologies</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Felici, Giovanni</au><au>Rinaldi, Giovanni</au><au>Sforza, Antonio</au><au>Truemper, Klaus</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A logic programming based approach for on-line traffic control</atitle><jtitle>Transportation research. Part C, Emerging technologies</jtitle><date>2006-06-01</date><risdate>2006</risdate><volume>14</volume><issue>3</issue><spage>175</spage><epage>189</epage><pages>175-189</pages><issn>0968-090X</issn><eissn>1879-2359</eissn><abstract>In this paper we describe an effective approach to design, implement, and operate a traffic control system based on logic programming. With this approach it is possible to implement very flexible control strategies that can be easily developed by traffic engineers using a simple description language. An important feature of the system is the use of a very efficient logic programming solver, the Leibniz System, which is capable of generating fast solution algorithms for the decision problems associated with traffic signal setting. A micro-simulator has been developed to verify the effectiveness of the method. It is a crucial tool of an integrated development system, that allows one to develop control strategies and to test them before their on-field implementation. An application to a real case is described and experimental results are presented.</abstract><cop>Kidlington</cop><pub>Elsevier India Pvt Ltd</pub><doi>10.1016/j.trc.2006.05.007</doi><tpages>15</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0968-090X |
| ispartof | Transportation research. Part C, Emerging technologies, 2006-06, Vol.14 (3), p.175-189 |
| issn | 0968-090X 1879-2359 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_28942503 |
| source | ScienceDirect Journals (5 years ago - present) |
| subjects | Applied sciences Exact sciences and technology Ground, air and sea transportation, marine construction Intelligent traffic control Logic programming Road transportation and traffic Traffic micro-simulation Transportation planning, management and economics |
| title | A logic programming based approach for on-line traffic control |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T10%3A40%3A53IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20logic%20programming%20based%20approach%20for%20on-line%20traffic%20control&rft.jtitle=Transportation%20research.%20Part%20C,%20Emerging%20technologies&rft.au=Felici,%20Giovanni&rft.date=2006-06-01&rft.volume=14&rft.issue=3&rft.spage=175&rft.epage=189&rft.pages=175-189&rft.issn=0968-090X&rft.eissn=1879-2359&rft_id=info:doi/10.1016/j.trc.2006.05.007&rft_dat=%3Cproquest_cross%3E28942503%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=28942503&rft_id=info:pmid/&rft_els_id=S0968090X06000374&rfr_iscdi=true |