Folgen
Kendra Lang (Lesser)
Kendra Lang (Lesser)
Verus Research
Bestätigte E-Mail-Adresse bei verusresearch.net
Titel
Zitiert von
Zitiert von
Jahr
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
1762017
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
1582015
Stochastic reachability for control of spacecraft relative motion
K Lesser, M Oishi, RS Erwin
52nd IEEE Conference on Decision and Control, 4705-4712, 2013
592013
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
332015
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, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...
5th international workshop on applied verification of continuous and hybrid …, 2018
272018
Challenge problem: Assured satellite proximity operations
CD Petersen, S Phillips, KL Hobbs, K Lang
31st AAS/AIAA Space Flight Mechanics Meeting 176, 2021
232021
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
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
132022
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
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
62015
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
52023
Automated satellite fault detection using machine learning
K Lang, B Xu, M Simon, B Seibert
ASCEND 2022, 4297, 2022
42022
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20