Sökning: WFRF:(Asplund Mikael 1981 ) >
A Formal Approach t...
A Formal Approach to Autonomous Vehicle Coordination
-
- Asplund, Mikael, 1981- (författare)
- Trinity College Dublin,Distributed Systems Group
-
- Manzoor, Atif (författare)
- Trinity College Dublin,Distributed Systems Group
-
- Bouroche, Mélanie (författare)
- Trinity College Dublin,Distributed Systems Group
-
visa fler...
-
- Clarke, Siobhan (författare)
- Trinity College Dublin,Distributed Systems Group
-
- Cahill, Vinny (författare)
- Trinity College Dublin,Distributed Systems Group
-
visa färre...
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin/Heidelberg, 2012
- 2012
- Engelska.
-
Ingår i: FM 2012: Formal Methods. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642327582 - 9783642327599 ; , s. 52-67
- Relaterad länk:
-
https://ulir.ul.ie/b...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kap (ämneskategori)
Hitta via bibliotek
Till lärosätets databas