Safe autonomy under perception uncertainty using chance-constrained temporal logic

DOI10.1007/s10817-017-9413-9zbMath1425.93202OpenAlexW2617250276MaRDI QIDQ682357

Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia, Susmit Jha

Publication date: 2 February 2018

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-017-9413-9

zbMATH Keywords

temporal logicautonomysafe control

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (4)

Trajectory planning under environmental uncertainty with finite-sample safety guarantees ⋮ Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification ⋮ Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges ⋮ Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control

Uses Software

• PRISM
• CVXOPT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A survey of motion planning algorithms from the perspective of autonomous UAV guidance
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Introduction to stochastic control theory
• Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
• A stochastic reach-avoid problem with random obstacles
• Reactive synthesis from signal temporal logic specifications
• Branching and bounds tighteningtechniques for non-convex MINLP
• Stochastic Hybrid Systems
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Logic in Computer Science
• A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Chance Constrained Programming with Joint Constraints
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• Hybrid Systems: Computation and Control

This page was built for publication: Safe autonomy under perception uncertainty using chance-constrained temporal logic