Biblio
Filters: Author is Meeko Oishi [Clear All Filters]
.
Submitted. Coordinated threat intercept via forward stochastic reachability. American Control Conference} year = {2018.
under review
.
2017. Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. {IEEE Transactions on Automatic Control}. 62:81–96.
.
2017. Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field. {IEEE Transactions on Robotics}.
To appear
.
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. 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
.
2015. Finite State Approximation for Verification of Partially Observable Stochastic Hybrid Systems. Hybrid Systems: Computation and Control. :159–168.
.
2015. Computing Probabilistic Viable Sets for Partially Observable Hybrid Systems Using Truncated Gaussians and Adaptive Gridding. American Control Conference. :1505–1512.
.
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. Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. {IEEE Transactions on Automatic Control}. 60
.
2014. Stochastic Reachability Based Motion Planning for Multiple Moving Obstacle Avoidance. Hybrid Systems: Computation and Control. :51–60.
.
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''