Meeko Oishi

Meeko Oishi, PhD

Professor

Electrical and Computer Engineering

Center for Biomedical Engineering

University of New Mexico


Ph.D. in Mechanical Engineering, with Ph.D. minor in Electrical Engineering, Stanford University, 2004

M.Sc. in Mechanical Engineering, Stanford University, 2000

B.S.E. in Mechanical Engineering, Princeton University, 1998


Google scholar profile

ORCiD profile


Contact Information

Office: ECE 134C

Mailing address: MSC01 1100, 1 University of New Mexico, Albuquerque, NM 87131

Email: oishi at unm dot edu

Phone: (505) 277-0299

Program Specialist: Carol Jimerson, carolj at unm dot edu, (505) 277-1465



Research

My research focuses on providing assurances of safety in autonomous cyber-physical systems, despite uncertainty in the environment and in human interaction with the autonomous system. I am interested in making autonomous systems truly human-centric, in a manner that can accommodate the heterogeneity and variability of humans, without sacrificing reliability or performance.


Hybrid Systems and Control Lab

My lab develops computationally efficient methods and theory for probabilistic safety, based in control, optimization, and non-parametric learning. Techniques my research group has developed have been applied to aircraft flight management systems, space vehicles, and robotics.

NSF CPS Frontiers in Cognitive Autonomy

We seek to develop new methods and techniques to make autonomous cyber-physical systems highly responsive to humans. This interdisciplinary project integrates development of algorithms and theory with rigorous human subject experimetation.

SReachTools

We have implemented many of our algorithms for probabilistic safety in a Matlab toolbox for stochastic reachability, originally developed by Abraham Vinod and Joseph Gleason.


Jump to Publications


Awards

DARPA / IDA Defense Science Study Group, 2020-2021.

Senior Faculty Research Excellence Award, UNM School of Engineering, 2020.

Gardner Zemke Professorship (Research Category), Electrical and Computer Engineering, University of New Mexico, 2020-2022.

UNM Regents' Lecturer, 2015-2018.

Junior Faculty Research Excellence Award, UNM School of Engineering, 2015.

UNM Teaching Fellow, Center for Teaching Excellence, University of New Mexico, 2014

NSF CAREER Award, 2013

AFRL Summer Faculty Fellowship, Air Force Office of Scientific Research, 2013, 2014, 2015

Distinguished Teacher Award, Electrical and Computer Engineering, University of New Mexico, 2013

Early Career Scholar, Peter Wall Institute for Advanced Studies, University of British Columbia, 2008

Truman Fellowship in National Security Science and Engineering, Sandia National Laboratories, 2005

National Academies Science and Technology Policy Graduate Fellow, Board on Mathematical Sciences, 2004

NSF Graduate Research Fellowship, 1998

George Bienkowski Memorial Award, Princeton University, Mechanical and Aerospace Engineering, 1998


Students

Current Students

Shawn Priore, PhD student

Kendric Ortiz, PhD student

Harini Sridhar, PhD student

Vignesh Sivaramakrishnan, PhD student

Adam Thorpe, PhD student

Yuliya Matlashova, MSc student

Ryan Colvin, Undergraduate student


Former Students
Postdoctoral Scholars

Dr. Milad Khaledyan, 2018-2019. Upon completion, Robotics Engineer at Path Robotics, Inc.

Dr. Baisravan HomChaudhuri, 2015--2017. Upon completion, Assistant Professor at Illinois Institute of Technology.


PhD Students

Joseph Gleason, Ph.D. 2019. Upon graduation, NRC Postdoctoral Research Fellow at AFRL Space Vehicles.

Abraham P. Vinod, Ph.D. 2018, with Distinction. Upon graduation, postdoctoral research fellow at the University of Texas at Austin, Oden Institute for Computational Engineering and Sciences.

Kendra Lesser, Ph.D. 2014, with Distinction. Upon graduation, Marie Curie Researcher in Computer Science, Oxford University.

