M. Oishi: Publications

Journal Articles

• Switched manual pursuit tracking tasks to measure motor performance in Parkinson's disease.
  A. Ashoori, M.J. McKeown, and M. Oishi.
  IET Control Theory and Applications, accepted.
• Assessing manual pursuit tracking in Parkinson's disease via linear dynamical systems.
  M. Oishi, P. TalebiFard, and M.J. McKeown.
  Annals of Biomedical Engineering, vol. 39, no. 8, p. 2263-2273, August 2011.
• Switching restrictions for stability despite switching delay: Application to switched tracking tasks in Parkinson's disease.
  M. Oishi, N. Matni, A. Ashoori, and M.J. McKeown.
  Journal of Nonlinear Systems and Applications, Special issue on hybrid systems, vol. 2, no. 1-2, p. 16-25, 2011.
• A modified Riccati transformation for reduction of complexity in reachability analysis of linear time-invariant systems.
  S. Kaynama and M. Oishi.
  IEEE Transactions on Automatic Control, accepted.
• Response to sensory uncertainty in Parkinson's disease: A marker of cerebellar dysfunction?
  J. K. R. Stevenson, M. Oishi, S. Farajian, E. Cretu, E. Ty, and M. J. McKeown.
  European Journal for Neuroscience, vol. 83, no. 2, p. 298-305, February 2011.
• Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems.
  S. Kaynama and M. Oishi.
  International Journal of Control, vol. 84, no. 1, p. 165-179, January 2011.
• L-dopa induces underdamped motor responses in Parkinson's disease.
  W. Au, N. Li, M. Oishi, and M. McKeown.
  Experimental Brain Research, vol. 202, no.3, p.553-559, May 2010.
• Hybrid system verification: Application to user-interface design.
  M. Oishi, I. Mitchell, A. Bayen, and C. Tomlin.
  IEEE Transactions on Control Systems Technology, p. 229-244, Vol. 16, No. 2, March 2008.
• Aircraft Autolander Safety Analysis Through Optimal Control-Based Reach Set Computation.
  A. Bayen, I. Mitchell, M. Oishi, and C. Tomlin.
  AIAA Journal of Guidance, Dynamics, and Control, p. 68-77, January 2007.
• Reproductive Social Behavior: Cooperative Games to Replace Sexual Selection.
  J. Roughgarden, M. Oishi, and E. Ackay.
  Science, p. 965-968, February 17, 2006.
  Response in Debating Sexual Selection and Mating Strategies.
  J. Roughgarden, E. Ackay, and M. Oishi
  Science, p. 689-697, May 5 2006.
• Computational Techniques for the Verification and Control of Hybrid Systems.
  C. Tomlin, I. Mitchell, A. Bayen and M. Oishi.
  Proceedings of the IEEE, p. 986-1001, July 2003.

Conference Proceedings

• Continual reachability set and its computation using maximal reachability techniques.
  S. Kaynama, M. Oishi, I. Mitchell, and G. Dumont.
  To appear in the Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, December 2011.
• Computing observable and predictable subspaces to evaluate user-interfaces of LTI systems under shared control.
  N. Eskandari and M. Oishi.
  To appear in the Proceedings of the IEEE Int'l Conference on Systems, Man, and Cybernetics, Anchorage, AK, October 2011.
• Modeling and control of a powered wheelchair: Wall-following around a corner with infrared.
  M. Oishi, P. TaghipourBibalan, A. Cheng, and I.M. Mitchell.
  In the Proceedings of the Canadian Congress on Applied Mechanics, Vancouver, BC, June 2011, p. 25-28.
• Building a smart wheelchair on a flexible platform.
  M. Oishi, A. Cheng, P. TaghipourBibalan, and I.M. Mitchell.
  In the Proceedings of the Rehabilitation Engineering and Assistive Technology Society (RESNA) / Festival of Int'l Conferences on Technology and Aging (FICCDAT), Toronto, ON, June 2011.
• Stability of switched block upper-triangular linear systems with bounded switching delay: Application to large distributed systems.
  N. Matni, M. Oishi.
  In the Proceedings of the American Control Conference, San Francisco, CA, June 2011, p. 1440-1445.
• Mode detection in switched pursuit tracking tasks: Hybrid estimation to measure performance in Parkinson's disease.
  M. Oishi, A. Ashoori, and M.J. McKeown.
  In the Proceedings of the IEEE Conference on Decision and Control, Atlanta, GA, December 2010, p. 2124-2130.
• Decomposing transformations for reachability analysis of linear time-invariant systems.
  S. Kaynama and M. Oishi.
  In the Proceedings of the American Control Conference, Baltimore, MD, June 2010, p. 1874-1879.
• Reachability analysis for continuous systems under shared control: Application to user-interface design.
  N. Matni and M. Oishi.
  In the Proceedings of the IEEE Conference on Decision and Control, Shanghai, China, December 2009, p 5929-5934. Interactive paper prize.
