Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis
暂无分享,去创建一个
[1] Calin Belta,et al. Formal Methods for Discrete-Time Dynamical Systems , 2017 .
[2] Hadas Kress-Gazit,et al. Temporal Logic Motion Planning for Mobile Robots , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[3] Calin Belta,et al. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.
[4] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[5] Mo Chen,et al. Hamilton-Jacobi reachability: A brief overview and recent advances , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
[6] Ian M. Mitchell,et al. A Toolbox of Level Set Methods , 2005 .
[7] Maryam Kamgarpour,et al. From Uncertainty Data to Robust Policies for Temporal Logic Planning , 2018, HSCC.
[8] Lotta Jakobsson,et al. Collision Warning with Auto Brake - A Real-Life Safety Perspective , 2007 .
[9] Lihua Xie,et al. Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems , 2020, IEEE Transactions on Automatic Control.
[10] Xu Shen,et al. Autonomous Parking of Vehicle Fleet in Tight Environments , 2020, 2020 American Control Conference (ACC).
[11] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..
[12] Dimos V. Dimarogonas,et al. Resource-aware networked control systems under temporal logic specifications , 2019, Discret. Event Dyn. Syst..
[13] Karl H. Johansson,et al. A hierarchical control system for smart parking lots with automated vehicles: Improve efficiency by leveraging prediction of human drivers , 2019, 2019 18th European Control Conference (ECC).
[14] Paulo Tabuada,et al. Correct-by-Construction Adaptive Cruise Control: Two Approaches , 2016, IEEE Transactions on Control Systems Technology.
[15] Jaime Fernandez Fisac,et al. Game-Theoretic Safety Assurance for Human-Centered Robotic Systems , 2019 .
[16] Marco Pavone,et al. On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions , 2018, ISER.
[17] Christel Baier,et al. Principles of model checking , 2008 .
[18] Mo Chen,et al. Signal Temporal Logic meets Hamilton-Jacobi Reachability : Connections and Applications , 2018 .
[19] Paulo Tabuada,et al. Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.