Shahab Kaynama, Ph.D. 2012. Upon graduation, postdoctoral researcher at UC Berkeley, Electrical Engineering and Computer Science.


MSc Students

Adam Thorpe, M.Sc. 2019. Upon graduation, doctoral student at University of New Mexico.

Matt Shubert, M.Sc. 2017. Upon graduation, Electrical Engineer at Applied Technology Associates.

Gabriel Parras, M.Sc. and MBA 2017. Upon graduation, Lab Manager at Central New Mexico Community College.

Steve Cutlip, M.Sc. 2016. Upon graduation, doctoral student at University of Michigan.

Carlos Gonzlez, M.Sc. 2016, with Distinction. Upon graduation, doctoral student at New York University.

Daniel Svenkeson, M.Sc. 2014, with Distinction.

Ahmad Ashoori, M.A.Sc. 2014. Upon graduation, Electrical Engineer at Novarc Technologies.

Tasha Hammond, M.Sc. 2013. Upon graduation, Member Technical Staff at Sandia National Laboratories.

Nikolai Matni, M.Sc. 2010. Upon graduation, doctoral candidate at Caltech, Control and Dynamical Systems.

Pouyan TaghipourBibalan, M.Eng. 2011.


Undergraduate Students

Kendric Ortiz, 2020

Max Fajardo, 2019, NSF AMP Fellow

Jessica Benally, 2018, McNair Fellow

Sahba Tashakkori, 2016

Anthony Williams, 2016

Lee Smith, 2015, 2016, REU co-advised with Lydia Tapia

Marcos Lemos, 2015, REU co-advised with Lydia Tapia

Gabriel Parras, 2013

Pouria TalebiFard, NSERC USRA 2009, 2010, 2011

Richard Hsu, NSERC USRA 2011

Mo Chen, NSERC USRA 2010

Ni Lei, 2008

Halleh Ghaderi, NSERC USRA 2008

Nikolai Matni, NSERC USRA 2007

Carol Zhang, CSJ 2007


Teaching

Undergraduate Classes

ECE 345 / ME 380, Introduction to Control Systems

EECE 360, Systems and Control (UBC)

EECE 359, Signals and Systems (UBC)


Graduate Classes

ECE 514, Nonlinear and Adaptive Control.

ECE 649, Introduction to Cyberphysical Systems

EECE 568, Linear Systems (UBC)

EECE 571M, Nonlinear Systems and Control (UBC)

EECE 571M, Introduction to Hybrid Systems (UBC)


Publications

Journal Articles

A. Vinod and M. Oishi, "Probabilistic occupancy via forward stochastic reachability for Markov jump affine systems," IEEE Transactions on Automatic Control, accepted, July 2020.

J. Gleason, A. Vinod, and M. Oishi, "Lagrangian approximations for stochastic reachability of a target tube," Automatica, provisionally accepted, July 2020.

A. P. Vinod, A. J. Thorpe, P. A. Olaniyi, T. H. Summers, and M. M. K. Oishi, "Trust-based user-interface design for human-automation systems," IEEE Transactions on Control Systems Technology, conditionally accepted, July 2020.

A. Vinod and M. Oishi, "Stochastic reachability of a target tube: Theory and computation," Automatica, provisionally accepted, June 2020.

V. Sivaramakrishnan and M. Oishi, "Fast, convexified stochastic optimal open-loop control for linear systems using empirical characteristic functions," IEEE Control Systems Letters, vol. 4, no. 4, pp. 1048-1053, 2020.

A. Thorpe and M. Oishi, "Model-free stochastic reachability using kernel distribution embeddings," IEEE Control Systems Letters, vol. 4, no. 2, pp. 512-517, 2020.

