Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification

Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification

Bibliographic Details
Main Authors:	Jasour, Ashkan, Han, Weiqiao, Williams, Brian
Other Authors:	Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Format:	Article
Language:	English
Published:	Institute of Electrical and Electronics Engineers (IEEE) 2022
Online Access:	https://hdl.handle.net/1721.1/145550

Similar Items

Convex Risk Bounded Continuous-Time Trajectory Planning in Uncertain Nonconvex Environments
by: Jasour, Ashkan, et al.
Published: (2022)

Sequential Chance Optimization For Flow-Tube Based Control Of Probabilistic Nonlinear Systems
by: Jasour, Ashkan, et al.
Published: (2021)

Provably Safe Trajectory Optimization in the Presence of Uncertain Convex Obstacles
by: Dawson, Charles, et al.
Published: (2022)

Non-Gaussian Chance-Constrained Trajectory Planning for Autonomous Vehicles Under Agent Uncertainty
by: Wang, Allen, et al.
Published: (2021)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
by: Chen, T, et al.
Published: (2011)

Time-Bounded Verification
by: Ouaknine, J, et al.
Published: (2009)

Moment-Sum-of-Squares Approach for Fast Risk Estimation in Uncertain Environments
by: Jasour, Ashkan M., et al.
Published: (2020)

Fast Risk Assessment for Autonomous Vehicles Using Learned Models of Agent Futures
by: Wang, Allen, et al.
Published: (2022)

Risk Conditioned Neural Motion Planning
by: Huang, Xin, et al.
Published: (2022)

Fast nonlinear risk assessment for autonomous vehicles using learned conditional probabilistic models of agent futures
by: Jasour, Ashkan, et al.
Published: (2022)

HYPER: Learned Hybrid Trajectory Prediction via Factored Inference and Adaptive Sampling
by: Huang, Xin, et al.
Published: (2024)

Local Trajectory Stabilization for Dexterous Manipulation via Piecewise Affine Approximations
by: Han, Weiqiao, et al.
Published: (2022)

Real-time face verification
by: Romano, Raquel Andrea
Published: (2007)

Information-Driven and Risk-Bounded Autonomy for Scientist Avatars
by: Timmons, Eric M, et al.
Published: (2022)

Towards a Theory of Time-Bounded Verification.
by: Ouaknine, J, et al.
Published: (2010)

Hybrid Risk-Aware Conditional Planning with Applications in Autonomous Vehicles
by: Huang, Xin, et al.
Published: (2020)

Verification and control of turn-based probabilistic real-time games
by: Kwiatkowska, M, et al.
Published: (2019)

Incremental Verification of Timing Constraints for Real-Time Systems
by: Andrei, Å tefan, et al.
Published: (2004)

Bounded verification of voting software
by: Dennis, Gregory D., et al.
Published: (2010)

Risk Aware Planning and Probabilistic Prediction for Autonomous Systems under Uncertain Environments
by: Han, Weiqiao
Published: (2023)

Modeling and verification of randomized distributed real-time systems
by: Segala, Roberto
Published: (2007)

Modeling and Verification of Randomized Distributed Real -Time Systems
by: Segala, Roberto
Published: (2023)

Contract-based safety verification for autonomous driving
by: Liebenwein, Lucas
Published: (2019)

Real-time trajectory optimization for excavators by power maximization
by: Sotiropoulos, Filippos Edward
Published: (2019)

Rubicon: Bounded Verification of Web Applications
by: Jackson, Daniel, et al.
Published: (2014)

Chance Constrained Motion Planning for High-Dimensional Robots
by: Dai, Siyu, et al.
Published: (2021)

Ellipsoidal bounds on state trajectories for discrete-time systems with linear fractional uncertainties
by: Kishida, Masako, et al.
Published: (2016)

PRISM 4.0: Verification of probabilistic real-time systems
by: Kwiatkowska, M, et al.
Published: (2011)

Event Order Abstraction for Parametric Real-Time System Verification
by: Umeno, Shinya
Published: (2008)

Quantitative verification of real-time properties with application to medical devices
by: Marco Diciolla, M, et al.
Published: (2014)

Time Bounds for Real-time Process Control in the Presence of Time Uncertainty
by: Attiya, Hagit, et al.
Published: (2023)

Controller Synthesis for Discrete-Time Polynomial Systems via Occupation Measures
by: Han, Weiqiao, et al.
Published: (2021)

A relational framework for bounded program verification
by: Dennis, Gregory D. (Gregory David), 1980-
Published: (2010)

Verification of audio signal processing algorithm using real-time simulator
by: Ling, Keck Voon, et al.
Published: (2013)

Safety verification for automated vehicle maneuvers
by: Dolginova, Ekaterina, 1977-
Published: (2009)

Software and Systems Safety − Specification and Verification
Published: (2011)

Verification and validation of safety related software
by: Arno, Matthew G. (Matthew Gordon)
Published: (2006)

Safety verification of deep neural networks
by: Huang, X, et al.
Published: (2017)

Real-time quasi-analytical trajectory generation for docking with tumbling objects
by: Cabrales Hernandez, Alejandro D.
Published: (2020)

Real-time trajectory optimization using a constrained genetic algorithm
by: Van Deventer, Paul G. (Paul Gildenhuys)
Published: (2009)