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
4892003
Reproductive social behavior: cooperative games to replace sexual selection
J Roughgarden, M Oishi, E Akçay
science 311 (5763), 965-969, 2006
1892006
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
1642013
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
1622017
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
1442015
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
1442007
Parkinson’s disease rigidity: relation to brain connectivity and motor performance
N Baradaran, SN Tan, A Liu, A Ashoori, SJ Palmer, ZJ Wang, MM Oishi, ...
Frontiers in neurology 4, 48859, 2013
1142013
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
802012
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
682015
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
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
562008
SReachTools: a MATLAB stochastic reachability toolbox
AP Vinod, JD Gleason, MMK Oishi
Proceedings of the 22nd ACM international conference on hybrid systems …, 2019
542019
Stochastic reachability for control of spacecraft relative motion
K Lesser, M Oishi, RS Erwin
52nd IEEE Conference on Decision and Control, 4705-4712, 2013
532013
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
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
472010
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
472000
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
432015
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
422003
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
412015
The system can't perform the operation now. Try again later.
Articles 1–20