Collision avoidance in Intelligent Transport Systems: towards an application of control theory

Collision avoidance in Intelligent Transport Systems: towards an application of control theory

Safety is a prevalent issue in intelligent transport systems (ITS). To ensure such a vital requirement, methodologies must offer support for the careful design and analysis of such systems. Indeed these steps must cope with temporal and spatial constraints associated with mobility rules and parallel...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Berard, B., Haddad, S., Hillah, L.M., Kordon, F., Thierry-Mieg, Y.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Computer Science
Conferences
Discrete event systems
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 351
container_issue
container_start_page 346
container_title
container_volume
creator Berard, B.
Haddad, S.
Hillah, L.M.
Kordon, F.
Thierry-Mieg, Y.
description Safety is a prevalent issue in intelligent transport systems (ITS). To ensure such a vital requirement, methodologies must offer support for the careful design and analysis of such systems. Indeed these steps must cope with temporal and spatial constraints associated with mobility rules and parallelism which induce a high complexity. Here we handle the problem of unexpected and uncontrollable vehicles which significantly endanger the traffic. In this context, we propose to apply discrete control theory to a model of automatic motorway in order to synthesize a controller that handles collision avoidance. This approach includes two parts: the design of a formal model and an efficient implementation based on hierarchical decision diagrams.
doi_str_mv 10.1109/WODES.2008.4605970
format Conference Proceeding
fullrecord <record><control><sourceid>hal_6IE</sourceid><recordid>TN_cdi_ieee_primary_4605970</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4605970</ieee_id><sourcerecordid>oai_HAL_hal_01303699v1</sourcerecordid><originalsourceid>FETCH-LOGICAL-h253t-a43306500e75bcfdaca487db49508541787bcf63c815db1322bba4b8fe24154a3</originalsourceid><addsrcrecordid>eNpVkE9LAzEQxSMiKLVfQC-5emjN393EW6mtLRR6aMWby-xu1ka2yZKESr-9W1oE5_KYN7_3DoPQAyVjSol-_li_zjZjRogai4xInZMrNNS5ooIJwaTm6vrfzugtGsb4TfoRkmeK36HPqW9bG613GA7e1uAqg63DS5dMf_gyLuFtABc7HxLeHGMy-_iCk_-BUEcMfazrWltBOlX4BlfepeBbnHbGh-M9ummgjWZ40QF6n8-208VotX5bTier0Y5JnkYgOCeZJMTksqyaGioQKq9LoSVRUtBc5b2d8UpRWZeUM1aWIErVGCaoFMAH6Oncu4O26ILdQzgWHmyxmKyKk0coJzzT-kB79vHMWmPMH3z5IP8Fs9dk0w</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Collision avoidance in Intelligent Transport Systems: towards an application of control theory</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Berard, B. ; Haddad, S. ; Hillah, L.M. ; Kordon, F. ; Thierry-Mieg, Y.</creator><creatorcontrib>Berard, B. ; Haddad, S. ; Hillah, L.M. ; Kordon, F. ; Thierry-Mieg, Y.</creatorcontrib><description>Safety is a prevalent issue in intelligent transport systems (ITS). To ensure such a vital requirement, methodologies must offer support for the careful design and analysis of such systems. Indeed these steps must cope with temporal and spatial constraints associated with mobility rules and parallelism which induce a high complexity. Here we handle the problem of unexpected and uncontrollable vehicles which significantly endanger the traffic. In this context, we propose to apply discrete control theory to a model of automatic motorway in order to synthesize a controller that handles collision avoidance. This approach includes two parts: the design of a formal model and an efficient implementation based on hierarchical decision diagrams.</description><identifier>ISBN: 9781424425921</identifier><identifier>ISBN: 1424425921</identifier><identifier>EISBN: 9781424425938</identifier><identifier>EISBN: 142442593X</identifier><identifier>DOI: 10.1109/WODES.2008.4605970</identifier><language>eng</language><publisher>IEEE</publisher><subject>Computer Science ; Conferences ; Discrete event systems</subject><ispartof>2008 9th International Workshop on Discrete Event Systems, 2008, p.346-351</ispartof><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><orcidid>0000-0002-1759-1201 ; 0000-0002-4558-720X ; 0000-0002-5626-828X ; 0000-0001-7775-1978</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4605970$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,885,2057,27924,54919</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4605970$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://hal.science/hal-01303699$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Berard, B.</creatorcontrib><creatorcontrib>Haddad, S.</creatorcontrib><creatorcontrib>Hillah, L.M.</creatorcontrib><creatorcontrib>Kordon, F.</creatorcontrib><creatorcontrib>Thierry-Mieg, Y.</creatorcontrib><title>Collision avoidance in Intelligent Transport Systems: towards an application of control theory</title><title>2008 9th International Workshop on Discrete Event Systems</title><addtitle>WODES</addtitle><description>Safety is a prevalent issue in intelligent transport systems (ITS). To ensure such a vital requirement, methodologies must offer support for the careful design and analysis of such systems. Indeed these steps must cope with temporal and spatial constraints associated with mobility rules and parallelism which induce a high complexity. Here we handle the problem of unexpected and uncontrollable vehicles which significantly endanger the traffic. In this context, we propose to apply discrete control theory to a model of automatic motorway in order to synthesize a controller that handles collision avoidance. This approach includes two parts: the design of a formal model and an efficient implementation based on hierarchical decision diagrams.</description><subject>Computer Science</subject><subject>Conferences</subject><subject>Discrete event systems</subject><isbn>9781424425921</isbn><isbn>1424425921</isbn><isbn>9781424425938</isbn><isbn>142442593X</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2008</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpVkE9LAzEQxSMiKLVfQC-5emjN393EW6mtLRR6aMWby-xu1ka2yZKESr-9W1oE5_KYN7_3DoPQAyVjSol-_li_zjZjRogai4xInZMrNNS5ooIJwaTm6vrfzugtGsb4TfoRkmeK36HPqW9bG613GA7e1uAqg63DS5dMf_gyLuFtABc7HxLeHGMy-_iCk_-BUEcMfazrWltBOlX4BlfepeBbnHbGh-M9ummgjWZ40QF6n8-208VotX5bTier0Y5JnkYgOCeZJMTksqyaGioQKq9LoSVRUtBc5b2d8UpRWZeUM1aWIErVGCaoFMAH6Oncu4O26ILdQzgWHmyxmKyKk0coJzzT-kB79vHMWmPMH3z5IP8Fs9dk0w</recordid><startdate>200805</startdate><enddate>200805</enddate><creator>Berard, B.</creator><creator>Haddad, S.</creator><creator>Hillah, L.M.</creator><creator>Kordon, F.</creator><creator>Thierry-Mieg, Y.</creator><general>IEEE</general><general>IEEE Computer Society</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>1XC</scope><orcidid>https://orcid.org/0000-0002-1759-1201</orcidid><orcidid>https://orcid.org/0000-0002-4558-720X</orcidid><orcidid>https://orcid.org/0000-0002-5626-828X</orcidid><orcidid>https://orcid.org/0000-0001-7775-1978</orcidid></search><sort><creationdate>200805</creationdate><title>Collision avoidance in Intelligent Transport Systems: towards an application of control theory</title><author>Berard, B. ; Haddad, S. ; Hillah, L.M. ; Kordon, F. ; Thierry-Mieg, Y.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-h253t-a43306500e75bcfdaca487db49508541787bcf63c815db1322bba4b8fe24154a3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Computer Science</topic><topic>Conferences</topic><topic>Discrete event systems</topic><toplevel>online_resources</toplevel><creatorcontrib>Berard, B.</creatorcontrib><creatorcontrib>Haddad, S.</creatorcontrib><creatorcontrib>Hillah, L.M.</creatorcontrib><creatorcontrib>Kordon, F.</creatorcontrib><creatorcontrib>Thierry-Mieg, Y.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection><collection>Hyper Article en Ligne (HAL)</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Berard, B.</au><au>Haddad, S.</au><au>Hillah, L.M.</au><au>Kordon, F.</au><au>Thierry-Mieg, Y.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Collision avoidance in Intelligent Transport Systems: towards an application of control theory</atitle><btitle>2008 9th International Workshop on Discrete Event Systems</btitle><stitle>WODES</stitle><date>2008-05</date><risdate>2008</risdate><spage>346</spage><epage>351</epage><pages>346-351</pages><isbn>9781424425921</isbn><isbn>1424425921</isbn><eisbn>9781424425938</eisbn><eisbn>142442593X</eisbn><abstract>Safety is a prevalent issue in intelligent transport systems (ITS). To ensure such a vital requirement, methodologies must offer support for the careful design and analysis of such systems. Indeed these steps must cope with temporal and spatial constraints associated with mobility rules and parallelism which induce a high complexity. Here we handle the problem of unexpected and uncontrollable vehicles which significantly endanger the traffic. In this context, we propose to apply discrete control theory to a model of automatic motorway in order to synthesize a controller that handles collision avoidance. This approach includes two parts: the design of a formal model and an efficient implementation based on hierarchical decision diagrams.</abstract><pub>IEEE</pub><doi>10.1109/WODES.2008.4605970</doi><tpages>6</tpages><orcidid>https://orcid.org/0000-0002-1759-1201</orcidid><orcidid>https://orcid.org/0000-0002-4558-720X</orcidid><orcidid>https://orcid.org/0000-0002-5626-828X</orcidid><orcidid>https://orcid.org/0000-0001-7775-1978</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9781424425921
ispartof 2008 9th International Workshop on Discrete Event Systems, 2008, p.346-351
issn
language eng
recordid cdi_ieee_primary_4605970
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Computer Science
Conferences
Discrete event systems
title Collision avoidance in Intelligent Transport Systems: towards an application of control theory
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T01%3A42%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-hal_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Collision%20avoidance%20in%20Intelligent%20Transport%20Systems:%20towards%20an%20application%20of%20control%20theory&rft.btitle=2008%209th%20International%20Workshop%20on%20Discrete%20Event%20Systems&rft.au=Berard,%20B.&rft.date=2008-05&rft.spage=346&rft.epage=351&rft.pages=346-351&rft.isbn=9781424425921&rft.isbn_list=1424425921&rft_id=info:doi/10.1109/WODES.2008.4605970&rft_dat=%3Chal_6IE%3Eoai_HAL_hal_01303699v1%3C/hal_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9781424425938&rft.eisbn_list=142442593X&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4605970&rfr_iscdi=true