J. D. Gleason, M. Oishi, M. Simkulet, T. Arunas, J. Hanifin, G. Brainard, S. Brueck, R. F. Karlicek, and L. Brown, "Smart lighting clinical testbed pilot study on circadian phase advancement," IEEE Journal of Translational Engineering in Health and Medicine, vol. 7, pp. 1-10, 2019.

J. Gleason, M. Oishi, A. Julius, J. Wen, S. Pappu, and H. Yonas, "Assessing circadian rhythms and entrainment via intracranial temperature after severe head trauma," Biomedical Circuits and Systems, vol. 54, 2019.

H.-T. Chiang, N. Malone, K. Lesser, M. Oishi, and L. Tapia, "Hybrid dynamic moving obstacle avoidance using a stochastic reachable set based potential field," IEEE Transactions on Robotics, vol. 33, no. 5, pp. 1124 -1138, 2017.

A. Vinod and M. Oishi, "Scalable underapproximation for the stochastic reach-avoid problem for high-dimensional LTI systems using Fourier transforms," IEEE Control Systems Letters, vol. 1, pp. 316-321, 2017.

K. Lesser and M. Oishi, "Approximate safety verification and control of partially observable stochastic hybrid systems," IEEE Transactions on Automatic Control, vol. 62, no. 1, pp. 81-96, 2017.

T. Hammond, N. Eskandari, and M. Oishi, "Observability of user-interfaces for hybrid LTI systems under collaborative control: Application to aircraft flight management systems," IEEE Transactions on Automation Science and Engineering, vol. 13, no. 1, pp. 78-84, 2016.

M. Oishi, C. Tomlin, and D. Tilbury, "Special section on human-centered automation," IEEE Transactions on Automation Science and Engineering, vol. 13, no. 1, pp. 4-6, January 2016, Guest editor.

S. Kaynama, I. M. Mitchell, M. Oishi, and G. Dumont, "Scalable safety-preserving robust control synthesis for continuous-time linear systems," IEEE Transactions on Automatic Control, vol. 60, no. 11, November 2015.

S. Lee, D. Kim, D. Svenkeson, G. Parras, M. Oishi, and M. McKeown, "Multifaceted effects of noisy galvanic vestibular stimulation on manual tracking behavior in Parkinson's Disease," Frontiers in Systems Neuroscience, vol. 9, pp. 1-5, February 2015.

K. Lesser and M. Oishi, "Reachability for partially observable discrete time stochastic hybrid systems," Automatica, vol. 50, no. 8, pp. 1989-1998, August 2014.

D. Svenkeson, B. Sena, M. Oishi, S. Pappu, and H. Yonas, "A novel use of transfer function estimation for early assessment of brain injury outcome," IEEE Transactions on Biomedical Engineering, vol. 61, no. 9, pp. 2413-2421, September 2014.

N. Eskandari, M. Oishi, and Z. Wang, "Observability analysis of continuous-time LTI systems with limited derivative data," Asian Journal of Control, vol. 16, no. 2, pp. 623-627, March 2014.

J. K. R. Stevenson, C. Lee, B.-S. Lee, P. TalebiFard, E. Ty, K. Aseeva, M. M. K. Oishi, and M. J. McKeown, "Excessive sensitivity to uncertain visual input in L-dopa induced dyskinesias in Parkinson's disease: further implications for cerebellar involvement," Frontiers in Movement Disorders, vol. 5, no. 8, pp. 1-13, February 2014.

S. Kaynama and M. Oishi, "A modified Riccati transformation for decentralized computation of the viability kernel under LTI dynamics," IEEE Transactions on Automatic Control, vol. 58, no. 11, pp. 2878-2892, November 2013.

I. Mitchell, S. Kaynama, M. Chen, and M. Oishi, "Safety preserving control synthesis for sampled data systems," Nonlinear Analysis: Hybrid Systems, vol. 10, pp. 63-82, November 2013.

J. Maidens, S. Kaynama, I. Mitchell, M. Oishi, and G. Dumont, "Lagrangian methods for computing the viability kernel in high-dimensional systems," Automatica, vol. 49, no. 7, pp. 2017-2029, July 2013.

