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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/ACC.2012.6315384 | American Control Conference |
Keywords | Field | DocType |
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 | Computation tree logic,Dynamic programming,Functional requirement,Computer science,Control engineering,Robustness (computer science),Software,Temporal logic,Robust control,Automotive industry | Conference |
ISSN | ISBN | Citations |
0743-1619 E-ISBN : 978-1-4673-2102-0 | 978-1-4673-2102-0 | 28 |
PageRank | References | Authors |
1.21 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Georgios E. Fainekos | 1 | 804 | 52.65 |
Sriram Sankaranarayanan | 2 | 187 | 8.03 |
Koichi Ueda | 3 | 28 | 1.21 |
Hakan Yazarel | 4 | 45 | 2.96 |