Biblio
Filters: Keyword is 1329878 [Clear All Filters]
.
2014. Reachability for partially observable discrete time stochastic hybrid systems. Automatica. 50:1989–1998.
.
2015. Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. {IEEE Transactions on Automatic Control}. 60
.
2017. Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. {IEEE Transactions on Automatic Control}. 62:81–96.
.
2017. Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. IEEE Control Systems Letters. 1:316–321.
.
2017. Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field. {IEEE Transactions on Robotics}.
To appear
.
2014. Towards a Cognitively-based Analytic Model of Human Control of Swarms. Proceedings of the {AAAI} Spring Symposium. :68–73.
Technical Report SS-14-02, ``Formal Verification and Modeling in Human-Machine Systems''
.
2014. Stochastic Reachability Based Motion Planning for Multiple Moving Obstacle Avoidance. Hybrid Systems: Computation and Control. :51–60.
.
2015. Finite State Approximation for Verification of Partially Observable Stochastic Hybrid Systems. Hybrid Systems: Computation and Control. :159–168.
.
2015. Path-Guided Artificial Potential Fields with Stochastic Reachable Sets for Motion Planning in Highly Dynamic Environments. International Conference on Robotics and Automation. :2347–2354.
.
2015. Computing Probabilistic Viable Sets for Partially Observable Hybrid Systems Using Truncated Gaussians and Adaptive Gridding. American Control Conference. :1505–1512.
.
2016. Viable set approximation for linear-Gaussian systems with unknown, bounded variance. {IEEE} Conference on Decision and Control. :7049–7055.
.
2016. Validation of cognitive models for collaborative hybrid systems with discrete human input. {IEEE/RSJ} International Conference on Intelligent Robots and Systems. :3339–3346.
.
2017. Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms. Hybrid Systems: Computation and Control. :35–44.
\textbf{Best Student Paper Award}
.
2017. Dynamic Risk Tolerance: Motion Planning by Balancing Short-Term and Long-Term Stochastic Dynamic Predictions. International Conference on Robotics and Automation. :3762–3769.
to appear
.
2017. Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. American Control Conference. :4404–4411.
.
2017. Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods. {IEEE} Conference on Decision and Control.
to appear
.
2017. Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms. {IEEE} Conference on Decision and Control.
to appear
.
Submitted. Coordinated threat intercept via forward stochastic reachability. American Control Conference} year = {2018.
under review