Computational techniques for the verification of hybrid systems CJ Tomlin, I Mitchell, AM Bayen, M Oishi Proceedings of the IEEE 91 (7), 986-1001, 2003 | 496 | 2003 |
Reproductive social behavior: cooperative games to replace sexual selection J Roughgarden, M Oishi, E Akçay science 311 (5763), 965-969, 2006 | 193 | 2006 |
Hybrid dynamic moving obstacle avoidance using a stochastic reachable set-based potential field N Malone, HT Chiang, K Lesser, M Oishi, L Tapia IEEE Transactions on Robotics 33 (5), 1124-1138, 2017 | 173 | 2017 |
Lagrangian methods for approximating the viability kernel in high-dimensional systems JN Maidens, S Kaynama, IM Mitchell, MMK Oishi, GA Dumont Automatica 49 (7), 2017-2029, 2013 | 171 | 2013 |
Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments HT Chiang, N Malone, K Lesser, M Oishi, L Tapia 2015 IEEE international conference on robotics and automation (ICRA), 2347-2354, 2015 | 153 | 2015 |
Aircraft autolander safety analysis through optimal control-based reach set computation AM Bayen, IM Mitchell, MMK Oishi, CJ Tomlin Journal of guidance, control, and dynamics 30 (1), 68-77, 2007 | 150 | 2007 |
Parkinson’s disease rigidity: relation to brain connectivity and motor performance N Baradaran, SN Tan, A Liu, A Ashoori, SJ Palmer, ZJ Wang, MMK Oishi, ... Frontiers in neurology 4, 67, 2013 | 120 | 2013 |
Computing the viability kernel using maximal reachable sets S Kaynama, J Maidens, M Oishi, IM Mitchell, GA Dumont Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 79 | 2012 |
Switched nonlinear control of a VSTOL aircraft M Oishi, C Tomlin Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No …, 1999 | 76 | 1999 |
Lift of a cable-suspended load by a quadrotor: A hybrid system approach PJ Cruz, M Oishi, R Fierro 2015 American control conference (ACC), 1887-1892, 2015 | 72 | 2015 |
Hybrid verification of an interface for an automatic landing M Oishi, I Mitchell, A Bayen, C Tomlin, A Degani Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 2 …, 2002 | 66 | 2002 |
SReachTools: a MATLAB stochastic reachability toolbox AP Vinod, JD Gleason, MMK Oishi Proceedings of the 22nd ACM international conference on hybrid systems …, 2019 | 61 | 2019 |
Invariance-preserving abstractions of hybrid systems: Application to user interface design M Oishi, I Mitchell, AM Bayen, CJ Tomlin IEEE Transactions on Control Systems Technology 16 (2), 229-244, 2008 | 57 | 2008 |
Stochastic reachability for control of spacecraft relative motion K Lesser, M Oishi, RS Erwin 52nd IEEE Conference on Decision and Control, 4705-4712, 2013 | 56 | 2013 |
Forward stochastic reachability analysis for uncontrolled linear systems using fourier transforms AP Vinod, B HomChaudhuri, MMK Oishi Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 51 | 2017 |
Design and use of assistive technology: social, technical, ethical, and economic challenges MMK Oishi, IM Mitchell, HFM Van der Loos Springer Science & Business Media, 2010 | 49 | 2010 |
Switching in nonminimum phase systems: Applications to a VSTOL aircraft M Oishi, C Tomlin Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No …, 2000 | 46 | 2000 |
Multifaceted effects of noisy galvanic vestibular stimulation on manual tracking behavior in Parkinson’s disease S Lee, DJ Kim, D Svenkeson, G Parras, MMK Oishi, MJ McKeown Frontiers in systems neuroscience 9, 5, 2015 | 45 | 2015 |
Scalable safety-preserving robust control synthesis for continuous-time linear systems S Kaynama, IM Mitchell, M Oishi, GA Dumont IEEE Transactions on Automatic Control 60 (11), 3065-3070, 2015 | 42 | 2015 |
Immediate observability of discrete event systems with application to user-interface design M Oishi, I Hwang, C Tomlin 42nd IEEE International Conference on Decision and Control (IEEE Cat. No …, 2003 | 41 | 2003 |