Meeko M. K. Oishi

Orcid: 0000-0003-3722-8837

According to our database1, Meeko M. K. Oishi authored at least 109 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Convexified Open-Loop Stochastic Optimal Control for Linear Systems With Log-Concave Disturbances.
IEEE Trans. Autom. Control., February, 2024

2023
Stochastic Reachability of Discrete-Time Stochastic Systems via Probability Measures.
CoRR, 2023

Chance Constrained Stochastic Optimal Control Based on Sample Statistics With Almost Surely Probabilistic Guarantees.
CoRR, 2023

Chance Constrained Stochastic Optimal Control for Arbitrarily Disturbed LTI Systems Via the One-Sided Vysochanskij-Petunin Inequality.
CoRR, 2023

Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control.
CoRR, 2023

Probabilistic Verification of ReLU Neural Networks via Characteristic Functions.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Efficient Estimation of the Human Circadian Phase via Kalman Filtering.
Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

Stochastic Optimal Control For Gaussian Disturbances with Unknown Mean and Variance Based on Sample Statistics.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Chance Constrained Stochastic Optimal Control for Linear Systems with a Time Varying Random Control Matrix.
Proceedings of the IEEE Conference on Control Technology and Applications, 2023

Data-Driven Stochastic Optimal Control Using Kernel Gradients.
Proceedings of the American Control Conference, 2023

Chance Constrained Stochastic Optimal Control for Linear Systems with Time Varying Random Plant Parameters.
Proceedings of the American Control Conference, 2023

2022
Sensor Selection for Dynamics-Driven User-Interface Design.
IEEE Trans. Control. Syst. Technol., 2022

Introduction to the Special Section on Selected Papers from ICCPS 2021.
ACM Trans. Cyber Phys. Syst., 2022

Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed Disturbances.
CoRR, 2022

Optimal Control Strategy for Linear Systems with Time Varying Random Plant Parameters.
CoRR, 2022

Characterizing Within-Driver Variability in Driving Dynamics During Obstacle Avoidance Maneuvers.
CoRR, 2022

State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings.
Autom., 2022

Data-Driven Chance Constrained Control using Kernel Distribution Embeddings.
Proceedings of the Learning for Dynamics and Control Conference, 2022

SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions.
Proceedings of the American Control Conference, 2022

Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances.
Proceedings of the American Control Conference, 2022

2021
Probabilistic Occupancy via Forward Stochastic Reachability for Markov Jump Affine Systems.
IEEE Trans. Autom. Control., 2021

Stochastic reachability of a target tube: Theory and computation.
Autom., 2021

Lagrangian approximations for stochastic reachability of a target tube.
Autom., 2021

Learning Approximate Forward Reachable Sets Using Separating Kernels.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Stochastic Optimal Control via Hilbert Space Embeddings of Distributions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Approximate Stochastic Reachability for High Dimensional Systems.
Proceedings of the 2021 American Control Conference, 2021

Stochastic multi-satellite maneuvering with constraints in an elliptical orbit.
Proceedings of the 2021 American Control Conference, 2021

2020
Model-Free Stochastic Reachability Using Kernel Distribution Embeddings.
IEEE Control. Syst. Lett., 2020

Fast, Convexified Stochastic Optimal Open-Loop Control for Linear Systems Using Empirical Characteristic Functions.
IEEE Control. Syst. Lett., 2020

Data-Driven Stochastic Reachability Using Hilbert Space Embeddings.
CoRR, 2020

Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems.
CoRR, 2020

Trust-based user-interface design for human-automation systems.
CoRR, 2020

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap.
CoRR, 2020

A UAV-enabled Dynamic Multi-Target Tracking and Sensing Framework.
Proceedings of the IEEE Global Communications Conference, 2020

2019
Stochastic Reachability for Systems up to a Million Dimensions.
CoRR, 2019

Assessing circadian rhythms and entrainment via intracranial temperature after severe head trauma.
Biomed. Signal Process. Control., 2019

Sampling-free enforcement of non-gaussian chance constraints via fourier transforms.
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

SReachTools: A MATLAB stochastic reachability toolbox: demo abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

SReachTools: a MATLAB stochastic reachability toolbox.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Affine controller synthesis for stochastic reachability via difference of convex programming.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Predicting Mode Confusion Through Mixed Integer Linear Programming.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Optimal Coverage Control and Stochastic Multi-Target Tracking.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

The Maximal Hitting-Time Stochastic Reachability Problem.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints.
Proceedings of the 2019 American Control Conference, 2019

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems.
Proceedings of the 2019 American Control Conference, 2019

