Publications

Journal Publications

• Reproductive Social Behavior: Cooperative Games to Replace Sexual Selection.
  J. Roughgarden, M. Oishi, and E. Ackay.
  Science, to appear 2006.
• Computational Techniques for the Verification and Control of Hybrid Systems.
  C. Tomlin, I. Mitchell, A. Bayen and M. Oishi.
  Proceedings of the IEEE, July 2003.
• Hybrid system verification: Application to user-interface design.
  M. Oishi, I. Mitchell, A. Bayen, and C. Tomlin.
  IEEE Transactions on Control Systems Technology, in review.

Conference Proceedings

• Using Reachability to Design Switched Non-Saturating Feedback Linearizing Control Laws
  M. Oishi and C. Tomlin.
  To be submitted in the Proceedings of the 45th IEEE Conference on Decision and Control , February 2006.
• 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, Kanaskis, Alberta, Canada, August 2002.
• Addressing Multiobjective 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 Nonminimum 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.

Book Chapters

• 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, to appear 2004.

Technical Reports

• 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