Online verification of cognitive car decisions

Matthias Althoff; Olaf Stursberg; Martin Buss

doi:10.1109/ivs.2007.4290203

Online verification of cognitive car decisions

Matthias Althoff
, Olaf Stursberg
, Martin Buss

Technical University of Munich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

19 Scopus citations

Abstract

Verifying a safe locomotion of cognitive cars is indispensable for their participation in road traffic. This paper suggests an approach for verifying safety by computing reachable sets for the position of relevant traffic participants, i.e. a cognitive car as well as moving objects in its environment. In order to account for the uncertainty in the behavior of traffic participants, a stochastic setting is chosen, in which Markov chains represent the positions probabilistically. An efficient online algorithm is presented that leads to the result whether the reachable sets of different traffic participants can intersect, meaning that the control strategy of the cognitive car is possibly unsafe.

Original language	English
Title of host publication	Proceedings of the 2007 IEEE Intelligent Vehicles Symposium, IV 2007
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	728-733
Number of pages	6
ISBN (Print)	1424410681, 9781424410682
DOIs	https://doi.org/10.1109/ivs.2007.4290203
State	Published - 2007
Event	2007 IEEE Intelligent Vehicles Symposium, IV 2007 - Istanbul, Turkey Duration: 13 Jun 2007 → 15 Jun 2007

Publication series

Name	IEEE Intelligent Vehicles Symposium, Proceedings

Conference

Conference	2007 IEEE Intelligent Vehicles Symposium, IV 2007
Country/Territory	Turkey
City	Istanbul
Period	13/06/07 → 15/06/07

Access to Document

10.1109/ivs.2007.4290203

Cite this

@inproceedings{7535cbdabd0c4b5a8b28ae425d031fdf,

title = "Online verification of cognitive car decisions",

abstract = "Verifying a safe locomotion of cognitive cars is indispensable for their participation in road traffic. This paper suggests an approach for verifying safety by computing reachable sets for the position of relevant traffic participants, i.e. a cognitive car as well as moving objects in its environment. In order to account for the uncertainty in the behavior of traffic participants, a stochastic setting is chosen, in which Markov chains represent the positions probabilistically. An efficient online algorithm is presented that leads to the result whether the reachable sets of different traffic participants can intersect, meaning that the control strategy of the cognitive car is possibly unsafe.",

author = "Matthias Althoff and Olaf Stursberg and Martin Buss",

year = "2007",

doi = "10.1109/ivs.2007.4290203",

language = "English",

isbn = "1424410681",

series = "IEEE Intelligent Vehicles Symposium, Proceedings",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "728--733",

booktitle = "Proceedings of the 2007 IEEE Intelligent Vehicles Symposium, IV 2007",

note = "2007 IEEE Intelligent Vehicles Symposium, IV 2007 ; Conference date: 13-06-2007 Through 15-06-2007",

}

Althoff, M, Stursberg, O & Buss, M 2007, Online verification of cognitive car decisions. in Proceedings of the 2007 IEEE Intelligent Vehicles Symposium, IV 2007., 4290203, IEEE Intelligent Vehicles Symposium, Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 728-733, 2007 IEEE Intelligent Vehicles Symposium, IV 2007, Istanbul, Turkey, 13/06/07. https://doi.org/10.1109/ivs.2007.4290203

Online verification of cognitive car decisions. / Althoff, Matthias; Stursberg, Olaf; Buss, Martin.
Proceedings of the 2007 IEEE Intelligent Vehicles Symposium, IV 2007. Institute of Electrical and Electronics Engineers Inc., 2007. p. 728-733 4290203 (IEEE Intelligent Vehicles Symposium, Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Online verification of cognitive car decisions

AU - Althoff, Matthias

AU - Stursberg, Olaf

AU - Buss, Martin

PY - 2007

Y1 - 2007

N2 - Verifying a safe locomotion of cognitive cars is indispensable for their participation in road traffic. This paper suggests an approach for verifying safety by computing reachable sets for the position of relevant traffic participants, i.e. a cognitive car as well as moving objects in its environment. In order to account for the uncertainty in the behavior of traffic participants, a stochastic setting is chosen, in which Markov chains represent the positions probabilistically. An efficient online algorithm is presented that leads to the result whether the reachable sets of different traffic participants can intersect, meaning that the control strategy of the cognitive car is possibly unsafe.

AB - Verifying a safe locomotion of cognitive cars is indispensable for their participation in road traffic. This paper suggests an approach for verifying safety by computing reachable sets for the position of relevant traffic participants, i.e. a cognitive car as well as moving objects in its environment. In order to account for the uncertainty in the behavior of traffic participants, a stochastic setting is chosen, in which Markov chains represent the positions probabilistically. An efficient online algorithm is presented that leads to the result whether the reachable sets of different traffic participants can intersect, meaning that the control strategy of the cognitive car is possibly unsafe.

UR - https://www.scopus.com/pages/publications/47849100667

U2 - 10.1109/ivs.2007.4290203

DO - 10.1109/ivs.2007.4290203

M3 - Conference contribution

AN - SCOPUS:47849100667

SN - 1424410681

SN - 9781424410682

T3 - IEEE Intelligent Vehicles Symposium, Proceedings

SP - 728

EP - 733

BT - Proceedings of the 2007 IEEE Intelligent Vehicles Symposium, IV 2007

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2007 IEEE Intelligent Vehicles Symposium, IV 2007

Y2 - 13 June 2007 through 15 June 2007

ER -

Online verification of cognitive car decisions

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this