2018
Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems.
CoRR, 2018

Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles.
CoRR, 2018

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Multiple Pursuer-Based Intercept via Forward Stochastic Reachability.
Proceedings of the 2018 Annual American Control Conference, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set-Based Potential Field.
IEEE Trans. Robotics, 2017

Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems.
IEEE Trans. Autom. Control., 2017

Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms.
IEEE Control. Syst. Lett., 2017

Busy beeway: a game for testing human-automation collaboration for navigation.
Proceedings of the Tenth International Conference on Motion in Games, 2017

Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

A novel smart lighting clinical testbed.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance.
Proceedings of the 2017 American Control Conference, 2017

2016
Guest Editorial Special Section on Human-Centered Automation.
IEEE Trans Autom. Sci. Eng., 2016

Observability of User-Interfaces for Hybrid LTI Systems Under Collaborative Control: Application to Aircraft Flight Management Systems.
IEEE Trans Autom. Sci. Eng., 2016

Validation of cognitive models for collaborative hybrid systems with discrete human input.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Computing reach-avoid sets for space vehicle docking under continuous thrust.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Viable set approximation for linear-Gaussian systems with unknown, bounded variance.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

User-interface design for MIMO LTI human-automation systems through sensor placement.
Proceedings of the 2016 American Control Conference, 2016

2015
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems.
IEEE Trans. Autom. Control., 2015

Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Finite state approximation for verification of partially observable stochastic hybrid systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Computing probabilistic viable sets for partially observable systems using truncated gaussians and adaptive gridding.
Proceedings of the American Control Conference, 2015

Lift of a cable-suspended load by a quadrotor: A hybrid system approach.
Proceedings of the American Control Conference, 2015

Detection of manual tracking submovements in Parkinson's disease through hybrid optimization.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
A Novel Use of Transfer Function Estimation for Early Assessment of Brain Injury Outcome.
IEEE Trans. Biomed. Eng., 2014

Approximate Verification of Partially Observable Discrete Time Stochastic Hybrid Systems.
CoRR, 2014

Reachability for partially observable discrete time stochastic hybrid systems.
Autom., 2014

Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field.
Proceedings of the Algorithmic Foundations of Robotics XI, 2014

Stochastic reachability based motion planning for multiple moving obstacle avoidance.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Examining reliability of wireless multihop network routing with linear systems.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Using linear system reliability to obtain theoretical understanding of wireless routing.
Proceedings of the IEEE Global Communications Conference, 2014

Assessing information availability for user-interfaces of shared control systems under reference tracking.
Proceedings of the American Control Conference, 2014

Notch filter and MPC for powered wheelchair operation under Parkinson's tremor.
Proceedings of the American Control Conference, 2014

Towards a Cognitively-Based Analytic Model of Human Control of Swarms.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics.
IEEE Trans. Autom. Control., 2013

Lagrangian methods for approximating the viability kernel in high-dimensional systems.
Autom., 2013

Stochastic reachability for control of spacecraft relative motion.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Computing the viability kernel using maximal reachable sets.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques.
Proceedings of the American Control Conference, 2012

Ensuring Safety of Nonlinear Sampled Data Systems through Reachability<sup>1</sup>.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems.
Int. J. Control, 2011

Computing observable and predictable subspaces to evaluate user-interfaces of LTI systems under shared control.
Proceedings of the IEEE International Conference on Systems, 2011

The continual reachability set and its computation using maximal reachability techniques.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Stability of switched block upper-triangular linear systems with switching delay: Application to large distributed systems.
Proceedings of the American Control Conference, 2011

2010
Mode Detection in switched pursuit tracking tasks: Hybrid estimation to measure performance in Parkinson's disease.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Overapproximating the reachable sets of LTI systems through a similarity transformation.
Proceedings of the American Control Conference, 2010

2009
Reachability analysis for continuous systems under shared control: Application to user-interface design.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Schur-based decomposition for reachability analysis of linear time-invariant systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design.
IEEE Trans. Control. Syst. Technol., 2008

Reachability-based abstraction for an aircraft landing under shared control.
Proceedings of the American Control Conference, 2008

Towards Provably Safe Control for Smart Wheelchairs.
Proceedings of the AI in Eldercare: New Solutions to Old Problems, 2008

2006
Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2003
Computational techniques for the verification of hybrid systems.
Proc. IEEE, 2003

Immediate observability of discrete event systems with application to user-interface design.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002
Interface Verification: Discrete Abstractions of Hybrid Systems.
Proceedings of the Abstraction, 2002

Hybrid verification of an interface for an automatic landing.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000
Switching in nonminimum phase systems: applications to a VSTOL aircraft.
Proceedings of the American Control Conference, 2000


  Loading...