Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Safe autonomy under perception uncertainty using chance-constrained temporal logic
Jha S., Raman V., Sadigh D., Seshia S. Journal of Automated Reasoning60 (1):43-62,2018.Type:Article
Date Reviewed: Jan 17 2019

The topic of self-driving cars is receiving a lot of press lately. This paper on safe autonomy is an interesting read for people researching autonomous vehicles or more generally autonomous control systems. While the authors provide readers with some background on autonomous control system, the paper is certainly not a primer for beginners.

The focus of so-called chance constrained temporal logic (C2TL) is safety requirements. As stated in the paper, “chance constraints provide a natural way to specify probabilistic correctness properties” and “capture perception uncertainty.” After providing formal definitions, the paper continues with how to formulate and synthesize autonomous vehicle control subject to C2TL specifications.

As proof of concept, the authors present case studies on “navigation in an uncertain map,” changing lanes, “passing a vehicle using oncoming traffic lane,” and risk distribution.

In reality, environments are dynamic and noisy. This is not addressed. While a more adaptive approach is needed, the paper presents “a first-step towards [the] design of autonomous systems with assurance in [the] presence of perception uncertainty.”

Reviewer:  Ning Xu Review #: CR146383 (1903-0083)
Bookmark and Share
 
Temporal Logic (F.4.1 ... )
 
 
General (I.2.0 )
 
Would you recommend this review?
yes
no
Other reviews under "Temporal Logic": Date
On projective and separable properties
Peled D. Theoretical Computer Science 186(1-2): 135-156, 1997. Type: Article
Oct 1 1998
Temporal logics for real-time system specification
Bellini P., Mattolini R., Nesi P. ACM Computing Surveys 32(1): 12-42, 2000. Type: Article
Sep 1 2000
An expressively complete linear time temporal logic for Mazurkiewicz traces: an experiment with the shortest-paths algorithms
Thiagarajan P., Walukiewicz I. Information and Computation 179(2): 230-249, 2002. Type: Article
Jul 10 2003
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy