Follow
Kendra Lang (Lesser)
Kendra Lang (Lesser)
Verus Research
Verified email at verusresearch.net
Title
Cited by
Cited by
Year
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
1222015
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
1052017
Stochastic reachability for control of spacecraft relative motion
K Lesser, M Oishi, RS Erwin
52nd IEEE Conference on Decision and Control, 4705-4712, 2013
462013
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
352014
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, 73-89, 2015
282015
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, 71-103, 2018
202018
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
Multiobjective optimal control with safety as a priority
K Lesser, A Abate
IEEE Transactions on Control Systems Technology 26 (3), 1015-1027, 2017
122017
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
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
Don’t Go That Way! Risk-Aware Decision Making for Autonomous Vehicles
K Mokhtari, KA Lang, AR Wagner
International Conference on Social Robotics, 284-295, 2020
32020
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
22021
Computational techniques for reachability analysis of partially observable discrete time stochastic hybrid systems
K Lesser, M Oishi
arXiv preprint arXiv:1404.5906, 2014
22014
Falsification-based Verification for Multi-Mode Spacecraft Attitude Control Systems
JM Brewer, P Tsiotras, K Lang, S Phillips
2021 American Control Conference (ACC), 4296-4301, 2021
12021
Examining reliability of wireless multihop network routing with linear systems
T Biswas, K Lesser, R Dutta, M Oishi
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 1-2, 2014
12014
Automated Satellite Fault Detection using Machine Learning
K Lang, B Xu, M Simon, B Seibert
ASCEND 2022, 4297, 2022
2022
Machine Learning for Reaction Wheel Fault Detection using Simulated Telemetry Data
J Vaz Carneiro, H Schaub, M Lahijanian, K Lang, K Borozdin
AIAA SCITECH 2022 Forum, 2507, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20