Meeko Oishi - RankMe

72 papers A* 2B 1C 14Journal 25Unranked 29

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Characterizing Human Feedback-Based Control in Naturalistic Driving Interactions via Gaussian Process Regression with Linear Feedback. ITSC Rachel DiPirro, Rosalyn A. Devonport, Dan Calderone, Chishang Yang, Wendy Ju, Meeko Oishi
2025	J	`jnl`	Characterizing Human Feedback-Based Control in Naturalistic Driving Interactions via Gaussian Process Regression with Linear Feedback. CoRR Rachel DiPirro, Rosalyn A. Devonport, Dan Calderone, Chishang Yang, Wendy Ju, Meeko Oishi
2025	—	`conf`	SAVER: A Toolbox for SAmpling-Based, Probabilistic VERification of Neural Networks. HSCC Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn A. Devonport, Joshua Pilipovsky, Panagiotis Tsiotras, Meeko Oishi
2025	J	`jnl`	The Impact of Social Value Orientation on Nash Equilibria of Two Player Quadratic Games. IEEE Control. Syst. Lett. Daniel J. Calderone, Meeko Oishi
2025	C	`conf`	Trade-Offs in On-Orbit Inspection of a Stochastic, Tumbling Satellite. ACC Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Steven Cutlip, Meeko Oishi
2024	C	`conf`	Blameless and Optimal Control under Prioritized Safety Constraints. ACC Natalia Pavlasek, Sarah H. Q. Li, Behçet Açikmese, Meeko Oishi, Claus Danielson
2024	—	`conf`	Characterizing Cultural Differences in Naturalistic Driving Interactions. ITSC Rachel DiPirro, Hauke Sandhaus, David Goedicke, Dan Calderone, Meeko Oishi, Wendy Ju
2024	J	`jnl`	Characterizing the Effect of Mind Wandering on Braking Dynamics in Partially Autonomous Vehicles. ACM Trans. Cyber Phys. Syst. Harini Sridhar, Gaojian Huang, Adam J. Thorpe, Meeko Oishi, Brandon J. Pitts
2024	—	`conf`	Online Learning of Dynamical Systems Using Low-Rank Updates to Physics-Informed Kernel Distribution Embeddings. CDC Kendric R. Ortiz, Rachel DiPirro, Adam J. Thorpe, Meeko Oishi
2024	J	`jnl`	Open-Loop Chance Constrained Stochastic Optimal Control via the One-Sided Vysochanskij-Petunin Inequality. IEEE Trans. Autom. Control. Isabella Pacula, Meeko Oishi
2024	J	`jnl`	SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks. CoRR Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn A. Devonport, Joshua Pilipovsky, Panagiotis Tsiotras, Meeko Oishi
2023	J	`jnl`	Chance Constrained Stochastic Optimal Control Based on Sample Statistics With Almost Surely Probabilistic Guarantees. CoRR Shawn Priore, Meeko Oishi
2023	J	`jnl`	Chance Constrained Stochastic Optimal Control for Arbitrarily Disturbed LTI Systems Via the One-Sided Vysochanskij-Petunin Inequality. CoRR Shawn Priore, Meeko Oishi
2023	C	`conf`	Chance Constrained Stochastic Optimal Control for Linear Systems with Time Varying Random Plant Parameters. ACC Shawn Priore, Ali Bidram, Meeko Oishi
2023	—	`conf`	Chance Constrained Stochastic Optimal Control for Linear Systems with a Time Varying Random Control Matrix. CCTA Shawn Priore, Meeko Oishi
2023	J	`jnl`	Chance Constrained Stochastic Optimal Control for Linear Systems with a Time Varying Random Control Matrix. CoRR Shawn Priore, Meeko Oishi
2023	—	`conf`	Probabilistic Verification of ReLU Neural Networks via Characteristic Functions. L4DC Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko Oishi, Panagiotis Tsiotras
2023	—	`conf`	Stochastic Optimal Control For Gaussian Disturbances with Unknown Mean and Variance Based on Sample Statistics. CDC Shawn Priore, Meeko Oishi
2023	J	`jnl`	Stochastic Optimal Control For Gaussian Disturbances with Unknown Mean and Variance Based on Sample Statistics. CoRR Shawn Priore, Meeko Oishi
2022	C	`conf`	Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances. ACC Shawn Priore, Christopher Petersen, Meeko Oishi
2022	J	`jnl`	Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed Disturbances. CoRR Shawn Priore, Christopher Petersen, Meeko Oishi
2022	J	`jnl`	Characterizing Within-Driver Variability in Driving Dynamics During Obstacle Avoidance Maneuvers. CoRR Kendric R. Ortiz, Adam J. Thorpe, AnaMaria Perez, Maya Luster, Brandon J. Pitts, Meeko Oishi
2022	—	`conf`	Data-Driven Chance Constrained Control using Kernel Distribution Embeddings. L4DC Adam J. Thorpe, Thomas Lew, Meeko Oishi, Marco Pavone
2022	C	`conf`	Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions. ACC Vignesh Sivaramakrishnan, Joshua Pilipovsky, Meeko Oishi, Panagiotis Tsiotras
2022	J	`jnl`	Optimal Control Strategy for Linear Systems with Time Varying Random Plant Parameters. CoRR Shawn Priore, Ali Bidram, Meeko Oishi
2022	—	`conf`	SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods. HSCC Adam J. Thorpe, Meeko Oishi
2021	J	`jnl`	Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances. CoRR Shawn Priore, Christopher Petersen, Meeko Oishi
2021	—	`ed.`	ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, Nashville, Tennessee, USA, May 19-21, 2021 ICCPS Martina Maggio, James Weimer, Mohammad Al Farque, Meeko Oishi
2021	C	`conf`	Stochastic multi-satellite maneuvering with constraints in an elliptical orbit. ACC Shawn Priore, Abraham P. Vinod, Vignesh Sivaramakrishnan, Christopher Petersen, Meeko Oishi
2020	B	`conf`	A UAV-enabled Dynamic Multi-Target Tracking and Sensing Framework. GLOBECOM Nathan Patrizi, Georgios Fragkos, Kendric R. Ortiz, Meeko Oishi, Eirini-Eleni Tsiropoulou
2020	J	`jnl`	Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. CoRR 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
2019	—	`conf`	ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek Alessandro Abate, Henk A. P. 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
2019	—	`conf`	Optimal Coverage Control and Stochastic Multi-Target Tracking. CDC Milad Khaledyan, Abraham P. Vinod, Meeko Oishi, John A. Richards
2019	—	`conf`	Predicting Mode Confusion Through Mixed Integer Linear Programming. CDC Vignesh Sivaramakrishnan, Omanshu Thapliyal, Abraham P. Vinod, Meeko Oishi, Inseok Hwang
2019	C	`conf`	Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems. ACC Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açikmese, Meeko Oishi
2018	—	`conf`	ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS 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
2018	J	`jnl`	Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems. CoRR Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açikmese, Meeko Oishi
2017	—	`conf`	A novel smart lighting clinical testbed. EMBC Joseph D. Gleason, Meeko Oishi, Michelle Simkulet, Arunas Tuzikas, Lee K. Brown, S. R. J. Brueck, Robert F. Karlicek
2017	J	`jnl`	Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. IEEE Trans. Autom. Control. Kendra Lesser, Meeko Oishi
2017	C	`conf`	Busy beeway: a game for testing human-automation collaboration for navigation. MIG Torin Adamson, Meeko Oishi, Hao-Tien Lewis Chiang, Lydia Tapia
2017	A*	`conf`	Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions. ICRA Hao-Tien Lewis Chiang, Baisravan Homchaudhuri, Abraham P. Vinod, Meeko Oishi, Lydia Tapia
2017	J	`jnl`	Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set-Based Potential Field. IEEE Trans. Robotics Nick Malone, Hao-Tien Chiang, Kendra Lesser, Meeko Oishi, Lydia Tapia
2016	—	`conf`	Computing reach-avoid sets for space vehicle docking under continuous thrust. CDC Baisravan Homchaudhuri, Meeko Oishi, Matt Shubert, Morgan Baldwin, Richard Scott Erwin
2015	—	`conf`	Detection of manual tracking submovements in Parkinson's disease through hybrid optimization. ADHS Carlos Gonzalez, Daniel Svenkeson, Diana Kim, Martin J. McKeown, Meeko Oishi
2015	—	`conf`	Finite state approximation for verification of partially observable stochastic hybrid systems. HSCC Kendra Lesser, Meeko Oishi
2015	C	`conf`	Lift of a cable-suspended load by a quadrotor: A hybrid system approach. ACC Patricio Cruz, Meeko Oishi, Rafael Fierro
2015	A*	`conf`	Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments. ICRA Hao-Tien Chiang, Nick Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia
2014	J	`jnl`	A Novel Use of Transfer Function Estimation for Early Assessment of Brain Injury Outcome. IEEE Trans. Biomed. Eng. Daniel Svenkeson, Bobby Sena, Meeko Oishi, Suguna Pappu, Howard Yonas
2014	C	`conf`	Notch filter and MPC for powered wheelchair operation under Parkinson's tremor. ACC Richard T. Meyer, Fabian Just, Raymond A. DeCarlo, Milos Zefran, Meeko Oishi
2014	J	`jnl`	Reachability for partially observable discrete time stochastic hybrid systems. Autom. Kendra Lesser, Meeko Oishi
2014	—	`conf`	Towards a Cognitively-Based Analytic Model of Human Control of Swarms. AAAI Spring Symposia Seyed Behzad Tabibian, Michael Lewis, Christian Lebiere, Nilanjan Chakraborty, Katia P. Sycara, Stefano Bennati, Meeko Oishi
2013	J	`jnl`	A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics CoRR Shahab Kaynama, Meeko Oishi
2013	J	`jnl`	A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics. IEEE Trans. Autom. Control. Shahab Kaynama, Meeko Oishi
2013	J	`jnl`	Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. CoRR Shahab Kaynama, Ian M. Mitchell, Meeko Oishi, Guy Albert Dumont
2012	—	`conf`	Computing the viability kernel using maximal reachable sets. HSCC Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont
2012	—	`conf`	Ensuring Safety of Nonlinear Sampled Data Systems through Reachability ADHS Ian M. Mitchell, Mo Chen, Meeko Oishi
2011	J	`jnl`	Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems. Int. J. Control Shahab Kaynama, Meeko Oishi
2011	C	`conf`	Stability of switched block upper-triangular linear systems with switching delay: Application to large distributed systems. ACC Nikolai Matni, Meeko Oishi
2011	—	`conf`	The continual reachability set and its computation using maximal reachability techniques. CDC/ECC Shahab Kaynama, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont
2010	C	`conf`	Overapproximating the reachable sets of LTI systems through a similarity transformation. ACC Shahab Kaynama, Meeko Oishi
2009	—	`conf`	Reachability analysis for continuous systems under shared control: Application to user-interface design. CDC Nikolai Matni, Meeko Oishi
2009	—	`conf`	Schur-based decomposition for reachability analysis of linear time-invariant systems. CDC Shahab Kaynama, Meeko Oishi
2008	J	`jnl`	Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design. IEEE Trans. Control. Syst. Technol. Meeko Oishi, Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin
2008	C	`conf`	Reachability-based abstraction for an aircraft landing under shared control. ACC Nikolai Matni, Meeko Oishi
2008	—	`conf`	Towards Provably Safe Control for Smart Wheelchairs. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems Meeko Oishi, Nikolai Matni
2006	—	`conf`	Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation. CDC Meeko Oishi, Ian Mitchell, Claire J. Tomlin, Patrick Saint-Pierre
2003	J	`jnl`	Computational techniques for the verification of hybrid systems. Proc. IEEE Claire J. Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi
2003	—	`conf`	Immediate observability of discrete event systems with application to user-interface design. CDC Meeko Oishi, Inseok Hwang, Claire J. Tomlin
2002	—	`conf`	Hybrid verification of an interface for an automatic landing. CDC Meeko Oishi, Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin, Asaf Degani
2002	—	`conf`	Interface Verification: Discrete Abstractions of Hybrid Systems. SARA Meeko Oishi
2001	—	`conf`	Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. HSCC Meeko Oishi, Claire J. Tomlin, Vipin Gopal, Datta N. Godbole
2000	C	`conf`	Switching in nonminimum phase systems: applications to a VSTOL aircraft. ACC Meeko Oishi, Claire J. Tomlin