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
1552017
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
1442015
Stochastic reachability for control of spacecraft relative motion
K Lesser, M Oishi, RS Erwin
52nd IEEE Conference on Decision and Control, 4705-4712, 2013
532013
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
392014
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
282014
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...
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
152015
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
142017
DEEP REINFORCEMENT LEARNING FOR MULTI-AGENT AUTONOMOUS SATELLITE INSPECTION
HH Lei, M Shubert, N Damron, K Lang, S Phillips
44th Annual AAS Guidance, Navigation and Control (GN&C) Conference …, 2022
82022
Safety verification of output feedback controllers for nonlinear systems
K Lesser, A Abate
2016 European Control Conference (ECC), 413-418, 2016
62016
Controller synthesis for probabilistic safety specifications using observers
K Lesser, A Abate
IFAC-PapersOnLine 48 (27), 329-334, 2015
62015
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
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
32021
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
22023
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
Computational techniques for reachability analysis of partially observable discrete time stochastic hybrid systems
K Lesser, M Oishi
arXiv preprint arXiv:1404.5906, 2014
22014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20