Follow
Meeko Oishi
Title
Cited by
Cited by
Year
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
4912003
Reproductive social behavior: cooperative games to replace sexual selection
J Roughgarden, M Oishi, E Akçay
science 311 (5763), 965-969, 2006
1922006
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
1692017
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
1682013
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
1482015
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
1482007
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
1162013
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
792012
Switched nonlinear control of a VSTOL aircraft
M Oishi, C Tomlin
Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No …, 1999
761999
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
702015
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
652002
SReachTools: a MATLAB stochastic reachability toolbox
AP Vinod, JD Gleason, MMK Oishi
Proceedings of the 22nd ACM international conference on hybrid systems …, 2019
592019
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
572008
Stochastic reachability for control of spacecraft relative motion
K Lesser, M Oishi, RS Erwin
52nd IEEE Conference on Decision and Control, 4705-4712, 2013
542013
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
482010
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
472017
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
462000
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
442015
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
422015
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
412003
The system can't perform the operation now. Try again later.
Articles 1–20