Scipediacontent: Scipediacontent moved page Draft Content 452438159 to Buss et al 2007a

2021-02-03T20:47:06Z

Scipediacontent moved page Draft Content 452438159 to Buss et al 2007a

Scipediacontent: Created page with " == Abstract == common requirement for autonomous cars is a safe locomotion which is evaluated by the method of hybrid verification applied online. The approach checks avoid..."

2021-02-03T20:47:03Z

Created page with " == Abstract == common requirement for autonomous cars is a safe locomotion which is evaluated by the method of hybrid verification applied online. The approach checks avoid..."

New page

== Abstract ==

common requirement for autonomous cars is a safe locomotion which is evaluated by the method of hybrid verification applied online. The approach checks avoidance of static obstacles and dynamic traffic participants, which are described by imprecise data on their positions and velocities. The nonlinear dynamics of the autonomous car and other traffic participants is conservatively abstracted to Markov chains, which allows the efficient computation of their future positions probabilistically. The result is the probability of a crash for a given time horizon, showing if a given control strategy may lead to unsafe situations.

== Original document ==

The different versions of the original document can be found in:

* [http://mediatum.ub.tum.de/doc/1289987/document.pdf http://mediatum.ub.tum.de/doc/1289987/document.pdf]

* [http://xplorestaging.ieee.org/ielx5/4282134/4282135/04282809.pdf?arnumber=4282809 http://xplorestaging.ieee.org/ielx5/4282134/4282135/04282809.pdf?arnumber=4282809],
: [http://dx.doi.org/10.1109/acc.2007.4282809 http://dx.doi.org/10.1109/acc.2007.4282809]

* [https://ieeexplore.ieee.org/document/4282809 https://ieeexplore.ieee.org/document/4282809],
: [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004282809 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004282809],
: [http://mediatum.ub.tum.de/1289987 http://mediatum.ub.tum.de/1289987],
: [https://academic.microsoft.com/#/detail/2123951162 https://academic.microsoft.com/#/detail/2123951162]

* [ ]

← Older revision	Revision as of 20:47, 3 February 2021
(No difference)

Buss et al 2007a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 452438159 to Buss et al 2007a

Scipediacontent: Created page with " == Abstract == common requirement for autonomous cars is a safe locomotion which is evaluated by the method of hybrid verification applied online. The approach checks avoid..."