Meeko Oishi

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 33

Top Topics

Autonomous Vehicles

Obstacle Avoidance

Mixed Integer Linear Program

Optimal Control

Top Venues

Publications

Harini Sridhar, Gaojian Huang, Adam J. Thorpe, Meeko Oishi, Brandon J. Pitts
Characterizing the Effect of Mind Wandering on Braking Dynamics in Partially Autonomous Vehicles. ACM Trans. Cyber Phys. Syst. 8 (3) (2024)
Isabella Pacula, Meeko Oishi
Open-Loop Chance Constrained Stochastic Optimal Control via the One-Sided Vysochanskij-Petunin Inequality. IEEE Trans. Autom. Control. 69 (8) (2024)
Shawn Priore, Meeko Oishi
Chance Constrained Stochastic Optimal Control for Linear Systems with a Time Varying Random Control Matrix. CoRR (2023)
Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko Oishi, Panagiotis Tsiotras
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions. L4DC (2023)
Shawn Priore, Meeko Oishi
Chance Constrained Stochastic Optimal Control for Arbitrarily Disturbed LTI Systems Via the One-Sided Vysochanskij-Petunin Inequality. CoRR (2023)
Shawn Priore, Ali Bidram, Meeko Oishi
Chance Constrained Stochastic Optimal Control for Linear Systems with Time Varying Random Plant Parameters. ACC (2023)
Shawn Priore, Meeko Oishi
Chance Constrained Stochastic Optimal Control for Linear Systems with a Time Varying Random Control Matrix. CCTA (2023)
Shawn Priore, Meeko Oishi
Chance Constrained Stochastic Optimal Control Based on Sample Statistics With Almost Surely Probabilistic Guarantees. CoRR (2023)
Shawn Priore, Meeko Oishi
Stochastic Optimal Control For Gaussian Disturbances with Unknown Mean and Variance Based on Sample Statistics. CoRR (2023)
Shawn Priore, Meeko Oishi
Stochastic Optimal Control For Gaussian Disturbances with Unknown Mean and Variance Based on Sample Statistics. CDC (2023)
Shawn Priore, Christopher Petersen, Meeko Oishi
Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances. ACC (2022)
Adam J. Thorpe, Thomas Lew, Meeko Oishi, Marco Pavone
Data-Driven Chance Constrained Control using Kernel Distribution Embeddings. L4DC (2022)
Kendric R. Ortiz, Adam J. Thorpe, AnaMaria Perez, Maya Luster, Brandon J. Pitts, Meeko Oishi
Characterizing Within-Driver Variability in Driving Dynamics During Obstacle Avoidance Maneuvers. CoRR (2022)
Shawn Priore, Ali Bidram, Meeko Oishi
Optimal Control Strategy for Linear Systems with Time Varying Random Plant Parameters. CoRR (2022)
Adam J. Thorpe, Meeko Oishi
SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods. HSCC (2022)
Vignesh Sivaramakrishnan, Joshua Pilipovsky, Meeko Oishi, Panagiotis Tsiotras
Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions. ACC (2022)
Shawn Priore, Christopher Petersen, Meeko Oishi
Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed Disturbances. CoRR (2022)
Shawn Priore, Christopher Petersen, Meeko Oishi
Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances. CoRR (2021)
Shawn Priore, Abraham P. Vinod, Vignesh Sivaramakrishnan, Christopher Petersen, Meeko Oishi
Stochastic multi-satellite maneuvering with constraints in an elliptical orbit. ACC (2021)
Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam, Saurabh Bagchi, Mung Chiang, David Corman, Brian J. Henz, Suman Jana, Na Li, Shaoshuai Mou, Meeko Oishi, Chunyi Peng, Tiark Rompf, Ashutosh Sabharwal, Shreyas Sundaram, James Weimer, Jennifer Weller
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. CoRR (2020)
Nathan Patrizi, Georgios Fragkos, Kendric R. Ortiz, Meeko Oishi, Eirini-Eleni Tsiropoulou
A UAV-enabled Dynamic Multi-Target Tracking and Sensing Framework. GLOBECOM (2020)
Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açikmese, Meeko Oishi
Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems. ACC (2019)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek (2019)
Vignesh Sivaramakrishnan, Omanshu Thapliyal, Abraham P. Vinod, Meeko Oishi, Inseok Hwang
Predicting Mode Confusion Through Mixed Integer Linear Programming. CDC (2019)
Milad Khaledyan, Abraham P. Vinod, Meeko Oishi, John A. Richards
Optimal Coverage Control and Stochastic Multi-Target Tracking. CDC (2019)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod
ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS (2018)
Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açikmese, Meeko Oishi
Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems. CoRR (2018)
Hao-Tien Lewis Chiang, Baisravan HomChaudhuri, Abraham P. Vinod, Meeko Oishi, Lydia Tapia
Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions. ICRA (2017)
Nick Malone, Hao-Tien Chiang, Kendra Lesser, Meeko Oishi, Lydia Tapia
Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set-Based Potential Field. IEEE Trans. Robotics 33 (5) (2017)
Torin Adamson, Meeko Oishi, Hao-Tien Lewis Chiang, Lydia Tapia
Busy beeway: a game for testing human-automation collaboration for navigation. MIG (2017)
Joseph D. Gleason, Meeko Oishi, Michelle Simkulet, Arunas Tuzikas, Lee K. Brown, S. R. J. Brueck, Robert F. Karlicek
A novel smart lighting clinical testbed. EMBC (2017)
Kendra Lesser, Meeko Oishi
Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. IEEE Trans. Autom. Control. 62 (1) (2017)
Baisravan HomChaudhuri, Meeko Oishi, Matt Shubert, Morgan Baldwin, Richard Scott Erwin
Computing reach-avoid sets for space vehicle docking under continuous thrust. CDC (2016)
Hao-Tien Chiang, Nick Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia
Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments. ICRA (2015)
Carlos Gonzalez, Daniel Svenkeson, Diana Kim, Martin J. McKeown, Meeko Oishi
Detection of manual tracking submovements in Parkinson's disease through hybrid optimization. ADHS (2015)
Patricio Cruz, Meeko Oishi, Rafael Fierro
Lift of a cable-suspended load by a quadrotor: A hybrid system approach. ACC (2015)
Kendra Lesser, Meeko Oishi
Finite state approximation for verification of partially observable stochastic hybrid systems. HSCC (2015)
Richard T. Meyer, Fabian Just, Raymond A. DeCarlo, Milos Zefran, Meeko Oishi
Notch filter and MPC for powered wheelchair operation under Parkinson's tremor. ACC (2014)
Daniel Svenkeson, Bobby Sena, Meeko Oishi, Suguna Pappu, Howard Yonas
A Novel Use of Transfer Function Estimation for Early Assessment of Brain Injury Outcome. IEEE Trans. Biomed. Eng. 61 (9) (2014)
Kendra Lesser, Meeko Oishi
Reachability for partially observable discrete time stochastic hybrid systems. Autom. 50 (8) (2014)
Seyed Behzad Tabibian, Michael Lewis, Christian Lebiere, Nilanjan Chakraborty, Katia P. Sycara, Stefano Bennati, Meeko Oishi
Towards a Cognitively-Based Analytic Model of Human Control of Swarms. AAAI Spring Symposia (2014)
Shahab Kaynama, Meeko Oishi
A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics CoRR (2013)
Shahab Kaynama, Ian M. Mitchell, Meeko Oishi, Guy Albert Dumont
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. CoRR (2013)
Shahab Kaynama, Meeko Oishi
A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics. IEEE Trans. Autom. Control. 58 (11) (2013)
Ian M. Mitchell, Mo Chen, Meeko Oishi
. ADHS (2012)
Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont
Computing the viability kernel using maximal reachable sets. HSCC (2012)
Shahab Kaynama, Meeko Oishi
Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems. Int. J. Control 84 (1) (2011)
Shahab Kaynama, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont
The continual reachability set and its computation using maximal reachability techniques. CDC/ECC (2011)
Nikolai Matni, Meeko Oishi
Stability of switched block upper-triangular linear systems with switching delay: Application to large distributed systems. ACC (2011)
Shahab Kaynama, Meeko Oishi
Overapproximating the reachable sets of LTI systems through a similarity transformation. ACC (2010)
Nikolai Matni, Meeko Oishi
Reachability analysis for continuous systems under shared control: Application to user-interface design. CDC (2009)
Shahab Kaynama, Meeko Oishi
Schur-based decomposition for reachability analysis of linear time-invariant systems. CDC (2009)
Meeko Oishi, Nikolai Matni
Towards Provably Safe Control for Smart Wheelchairs. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems (2008)
Meeko Oishi, Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin
Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design. IEEE Trans. Control. Syst. Technol. 16 (2) (2008)
Nikolai Matni, Meeko Oishi
Reachability-based abstraction for an aircraft landing under shared control. ACC (2008)
Meeko Oishi, Ian Mitchell, Claire J. Tomlin, Patrick Saint-Pierre
Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation. CDC (2006)
Meeko Oishi, Inseok Hwang, Claire J. Tomlin
Immediate observability of discrete event systems with application to user-interface design. CDC (2003)
Claire J. Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi
Computational techniques for the verification of hybrid systems. Proc. IEEE 91 (7) (2003)
Meeko Oishi, Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin, Asaf Degani
Hybrid verification of an interface for an automatic landing. CDC (2002)
Meeko Oishi
Interface Verification: Discrete Abstractions of Hybrid Systems. SARA (2002)
Meeko Oishi, Claire J. Tomlin, Vipin Gopal, Datta N. Godbole
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. HSCC (2001)
Meeko Oishi, Claire J. Tomlin
Switching in nonminimum phase systems: applications to a VSTOL aircraft. ACC (2000)