N. Baradaran, S. N. Tan, A. Liu, A. Ashoori, S. Palmer, Z. J. Wang, M. Oishi, and M. J. McKe- own, "Parkinson's disease rigidity: relation to brain connectivity and motor performance," Frontiers in Movement Disorders, vol. 4, no. 67, pp. 1-9, June 2013.

A. Ashoori, M. McKeown, and M. Oishi, "Switched manual pursuit tracking tasks to measure motor performance in Parkinson's disease," IET Control Theory and Applications, vol. 5, no. 17, pp. 1970-1977, November 2011.

J. Stevenson, P. TalebiFard, E. Ty, M. Oishi, and M. McKeown, "Dyskinetic Parkinson's disease patients demonstrate motor abnormalities off medication," Experimental Brain Research, vol. 214, no. 3, pp. 471-479, October 2011.

M. Oishi, P. TalebiFard, and M. McKeown, " Assessing Manual Pursuit Tracking in Parkinson's Disease Via Linear Dynamical Systems," Annals of Biomedical Engineering, vol. 39, no. 8, pp. 2263-2273, August 2011.

M. Oishi, N. Matni, A. Ashoori, and M. J. McKeown, "Switching restrictions for stability despite switching delay: Application to switched tracking tasks in Parkinson's disease," Nonlinear Systems and Analysis, vol. 2, no. 1-2, pp. 16-25, 2011, Special issue on hybrid systems.

J. K. R. Stevenson, M. Oishi, S. Farajian, E. Cretu, E. Ty, and M. J. McKeown, "Response to sensory uncertainty in Parkinson's disease: A marker of cerebellar dysfunction?" European Journal for Neuroscience, vol. 83, no. 2, pp. 298-305, February 2011.

S. Kaynama and M. Oishi, "Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems," International Journal of Control, vol. 84, no. 1, pp. 165-179, January 2011.

W. Au, N. Lei, M. Oishi, and M. McKeown, "L-dopa induces underdamped motor responses in Parkinson's disease," Experimental Brain Research, vol. 202, no. 3, pp. 553-559, May 2010.

M. Oishi, I. Mitchell, A. M. Bayen, and C. J. Tomlin, "Invariance-preserving abstractions of hybrid systems: Application to user interface design," IEEE Transactions on Control System Technology, vol. 16, no. 2, pp. 229-244, March 2008.

A. Bayen, I. Mitchell, M. Oishi, and C. Tomlin, "Aircraft autolander safety analysis through optimal control-based reach set computation," AIAA Journal of Guidance, Control, and Dynamics, vol. 30, no. 1, pp. 68-77, 2007.

R. Roughgarden, M. Oishi, and E. Ackay, "Reproductive social behavior: Cooperative games to replace sexual selection," Science, vol. 311, pp. 965-969, February 17 2006.

C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, "Computational techniques for the verification of hybrid systems," Proceedings of the IEEE, vol. 91, no. 7, pp. 986-1001, 2003.


Conference Proceedings

M. Jimenez, M. Oishi, V. Law, and V. Svihla, "Students' co-regulation during a complex problem-solving assessment: An eye-tracking study," in American Educational Research Association, San Francisco, CA, 2019, conference cancelled.

A. Vinod and M. Oishi, "Affine controller synthesis for stochastic reachability via difference-of-convex programming," in IEEE Conference on Decision and Control, December 2019, pp. 7273-7280.

M. Khaledyan, A. Vinod, M. Oishi, and J. Richards, "Optimal coverage control and stochastic multi- target tracking," in IEEE Conference on Decision and Control, December 2019, pp. 2467-2472.

J. D. Gleason, A. Vinod, and M. Oishi, "The maximal hitting-time stochastic reachability problem," in IEEE Conference on Decision and Control, December 2019, pp. 7266-7272.