• Schur-based decomposition for reachability analysis and controller synthesis.
  S. Kaynama and M. Oishi.
  In the Proceedings of the IEEE Conference on Decision and Control, Shanghai, China, December 2009, p. 69-74.
• Towards provably safe control of smart wheelchairs.
  M. Oishi and N. Matni.
  In the Proceedings of the AAAI Symposium, AI in Eldercare, Washington, DC, November 2008.
  
• Reachability-based abstraction for an aircraft landing under shared control.
  N. Matni and M. Oishi.
  In the Proceedings of the American Control Conference, Seattle, WA, June 2008.
• Addressing biological circuit simulation accuracy: Reachability for parameter identification and initial conditions.
  M. Oishi and E. E. May.
  In the Proceedings of the IEEE-NIH Life Science Systems and Applications Workshop, Bethesda, MD, Nov 2007.
• Towards switched control under input and state constraints.
  M. Oishi.
  Proceedings of the IEEE Canada Conference on Electrical and Computer Engineering, April 2007.
• Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation.
  M. Oishi, I. Mitchell, C. Tomlin, and P. St.-Pierre.
  In the Proceedings of the 45th IEEE Conference on Decision and Control , February 2006. Interactive paper prize.
• Recovery in Flight Management Systems: Applications of Hybrid Reachability.
  M. Oishi.
  In the Proceedings of the IEEE Advanced Process Controls Industrial Applications Workshop, Vancouver, BC, May 2006. Best paper award.
• Immediate Observability of Discrete Event Systems with Application to User-Interface Design.
  M. Oishi, I. Hwang, and C. Tomlin.
  In the Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003.
• Hybrid Verification of an Interface for an Automatic Landing.
  M. Oishi, I. Mitchell, A. Bayen, C. Tomlin, and A. Degani.
  In the Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December 2002.
• Interface Verification: Discrete Abstractions of Hybrid Systems (poster)
  M. Oishi, A. Degani, and C. Tomlin.
  In SARA 2002: Symposium on Abstraction, Reformulation, and Approximation, Lecture Notes in Artificial Intelligence (LNAI) 2371, Springer-Verlag, Kananaskis, Alberta, Canada, August 2002.
• Addressing Multi-objective Control: Safety and Performance Through Constrained Optimization.
  M. Oishi, C. Tomlin, V. Gopal, and D. Godbole.
  In Hybrid Systems: Computation and Control, LNCS 2034, Springer-Verlag, Rome, Italy, March 2001.
• Switching in Non-minimum Phase Systems: Applications to a VSTOL Aircraft
  M. Oishi and C. Tomlin
  In the Proceedings of the American Control Conference, Chicago, IL, June 2000.
• Switched Nonlinear Control of a VSTOL Aircraft
  M. Oishi and C. Tomlin.
  In the Proceedings of the 38th IEEE Conference on Decision and Control, Phoenix, AZ, December 1999.

Books and Book Chapters

• Design and use of assistive technology: Social, technical, ethical, and economic challenges, edited by M. Oishi, M. Van der Loos, I. Mitchell. Springer, New York, NY, November 2010.
• Case study: An assistive technology ethics survey.
  P. Danielson, H. Longstaff, R. Ahmad, H. Van der Loos, I. Mitchell, and M. Oishi.
  In Design and use of assistive technology: Social, technical, ethical, and economic challenges, edited by M. Oishi, M. Van der Loos, I. Mitchell. Springer, NY, November 2010.
• Beyond the interface.
  M. Oishi, C. Tomlin, and A. Degani.
  In Taming HAL: Designing Interfaces Beyond 2001, A. Degani, Palgrave Macmillan, January 2004.
• Verification of hybrid systems.
  C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi.
  In Control Systems, Robotics, and Automation, edited by H. Unbehauen, in the Encyclopedia of Life Support Systems (EOLSS) UNESCO, EOLSS Publishers, Oxford, UK, 2005.

Technical Reports

• Human Interaction with Complex Systems: Advances in Hybrid Reachability and Control.
  Sandia Report SAND2006-5560, August 2006.
• Verification of safety of hybrid systems: Discrete abstractions and their application to user-interface design.
  M. Oishi, A. Degani, and C. Tomlin.
  NASA Technical Memorandum 212803, December 2003.
• Safe Collision Avoidance Maneuvers Using Constrained Optimization.
  M. Oishi.
  SUDAAR 730, June 2001.
• Design of a High Efficiency, High Velocity Blower Utilizing Coaxial, Counter-Rotating Propellers.
  M. Nuffort and M. Oishi.
  MAE 340, Junior Independent Work with Design, Mechanical and Aerospace Engineering Department, Princeton University, May 1997.

Doctoral Thesis

• User-Interfaces for hybrid systems: Analysis and design through hybrid reachability.
  M. Oishi.
  November 2003. (SUDAAR 773, November 2003.)
  Abstract