Meeko M. K. Oishi

71 papers A 1B 2C 11Journal 36Unranked 21

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Convexified Open-Loop Stochastic Optimal Control for Linear Systems With Log-Concave Disturbances. IEEE Trans. Autom. Control. Vignesh Sivaramakrishnan, Abraham P. Vinod, Meeko M. K. Oishi
2024	—	`conf`	Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order. CDC Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak, Meeko M. K. Oishi
2024	J	`jnl`	Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order. CoRR Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak, Meeko M. K. Oishi
2024	—	`conf`	Personalized Data-Driven State Models of the Circadian Dynamics in a Biometric Signal. EMBC Chukwuemeka O. Ike, Yunshi Wen, John T. Wen, Meeko M. K. Oishi, Lee K. Brown, A. Agung Julius
2024	C	`conf`	Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control. ACC Adam J. Thorpe, Cyrus Neary, Franck Djeumou, Meeko M. K. Oishi, Ufuk Topcu
2024	—	`conf`	Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks. CDC Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Meeko M. K. Oishi
2023	C	`conf`	Data-Driven Stochastic Optimal Control Using Kernel Gradients. ACC Adam J. Thorpe, Jake A. Gonzales, Meeko M. K. Oishi
2023	—	`conf`	Efficient Estimation of the Human Circadian Phase via Kalman Filtering. EMBC Chukwuemeka O. Ike, John T. Wen, Meeko M. K. Oishi, Lee K. Brown, A. Agung Julius
2023	J	`jnl`	Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control. CoRR Adam J. Thorpe, Cyrus Neary, Franck Djeumou, Meeko M. K. Oishi, Ufuk Topcu
2023	J	`jnl`	Stochastic Reachability of Discrete-Time Stochastic Systems via Probability Measures. CoRR Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2022	J	`jnl`	Data-Driven Chance Constrained Control using Kernel Distribution Embeddings. CoRR Adam J. Thorpe, Thomas Lew, Meeko M. K. Oishi, Marco Pavone
2022	J	`jnl`	Data-Driven Stochastic Optimal Control Using Kernel Gradients. CoRR Adam J. Thorpe, Jake A. Gonzales, Meeko M. K. Oishi
2022	J	`jnl`	Probabilistic Verification of ReLU Neural Networks via Characteristic Functions. CoRR Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko M. K. Oishi, Panagiotis Tsiotras
2022	J	`jnl`	SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods. CoRR Adam J. Thorpe, Meeko M. K. Oishi
2022	J	`jnl`	Sensor Selection for Dynamics-Driven User-Interface Design. IEEE Trans. Control. Syst. Technol. Abraham P. Vinod, Adam J. Thorpe, Philip A. Olaniyi, Tyler H. Summers, Meeko M. K. Oishi
2022	J	`jnl`	State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings. Autom. Adam J. Thorpe, Kendric R. Ortiz, Meeko M. K. Oishi
2021	C	`conf`	Approximate Stochastic Reachability for High Dimensional Systems. ACC Adam J. Thorpe, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2021	J	`jnl`	Lagrangian approximations for stochastic reachability of a target tube. Autom. Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2021	—	`conf`	Learning Approximate Forward Reachable Sets Using Separating Kernels. L4DC Adam J. Thorpe, Kendric R. Ortiz, Meeko M. K. Oishi
2021	J	`jnl`	Probabilistic Occupancy via Forward Stochastic Reachability for Markov Jump Affine Systems. IEEE Trans. Autom. Control. Abraham P. Vinod, Meeko M. K. Oishi
2021	—	`conf`	SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions. CDC Adam J. Thorpe, Kendric R. Ortiz, Meeko M. K. Oishi
2021	—	`conf`	Stochastic Optimal Control via Hilbert Space Embeddings of Distributions. CDC Adam J. Thorpe, Meeko M. K. Oishi
2021	J	`jnl`	Stochastic Optimal Control via Hilbert Space Embeddings of Distributions. CoRR Adam J. Thorpe, Meeko M. K. Oishi
2021	J	`jnl`	Stochastic reachability of a target tube: Theory and computation. Autom. Abraham P. Vinod, Meeko M. K. Oishi
2020	J	`jnl`	Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems. CoRR Vignesh Sivaramakrishnan, Abraham P. Vinod, Meeko M. K. Oishi
2020	J	`jnl`	Data-Driven Stochastic Reachability Using Hilbert Space Embeddings. CoRR Adam J. Thorpe, Kendric R. Ortiz, Meeko M. K. Oishi
2020	J	`jnl`	Fast, Convexified Stochastic Optimal Open-Loop Control for Linear Systems Using Empirical Characteristic Functions. IEEE Control. Syst. Lett. Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2020	J	`jnl`	Model-Free Stochastic Reachability Using Kernel Distribution Embeddings. IEEE Control. Syst. Lett. Adam J. Thorpe, Meeko M. K. Oishi
2020	J	`jnl`	SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions. CoRR Adam J. Thorpe, Kendric R. Ortiz, Meeko M. K. Oishi
2020	J	`jnl`	Trust-based user-interface design for human-automation systems. CoRR Abraham P. Vinod, Adam J. Thorpe, Philip A. Olaniyi, Tyler H. Summers, Meeko M. K. Oishi
2019	—	`conf`	Affine controller synthesis for stochastic reachability via difference of convex programming. CDC Abraham P. Vinod, Meeko M. K. Oishi
2019	J	`jnl`	Assessing circadian rhythms and entrainment via intracranial temperature after severe head trauma. Biomed. Signal Process. Control. Joseph D. Gleason, Meeko M. K. Oishi, John T. Wen, Agung Julius, Suguna Pappu, Howard Yonas
2019	J	`jnl`	Model-Free Stochastic Reachability Using Kernel Distribution Embeddings. CoRR Adam J. Thorpe, Meeko M. K. Oishi
2019	C	`conf`	Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints. ACC Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2019	—	`conf`	SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. HSCC Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi
2019	—	`conf`	SReachTools: a MATLAB stochastic reachability toolbox. HSCC Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi
2019	—	`conf`	Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. SNR Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2019	J	`jnl`	Stochastic Reachability for Systems up to a Million Dimensions. CoRR Adam J. Thorpe, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2019	—	`conf`	The Maximal Hitting-Time Stochastic Reachability Problem. CDC Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2018	J	`jnl`	Lagrangian Approximations for Stochastic Reachability of a Target Tube. CoRR Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2018	C	`conf`	Multiple Pursuer-Based Intercept via Forward Stochastic Reachability. ACC Abraham P. Vinod, Baisravan Homchaudhuri, Christoph Hintz, Anup Parikh, Stephen P. Buerger, Meeko M. K. Oishi, Greg Brunson, Shakeeb Ahmad, Rafael Fierro
2018	J	`jnl`	Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles. CoRR Abraham P. Vinod, Baisravan Homchaudhuri, Meeko M. K. Oishi
2018	—	`conf`	Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. HSCC Abraham P. Vinod, Meeko M. K. Oishi
2018	—	`conf`	Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions. CDC Abraham P. Vinod, Sean Rice, Yuanqi Mao, Meeko M. K. Oishi, Behçet Açikmese
2018	J	`jnl`	Stochastic reachability of a target tube: Theory and computation. CoRR Abraham P. Vinod, Meeko M. K. Oishi
2017	C	`conf`	Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. ACC Baisravan Homchaudhuri, Abraham P. Vinod, Meeko M. K. Oishi
2017	—	`conf`	Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms. HSCC Abraham P. Vinod, Baisravan Homchaudhuri, Meeko M. K. Oishi
2017	J	`jnl`	Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms. CoRR Abraham P. Vinod, Meeko M. K. Oishi
2017	J	`jnl`	Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. IEEE Control. Syst. Lett. Abraham P. Vinod, Meeko M. K. Oishi
2017	J	`jnl`	Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods. CoRR Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2017	—	`conf`	Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods. CDC Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2016	J	`jnl`	Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. CoRR Baisravan Homchaudhuri, Abraham P. Vinod, Meeko M. K. Oishi
2016	J	`jnl`	Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms. CoRR Abraham P. Vinod, Baisravan Homchaudhuri, Meeko M. K. Oishi
2016	J	`jnl`	Guest Editorial Special Section on Human-Centered Automation. IEEE Trans Autom. Sci. Eng. Meeko M. K. Oishi, Dawn M. Tilbury, Claire J. Tomlin
2016	J	`jnl`	Observability of User-Interfaces for Hybrid LTI Systems Under Collaborative Control: Application to Aircraft Flight Management Systems. IEEE Trans Autom. Sci. Eng. Tasha M. Hammond, Neda Eskandari, Meeko M. K. Oishi
2016	C	`conf`	User-interface design for MIMO LTI human-automation systems through sensor placement. ACC Abraham P. Vinod, Tyler H. Summers, Meeko M. K. Oishi
2016	A	`conf`	Validation of cognitive models for collaborative hybrid systems with discrete human input. IROS Abraham P. Vinod, Yuqing Tang, Meeko M. K. Oishi, Katia P. Sycara, Christian Lebiere, Michael Lewis
2016	—	`conf`	Viable set approximation for linear-Gaussian systems with unknown, bounded variance. CDC Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi, Richard Scott Erwin
2015	C	`conf`	Computing probabilistic viable sets for partially observable systems using truncated gaussians and adaptive gridding. ACC Kendra Lesser, Meeko M. K. Oishi
2015	J	`jnl`	Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. IEEE Trans. Autom. Control. Shahab Kaynama, Ian M. Mitchell, Meeko M. K. Oishi, Guy Albert Dumont
2014	C	`conf`	Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field. WAFR Hao-Tien Chiang, Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia
2014	J	`jnl`	Approximate Verification of Partially Observable Discrete Time Stochastic Hybrid Systems. CoRR Kendra Lesser, Meeko M. K. Oishi
2014	C	`conf`	Assessing information availability for user-interfaces of shared control systems under reference tracking. ACC Meeko M. K. Oishi
2014	—	`conf`	Examining reliability of wireless multihop network routing with linear systems. HotSoS Trisha Biswas, Kendra Lesser, Rudra Dutta, Meeko M. K. Oishi
2014	—	`conf`	Stochastic reachability based motion planning for multiple moving obstacle avoidance. HSCC Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia
2014	B	`conf`	Using linear system reliability to obtain theoretical understanding of wireless routing. GLOBECOM Trisha Biswas, Kendra Lesser, Rudra Dutta, Meeko M. K. Oishi
2013	J	`jnl`	Lagrangian methods for approximating the viability kernel in high-dimensional systems. Autom. John N. Maidens, Shahab Kaynama, Ian M. Mitchell, Meeko M. K. Oishi, Guy Albert Dumont
2013	—	`conf`	Stochastic reachability for control of spacecraft relative motion. CDC Kendra Lesser, Meeko M. K. Oishi, Richard Scott Erwin
2012	C	`conf`	Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques. ACC Shahab Kaynama, Meeko M. K. Oishi, Ian M. Mitchell, Guy Albert Dumont
2011	B	`conf`	Computing observable and predictable subspaces to evaluate user-interfaces of LTI systems under shared control. SMC Neda Eskandari, Meeko M. K. Oishi
2010	—	`conf`	Mode Detection in switched pursuit tracking tasks: Hybrid estimation to measure performance in Parkinson's disease. CDC Meeko M. K. Oishi, Ahmad Ashoori, Martin J. McKeown