Verification of automotive control applications using S-TaLiRo

Author

Fainekos, G.E. ; Sankaranarayanan, Sriram ; Ueda, Kazunori ; Yazarel, Hakan

Author_Institution

Sch. of Comput., Inf. & Decision Syst. Eng, Arizona State Univ., Tempe, AZ, USA

fYear

2012

fDate

27-29 June 2012

Firstpage

3567

Lastpage

3572

Abstract

S-TALIRO is a software toolbox that performs stochastic search for system trajectories that falsify realtime temporal logic specifications. S-TaLiRo is founded on the notion of robustness of temporal logic specifications. In this paper, we present a dynamic programming algorithm for computing the robustness of temporal logic specifications with respect to system trajectories. We also demonstrate that typical automotive functional requirements can be captured and falsified using temporal logics and S-TALIRO.

Keywords

automobiles; control engineering computing; dynamic programming; robust control; search problems; stochastic processes; temporal logic; S-TaLiRo; automotive control applications; automotive functional requirements; dynamic programming algorithm; real-time temporal logic specifications; robustness; software toolbox; stochastic search; system trajectories; Dynamic programming; Gears; Heuristic algorithms; Measurement; Optimization; Robustness; Trajectory;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference (ACC), 2012

Conference_Location

Montreal, QC

ISSN

0743-1619

Print_ISBN

978-1-4577-1095-7

Electronic_ISBN

0743-1619

Type

conf

DOI

10.1109/ACC.2012.6315384

Filename

6315384