V. Sivaramakrishnan, O. Thapliyal, A. Vinod, M. Oishi, and I. Hwang, "Predicting mode confusion through mixed integer linear programming," in IEEE Conference on Decision and Control, December 2019, pp. 2442-2448.

A. Vinod, V. Sivaramakrishnan, and M. Oishi, "Piecewise-affine approximation-based stochastic optimal control with gaussian joint chance constraints," in American Control Conference, June 2019, pp. 2942- 2949.

H. Sartipizadeh, A. P. Vinod, B. Acikmese, and M. Oishi, "Voronoi partition-based scenario reduction for fast sampling-based stochastic reachability computation of linear systems," in American Control Conference, June 2019, pp. 37-44.

A. Vinod, J. Gleason, and M. Oishi, "SReachTools: A MATLAB Stochastic Reachability Toolbox," in IEEE/ACM Hybrid Systems: Computation and Control, April 2019, pp. 33-38.

A. Vinod, V. Sivaramakrishnan, and M. Oishi, "Sampling-free enforcement of non-gaussian chance constraints via Fourier transforms," in Int'l Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, April 2019, pp. 9-11.

A. Vinod, S. Rice, Y. Mao, M. Oishi, and B. Acikmese, "Stochastic motion planning using successive convexification and probabilistic occupancy functions," in IEEE Conference on Decision and Control, December 2018, pp. 4425-4432.

A. P. Vinod and M. Oishi, "Optimal trade-off analysis for efficiency and safety in the spacecraft rendezvous and docking problem," in IFAC Networked and Autonomous Air and Space Systems, June 2018, pp. 136-141.

M. Shubert, M. Oishi, M. Baldwin, and R. S. Erwin, "Under-approximating reach-avoid sets for space vehicle maneuvering in the presence of debris," in IFAC Networked and Autonomous Air and Space Systems, June 2018, pp. 142-147.

A. P. Vinod, B. HomChaudhuri, C. Hintz, A. Parikh, S. P. Buerger, M. Oishi, and R. Fierro, "Multiple pursuer-based intercept via forward stochastic reachability," in American Control Conference, June 2018, pp. 1559-1566.

A. Vinod and M. Oishi, "Scalable underapproximative verification of stochastic lti systems using convexity and compactness," in Hybrid Systems: Computation and Control, April 2018, pp. 1-10, Finalist, Best Paper Award.

A. P. Vinod and M. M. K. Oishi, "Scalable underapproximation for stochastic reach-avoid problem for high-dimensional LTI systems using Fourier transforms," in IEEE Conference on Decision and Control, December 2017.

J. Gleason, A. P. Vinod, and M. M. K. Oishi, "Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods," in IEEE Conference on Decision and Control, December 2017, pp. 4283-4290.

T. Adamson, M. Oishi, H.-T. L. Chiang, and L. Tapia, "Busy beeway: A game for testing human-automation collaboration for navigation," in ACM International Conference on Motion in Games (MIG), 2017, pp. 9:1-9:6.

J. D. Gleason, M. Oishi, M. Simkulet, T. Arunas, L. Brown, S. Brueck, and R. F. Karlicek, "A novel smart lighting clinical testbed," in IEEE Int'l Conference of the Engineering in Medicine and Biology Society, Jeju, Korea, July 2017, pp. 4317-4320.

B. HomChaudhuri, A. P. Vinod, and M. M. K. Oishi, "Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance," in American Control Conference, Seattle, WA, July 2017, pp. 4404-4411.

M. Oishi, V. Svilha, and V. Law, "Improved learning through collaborative, scenario-based quizzes in an undergraduate control theory course," in ASEE Annual Conference & Exhibition, Columbus, OH, June 2017.

H.-T. L. Chiang, B. HomChaudhuri, A. P. Vinod, M. Oishi, and L. Tapia, "Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions," in International Conference on Robotics and Automation, Singapore, May 2017, pp. 3762-3769.

A. Vinod, B. HomChaudhuri, and M. Oishi, "Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms," in Hybrid Systems: Computation and Control, Pittsburgh, PA, April 2017, pp. 35-44, Best Paper Award.

J. Gleason, A. P. Vinod, M. M. K. Oishi, and R. S. Erwin, "Viable set approximation for linear-gaussian systems with unknown, bounded variance," in IEEE Conference on Decision and Control, December 2016, pp. 7049-7055.

B. HomChaudhuri, M. Oishi, M. Shubert, M. Baldwin, and R. S. Erwin, "Computing reach-avoid sets for space vehicle docking under continuous thrust," in IEEE Conference on Decision and Control, December 2016, pp. 3312-3318.

A. P. Vinod, Y. Tang, M. M. K. Oishi, K. Sycara, C. Lebiere, and M. Lewis, "Validation of cognitive models for collaborative hybrid systems with discrete human input," in IEEE/RSJ International Conference on Intelligent Robots and Systems, October 2016, pp. 3339-3346.

A. Vinod, T. Summers, and M. Oishi, "User-interface design for MIMO LTI human-automation systems through sensor placement," in American Control Conference, July 2016, pp. 5276-5283.

C. Gonzalez, D. Svenkeson, D. J. Kim, M. J. McKeown, and M. Oishi, "Detection of manual tracking submovements in parkinson's disease through hybrid optimization," in IFAC Conference on Analysis and Design of Hybrid Systems, Atlanta, GA, October 2015, pp. 291-297.

P. Cruz, M. Oishi, and R. Fierro, "Lift of a cable-suspended load by a quadrotor: A hybrid system approach," in American Control Conference, Chicago, IL, June 2015, pp. 1887-1892.

K. Lesser and M. Oishi, "Computing probabilistic viable sets for partially observable hybrid systems using truncated gaussians and adaptive gridding," in American Control Conference, Chicago, IL, June 2015, pp. 1505-1512.

L. Chiang, N. Malone, K. Lesser, M. Oishi, and L. Tapia, "Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments," in International Conference on Robotics and Automation, Seattle, WA, May 2015, pp. 2347-2354.

K. Lesser and M. Oishi, "Finite state approximation for verification of partially observable stochastic hybrid systems," in Hybrid Systems: Computation and Control, Seattle, WA, April 2015, pp. 159-168.

T. Biswas, K. Lesser, R. Dutta, and M. Oishi, "Using linear system reliability to obtain theoretical understanding of wireless networks," in IEEE Global Communications Conference (GLOBECOM), December 2014, pp. 1310-1316.

H.-T. Chang, N. Malone, K. Lesser, M. Oishi, and L. Tapia, "Aggressive moving obstacle avoidance using a stochastic reachability based potential field," in International Workshop on the Algorithmic Foundations of Robotics (WAFR), ser. Springer Tracts in Advanced Robotics, H. L. Akin, N. M. Amato, V. Isler, and A. F. van der Stappen, Eds., vol. 107, September 2014, pp. 73-89.

R. Meyer, F. Just, R. DeCarlo, M. Zefran, and M. Oishi, "Notch filter and MPC for powered wheelchair operation under Parkinson's tremor," in American Control Conference, June 2014, pp. 4114-4120.

M. Oishi, "Assessing information availability for user-interfaces of shared control systems under reference tracking," in American Control Conference, June 2014, pp. 3474-3481.

N. Malone, K. Lesser, M. Oishi, and L. Tapia, "Stochastic reachability based motion planning for multiple moving obstacle avoidance," in Hybrid Systems: Computation and Control, Berlin, Germany, April 2014, pp. 51-60.

B. Tabibian, M. Lewis, C. Lebiere, N. Chakraborty, K. Sycara, and M. Oishi, "Towards a cognitively-based analytic model of human control of swarms," in AAAI Spring Symposium, March 2014, pp. 68-73, in "Formal Verification and Modeling in Human- Machine Systems".

K. Lesser, M. Oishi, and R. Erwin, "Stochastic reachability for control of spacecraft relative motion," in IEEE Conference on Decision and Control, Florence, Italy, December 2013, pp. 4705-5712.

I. Mitchell, M. Chen, and M. Oishi, "Ensuring safety of nonlinear sampled data systems through reachability," in IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, NL, June 2012, pp. 108-114.

S. Kaynama, M. Oishi, I. Mitchell, and G. Dumont, "Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques," in American Control Conference, Montreal, QB, June 2012, pp. 2425-2430.

S. Kaynama, J. Maidens, M. Oishi, I. Mitchell, and G. Dumont, "Computing the viability kernel using maximal reachable sets," in Hybrid Systems: Computation and Control, Beijing, China, April 2012, pp. 55-63.

S. Kaynama, M. Oishi, I. Mitchell, and G. Dumont, "Continual reachability set and its computation using maximal reachability techniques," in IEEE Conference on Decision and Control, Orlando, FL, December 2011, pp. 6110 - 6115.

N. Eskandari and M. Oishi, "Computing observable and predictable subspaces to evaluate user-interfaces of LTI systems under shared control," in IEEE International Conference on Systems, Man, and Cybernetics, Anchorage, AK, October 2011, pp. 2803 -2808, Best Student Paper Award.

N. Matni and M. Oishi, "Stability of switched block upper-triangular linear systems with switching delay: Application to large distributed systems," in American Control Conference, San Francisco, CA, June 2011, pp. 1440-1445.

M. Oishi, P. Tagipour Bibalan, A. Cheng, and I. Mitchell, "Modeling and control of a powered wheelchair: Wall-following around a corner with infrared," in Canadian Congress on Applied Mechanics, June 2011.

M. Oishi, A. Cheng, P. Tagipour Bibalan, and I. Mitchell, "Building a smart wheelchair on a flexible software platform," in Rehabilitation Engineering and Assistive Technology Society of North America (RESNA) International Conference on Technology and Aging, June 2011.

M. Oishi, A. Ashoori, and M. McKeown, "Mode detection in switched pursuit tracking tasks: Hybrid estimation to measure performance in Parkinson's disease," in IEEE Conference on Decision and Control, Atlanta, GA, December 2010, pp. 2124-2130.

S. Kaynama and M. Oishi, "Overapproximating the reachable sets of LTI systems through a similarity transformation," in American Control Conference, Baltimore, MD, June 2010, pp. 1874-1879.

S. Kaynama and M. Oishi, "Schur-based decomposition for reachability analysis and controller synthesis," in IEEE Conference on Decision and Control, Shanghai, China, December 2009, pp. 69-74.

N. Matni and M. Oishi, "Safety through reachability in nonlinear mixed-initiative systems," in IEEE Conference on Decision and Control, Shanghai, China, December 2009, pp. 5929-5934, General Chairs' Award for Interactive Papers.

M. Oishi and N. Matni, "Towards provably safe control for smart wheelchairs," in AAAI Symposium, AI in Eldercare, Washington, DC, November 2008, pp. FS-08-02: 67-69.

N. Matni and M. Oishi, "Reachability-based abstraction for an aircraft landing under shared control," in American Control Conference, Seattle, WA, June 2008, pp. 2278-2284.

M. Oishi and E. May, "Addressing biological circuit simulation accuracy: Reachability for parameter identification and initial conditions," in IEEE-NIH Life Science Systems and Applications, Bethesda, MD, November 2007, pp. 152-155.

M. Oishi, I. Mitchell, C. Tomlin, and P. Saint-Pierre, "Computing viable sets and reachable sets to design feedback linearizing control laws under saturation," in IEEE Conference on Decision and Control, San Diego, CA, December 2006, pp. 3801-3807, Interactive Paper Prize.

