关注
Kendra Lang (Lesser)
Kendra Lang (Lesser)
Verus Research
在 verusresearch.net 的电子邮件经过验证
标题
引用次数
引用次数
年份
Hybrid dynamic moving obstacle avoidance using a stochastic reachable set-based potential field
N Malone, HT Chiang, K Lesser, M Oishi, L Tapia
IEEE Transactions on Robotics 33 (5), 1124-1138, 2017
1712017
Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments
HT Chiang, N Malone, K Lesser, M Oishi, L Tapia
2015 IEEE international conference on robotics and automation (ICRA), 2347-2354, 2015
1472015
Stochastic reachability for control of spacecraft relative motion
K Lesser, M Oishi, RS Erwin
52nd IEEE Conference on Decision and Control, 4705-4712, 2013
542013
Stochastic reachability based motion planning for multiple moving obstacle avoidance
N Malone, K Lesser, M Oishi, L Tapia
Proceedings of the 17th international conference on Hybrid systems …, 2014
382014
Aggressive moving obstacle avoidance using a stochastic reachable set based potential field
HT Chiang, N Malone, K Lesser, M Oishi, L Tapia
Algorithmic Foundations of Robotics XI: Selected Contributions of the …, 2015
312015
Reachability for partially observable discrete time stochastic hybrid systems
K Lesser, M Oishi
Automatica 50 (8), 1989-1998, 2014
312014
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, HAP Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, ...
ARCH@ ADHS 54, 71-103, 2018
252018
Approximate safety verification and control of partially observable stochastic hybrid systems
K Lesser, M Oishi
IEEE Transactions on Automatic Control 62 (1), 81-96, 2016
182016
Finite state approximation for verification of partially observable stochastic hybrid systems
K Lesser, M Oishi
Proceedings of the 18th international conference on hybrid systems …, 2015
162015
Multi-objective optimal control with safety as a priority
K Lesser, A Abate
Proceedings of the 8th International Conference on Cyber-Physical Systems, 25-36, 2017
132017
Deep reinforcement learning for multi-agent autonomous satellite inspection
HH Lei, M Shubert, N Damron, K Lang, S Phillips
Proceedings of the 44th Annual American Astronautical Society Guidance …, 2022
92022
Safety verification of output feedback controllers for nonlinear systems
K Lesser, A Abate
2016 European Control Conference (ECC), 413-418, 2016
72016
Controller synthesis for probabilistic safety specifications using observers
K Lesser, A Abate
IFAC-PapersOnLine 48 (27), 329-334, 2015
72015
Exposure-Based Multi-Agent Inspection of a Tumbling Target Using Deep Reinforcement Learning
J Aurand, S Cutlip, H Lei, K Lang, S Phillips
arXiv preprint arXiv:2302.14188, 2023
42023
Formal verification applied to spacecraft attitude control
K Lang, C Klett, K Hawkins, E Feron, P Tsiotras, S Phillips
AIAA Scitech 2021 Forum, 1126, 2021
42021
Don’t go that way! risk-aware decision making for autonomous vehicles
K Mokhtari, KA Lang, AR Wagner
Social Robotics: 12th International Conference, ICSR 2020, Golden, CO, USA …, 2020
42020
Computing probabilistic viable sets for partially observable systems using truncated gaussians and adaptive gridding
K Lesser, M Oishi
2015 American Control Conference (ACC), 1505-1512, 2015
42015
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions
M Abate, M Mote, M Dor, C Klett, S Phillips, K Lang, P Tsiotras, E Feron, ...
IEEE Transactions on Control Systems Technology, 2023
32023
Trajectory Synthesis for the Coordinated Inspection of a Spacecraft with Safety Guarantees
M Hibbard, M Cubuktepe, M Shubert, K Lang, U Topcu, S Phillips
Journal of Guidance, Control, and Dynamics 46 (12), 2245-2264, 2023
22023
Automated satellite fault detection using machine learning
K Lang, B Xu, M Simon, B Seibert
ASCEND 2022, 4297, 2022
22022
系统目前无法执行此操作,请稍后再试。
文章 1–20