liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Formal Approach to Autonomous Vehicle Coordination
Trinity College Dublin. (Distributed Systems Group)ORCID iD: 0000-0003-1916-3398
Trinity College Dublin. (Distributed Systems Group)
Trinity College Dublin. (Distributed Systems Group)
Trinity College Dublin. (Distributed Systems Group)
Show others and affiliations
2012 (English)In: FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / [ed] Dimitra Giannakopoulou and Dominique Méry, Springer Berlin/Heidelberg, 2012, 52-67 p.Chapter in book (Refereed)
Abstract [en]

Increasing demands on safety and energy efficiency will require higher levels of automation in transportation systems. This involves dealing with safety-critical distributed coordination. In this paper we demonstrate how a Satisfiability Modulo Theories (SMT) solver can be used to prove correctness of a vehicular coordination problem. We formalise a recent distributed coordination protocol and validate our approach using an intersection collision avoidance (ICA) case study. The system model captures continuous time and space, and an unbounded number of vehicles and messages. The safety of the case study is automatically verified using the Z3 theorem prover.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. 52-67 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 7436
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-80910DOI: 10.1007/978-3-642-32759-9_8ISBN: 978-3-642-32758-2 (print)ISBN: e- 978-3-642-32759-9 OAI: oai:DiVA.org:liu-80910DiVA: diva2:549145
Available from: 2012-09-03 Created: 2012-09-03 Last updated: 2015-03-02

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Asplund, Mikael

Search in DiVA

By author/editor
Asplund, Mikael
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 103 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf