Safe Flight Envelope Uncertainty Quantification using Probabilistic Reachability Analysis
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.09.641
Abstract: Abstract Loss of Control is the primary contributor to aviation fatalities. To prevent this type of accident, flight envelope protection is considered to be a necessary development. The calculation of the Safe Flight Envelope provides… read more here.
Keywords: safe flight; flight envelope; envelope; reachability analysis ... See more keywords
Data-Driven Reachability Analysis for Nonlinear Systems
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2024.3510595
Abstract: We consider the problem of forward reachability analysis of a closed-box nonlinear system, using only the data from the system. We propose a method that computes an ellipsoidal set that tightly over-approximates the true reachable… read more here.
Keywords: nonlinear system; system; reachable set; reachability analysis ... See more keywords
Safe Reinforcement Learning Using Black-Box Reachability Analysis
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Robotics and Automation Letters"
DOI: 10.1109/lra.2022.3192205
Abstract: Reinforcement learning (RL) is capable of sophisticated motion planning and control for robots in uncertain environments. However, state-of-the-art deep RL approaches typically lack safety guarantees, especially when the robot and environment models are unknown. To… read more here.
Keywords: reinforcement learning; reachability analysis; box reachability; black box ... See more keywords
Reachability Analysis for Safety Assurance of Cyber-Physical Systems Against Cyber Attacks
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2017.2761762
Abstract: This technical note proposes an algorithm to assess the safety of the cyber-physical system (CPS) in the presence of cyber attacks, which can be designed intelligently to avoid the detection. The main idea is based… read more here.
Keywords: reachability analysis; safety; cyber attacks; cyber physical ... See more keywords
Reachability Analysis in Stochastic Directed Graphs by Reinforcement Learning
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2022.3143080
Abstract: We characterize the reachability probabilities in stochastic directed graphs by means of reinforcement learning methods. In particular, we show that the dynamics of the transition probabilities in a stochastic digraph can be modeled via a… read more here.
Keywords: reinforcement learning; stochastic directed; reachability analysis; directed graphs ... See more keywords
Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2022.3191750
Abstract: Ellipsoids are a common representation for reachability analysis, because they can be transformed efficiently under affine maps, and they allow conservative approximation of Minkowski sums, which let one incorporate uncertainty and linearization error in a… read more here.
Keywords: fault detection; reachability analysis; detection; ellipsoids zonotopes ... See more keywords
Probabilistic Reachability Analysis of Stochastic Control Systems
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2025.3566983
Abstract: We address the reachability problem for continuous-time stochastic dynamic systems. Our objective is to present a unified framework that characterizes the reachable set of a dynamic system in the presence of both stochastic disturbances and… read more here.
Keywords: control; stochastic disturbances; analysis; reachability ... See more keywords
Reachability Analysis of Cyber-Physical Systems Under Stealthy Attacks.
Sign Up to like & getrecommendations! Published in 2020 at "IEEE transactions on cybernetics"
DOI: 10.1109/tcyb.2020.3025307
Abstract: This article studies the reachable set of cyber-physical systems subject to stealthy attacks with the Kullback-Leibler divergence adopted to describe the stealthiness. The reachable set is defined as the set in which both the system… read more here.
Keywords: physical systems; reachable set; cyber physical; reachability analysis ... See more keywords
Real-Time Robust Receding Horizon Planning Using Hamilton–Jacobi Reachability Analysis
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Robotics"
DOI: 10.1109/tro.2022.3187291
Abstract: Safety guarantee prior to the deployment of robots can be difficult due to unexpected disturbances in runtime. This article presents a real-time receding-horizon robust trajectory planning algorithm for nonlinear closed-loop systems, which guarantees the safety… read more here.
Keywords: time; receding horizon; hamilton jacobi; reachability analysis ... See more keywords