M. Oishi, I. Hwang, and C. Tomlin, "Immediate observability of discrete event systems with application to user-interface design," in IEEE Conference on Decision and Control, December 2003, pp. 2665-2672.

M. Oishi, I. Mitchell, A. Bayen, C. Tomlin, and A. Degani, "Hybrid verification of an interface for an automatic landing," in IEEE Conference on Decision and Control, Las Vegas, NV, December 2002, pp. 1607-1613.

M. Oishi, C. Tomlin, V. Gopal, and D. Godbole, "Addressing multiobjective control: Safety and performance through constrained optimization," in Hybrid Systems: Computation and Control, ser. LNCS 2034, M. Di Benedetto and A. Sangiovanni-Vincentelli, Eds. Springer Verlag, March 2001, pp. 459-472.

M. Oishi and C. Tomlin, "Switching in nonminimum phase systems: Applications to a VSTOL aircraft," in American Control Conference, Chicago, IL, 2000, pp. 487-491.

M. Oishi and C. Tomlin, "Switched nonlinear control of a VSTOL aircraft," in IEEE Conference on Decision and Control, vol. 3, Phoenix, AZ, 1999, pp. 2685-2690.


Books

M. Oishi, I. Mitchell, and H. Van der Loos, Eds., Design and use of assistive technology: Social, technical, ethical, and economic challenges. New York: Springer, November 2010.


Book Chapters

R. A. Cortez, D. Tolic, I. Palunko, N. Eskandari, M. Oishi, R. Fierro, and J. Wood, "Framework for user-guided search and adaptive target tracking via cooperative UAVs," in Advanced Intelligent and Autonomous Aerospace Systems, ser. Progress in Astronautics and Aeronautics, J. Valasek, Ed. AIAA, 2012, vol. 241, pp. 445-468.

P. Danielson, H. Longstaff, R. Ahmad, H. Van der Loos, I. Mitchell, and M. Oishi, "Case study: An assistive technology ethics survey," in Design and use of assistive technology: Social, technical, ethical, and economic challenges, M. Oishi, I. Mitchell, and H. Van der Loos, Eds. Springer, 2010, pp. 75-93.

C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, "Verification of hybrid systems," in Encyclopedia of Life Support Systems, H. Unbehauen, Ed. UNESCO-EOLSS, 2005, vol. 6:43:28:6, pp. 1-22.

C. J. Tomlin, I. M. Mitchell, A. M. Bayen, and M. M. Oishi, "Computational techniques for the verification and control of hybrid systems," in Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems, ser. Mathematics in Industry, V. Capasso, J. Patriaux, H.-G. Bock, F. Hoog, A. Friedman, W. Langford, H. Neunzert, W. R. Pulleyblank, T. Rusten, and A.-K. Tornberg, Eds. Springer Berlin Heidelberg, 2005, vol. 6, pp. 151-175.

A. Degani, M. Oishi, and C. Tomlin, "Beyond the interface," in Taming HAL: Designing interfaces beyond 2001, A. Degani, Ed. Palgrave MacMillan, 2004, pp. 256-274.


Technical Reports

M. Oishi, A. Degani, and C. Tomlin, "Verification of hybrid systems: Application to user-interfaces," NASA Ames Research Center, Moffett Field, CA, NASA Technical Memorandum 212803, 2003.


Doctoral Thesis

M. Oishi, "User-interfaces for hybrid systems: Analysis and design through hybrid reachability," Ph.D. dissertation, Stanford University, Stanford, CA, January 2004.


Background

I am originally from Albuquerque, New Mexico, where I attended Albuquerque Academy. As an undergraduate, I was a member of the Princeton Ski Team. I completed my PhD under the supervision of Professor Claire Tomlin. After a non-research postdoc at the National Ecological Observational Network (NEON), I resumed research as a postdoc at Sandia National Laboratories then held a faculty position at the University of British Columbia. I particularly enjoy spending time outdoors, skiing, hiking, and kayaking.