Kendra Lesser

According to our database, Kendra Lesser authored at least 17 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Multiobjective Optimal Control With Safety as a Priority.

Kendra Lesser, Alessandro Abate

IEEE Trans. Control. Syst. Technol., 2018

ARCH-COMP18 Category Report: Stochastic Modelling.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set-Based Potential Field.

Nick Malone, Hao-Tien Chiang, Kendra Lesser, Meeko Oishi, Lydia Tapia

IEEE Trans. Robotics, 2017

Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems.

Kendra Lesser, Meeko Oishi

IEEE Trans. Autom. Control., 2017

Multi-objective optimal control with safety as a priority.

Kendra Lesser, Alessandro Abate

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

2016

Safety verification of output feedback controllers for nonlinear systems.

Kendra Lesser, Alessandro Abate

Proceedings of the 15th European Control Conference, 2016

2015

Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments.

Hao-Tien Chiang, Nick Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Finite state approximation for verification of partially observable stochastic hybrid systems.

Kendra Lesser, Meeko Oishi

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Computing probabilistic viable sets for partially observable systems using truncated gaussians and adaptive gridding.

Kendra Lesser, Meeko M. K. Oishi

Proceedings of the American Control Conference, 2015

Controller Synthesis for Probabilistic Safety Specifications using Observers.

Kendra Lesser, Alessandro Abate

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Approximate Verification of Partially Observable Discrete Time Stochastic Hybrid Systems.

Kendra Lesser, Meeko M. K. Oishi

CoRR, 2014

Reachability for partially observable discrete time stochastic hybrid systems.

Kendra Lesser, Meeko Oishi

Autom., 2014

Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field.

Hao-Tien Chiang, Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia

Proceedings of the Algorithmic Foundations of Robotics XI, 2014

Stochastic reachability based motion planning for multiple moving obstacle avoidance.

Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Examining reliability of wireless multihop network routing with linear systems.

Trisha Biswas, Kendra Lesser, Rudra Dutta, Meeko M. K. Oishi

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Using linear system reliability to obtain theoretical understanding of wireless routing.

Trisha Biswas, Kendra Lesser, Rudra Dutta, Meeko M. K. Oishi

Proceedings of the IEEE Global Communications Conference, 2014

2013

Stochastic reachability for control of spacecraft relative motion.

Kendra Lesser, Meeko M. K. Oishi, Richard Scott Erwin

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013