Conference Proceedings

Abraham P. Vinod, Vignesh Sivaramakrishnan, and Meeko M. K. Oishi, “Piecewise-Affine Approximation-Based Stochastic Optimal Control withGaussian Joint Chance Constraints,” in Proceedings of the 2019 American Control Conference (ACC), Philadelphia, PA, USA, July 2019, pp. 2942-2949.

Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort and Abraham P. Vinod, “ARCH-COMP19 Category Report: Stochastic Modelling,” ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol. 61, May 2019, p. 62–102.

Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian-Ioan Vasile and Abraham P. Vinod, “ARCH-COMP18 Category Report: Stochastic Modelling,” ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol. 54, September 2018, p. 71–103.

Abraham Vinod and Meeko Oishi, “Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness,” In the Proceedings of the IEEE/ACM Hybrid Systems: Computation and Control Conference, Porto, Portugal, April 2018, pp. 1–10.

Abraham Vinod, Baisravan HomChaudhuri, Christoph Hintz, Anup Parikh, Stephen P. Buerger, Meeko Oishi, Gregory Brunson, Shakeeb Ahmad, Rafael Fierro, “Multiple Pursuer-Based Intercept via Forward Stochastic Reachability,” In Proceedings of the 2018 American Control Conference (ACC), Milwaukee, Wisconsin, USA, June 2018, pp. 1559–1566.

Joseph Gleason, Abraham Vinod, and Meeko Oishi, “Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods,” In the Proceedings of IEEE International Conference on Decision and Control, Melbourne, Australia, December 2017.

Abraham Vinod and Meeko Oishi, “Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms,” In the Proceedings of IEEE International Conference on Decision and Control, Melbourne, Australia, December 2017.

T. Adamson, M. Oishi, H.-T. L. Chiang, and L. Tapia, “Busy beeway: A game for testing human-automation collaboration for navigation,” in Proceedings of the Tenth International Conference on Motion in Games, ser. MIG ’17. New York, NY: ACM, 2017, pp. 9:1–9:6.

J. D. Gleason, M. Oishi, M. Simkulet, T. Arunas, L. Brown, S. Brueck, and R. F. Karlicek, “A novel smart lighting clinical testbed,” in IEEE International Conference of the Engineering in Medicine and Biology Society, Jeju, Korea, July 2017, pp. 4317–4320.

B. HomChaudhuri, A. Vinod, M. Oishi, “Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance,” In the Proceedings of American Control Conference, Seattle, WA, May 2017, p. 4404-4411.

Hao-Tien Lewis Chiang, Baisravan HomChaudhuri, Abraham P Vinod, Meeko Oishi, and Lydia Tapia, “Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions,” In the Proceedings of IEEE International Conference on Robotics and Automation, Singapore, May 2017, pp 3762-3769.

A. Vinod, B. HomChaudhuri, and M. Oishi, “Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms,” In the Proceedings of the International Conference on Hybrid Systems: Computation and Control, Pittsburgh, PA, April 2017, p. 35-44.  Best Student Paper Award.

B. HomChaudhuri, M. Oishi, M. Baldwin, M. Shubert, and R.S. Erwin, “Computing reach-avoid sets for space vehicle docking under continuous thrust,” In the Proceedings of IEEE International Conference on Decision and Control, Las Vegas, NV, December 2016, p. 3312-3318.

J. Gleason, A.P. Vinod, M. Oishi, and R.S. Erwin, “Viable set approximation for linear-Gaussian systems with unknown, bounded variance,” In the Proceedings of IEEE International Conference on Decision and Control, Las Vegas, NV, December 2016, 7049-7055.

A.P. Vinod, Y. Tang, M. Oishi, K. Sycara, C. Lebiere, and M. Lewis, “Validation of cognitive models for collaborative hybrid systems with discrete human input,” In the Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejon, Korea, October 2016, p. 3339-3346.

A. P. Vinod, T. Summers, and M. Oishi, “User-interface design for MIMO LTI human-automation systems through sensor placement,” In the Proceedings of American Control Conference, Boston, MA, July 2016, pp. 5276-5283.

M. Oishi, C. Gonzalez, D. Svenkeson, D. Kim, and M.J. McKeown, “Detection of manual tracking submovements in Parkinson’s disease through hybrid optimization,” In the Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, Atlanta, Georgia, October 2015, vol. 48, no. 27, p. 291-297.

P. Cruz, M. Oishi, and R. Fierro, “Lift of a cable-suspended load by a quadrotor: A hybrid system approach,” In the Proceedings of American Control Conference, Chicago, IL, June 2015, pp. 1887-1892.

K. Lesser and M. Oishi, “Computing Probabilistic Viable Sets for Partially Observable Systems using Truncated Gaussians and Adaptive Gridding,” In the Proceedings of American Control Conference Chicago, IL, July 2015, p. 1505-1512.

H.-T. Chiang, N. Malone, K. Lesser, M. Oishi, and L. Tapia, “Path-Guided Artificial Potential Fields with Stochastic Reachable Sets for Motion Planning in Highly Dynamic Environments,” In the Proceedings of IEEE Int’l Conference on Robotics and Automation Seattle, WA, May 2015, p. 2347-2354.

K. Lesser and M. Oishi, “Finite State Approximation for Verification of Partially Observable Stochastic Hybrid Systems,” In the Proceedings of Hybrid Systems: Computation and Control, Seattle, WA, April 2015, p. 159-168.

T. Biswas, K. Lesser, M. Oishi, R. Dutta, “Using Linear System Reliability to Obtain Theoretical Understanding of Wireless Routing,” In the Proceedings of the IEEE Global Communications Conference (GLOBECOM), Austin, TX, December 2014, p. 1310-1316.

H.-T. Chiang, N. Malone, K. Lesser, M. Oishi, and L. Tapia, “Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field,” In the Proceedings of the International Workshop on the Algorithmic Foundations of Robotics (WAFR), Istanbul, Turkey, August 2014, p. 73-89.

R. Meyer, F. Just, R. DeCarlo, M. Zefran, and M. Oishi, “Notch filter and MPC for powered wheelchair operation under Parkinson’s tremor,” In the Proceedings of American Control Conference, Portland, OR, June 2014, p. 4114-4120.

M. Oishi, “Assessing information availability for user-interfaces of shared control systems under reference tracking,” In the Proceedings of American Control Conference, Portland, OR, June 2014, p. 3474-3481.

] N. Malone, K. Lesser, M. Oishi, and L. Tapia, “Stochastic Reachability Based Motion Planning for Multiple Moving Obstacle Avoidance,” In the Proceedings of Hybrid Systems: Computation and Control, Berlin, Germany, April 2014, p. 51-60.

B. Tabiban, M. Lewis, C. Lebiere, N. Chakraborty, K. Sycara, S. Bennati, M. Oishi, “Towards a Cognitively-based Analytic Model of Human Control of Swarms,” In AAAI Spring Symposia, Formal Verification and Modeling in Human-Machine Systems, Palo Alto, CA, March 2014, Technical Report SS-14-02, p. 68-73.

K. Lesser, M. Oishi, and R.S. Erwin, “Stochastic reachability for control of spacecraft relative motion,” In the Proceedings of the IEEE Conference on Decision and Control, Florence, Italy, December 2013, p. 4705-4712.

S. Kaynama, M. Oishi, I.M. Mitchell, and G. Dumont, “Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques,” In the Proceedings of the American Control Conference, Montreal, QB, June 2012, p. 2425-2430.

I.M. Mitchell, M. Chen, and M. Oishi, “Ensuring safety of nonlinear sampled data systems through reachability,” In the Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, TU Eindhoven, Netherlands, June 2012, p. 108-114.

S. Kaynama, M. Oishi, I.M. Mitchell, and G. Dumont, “Computing the viability kernel using maximal reachable sets,” In the Proceedings of Hybrid Systems: Computation and Control, Beijing, China, April 2012, p. 55-63.

S. Kaynama, M. Oishi, I.M. Mitchell, and G. Dumont, “Continual reachability set and its computation using maximal reachability techniques,” In the Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, December 2011, p. 6110-6115.

N. Eskandari and M. Oishi, “Computing observable and predictable subspaces to evaluate user-interfaces of LTI systems under shared control,” In the Proceedings of the IEEE Int’l Conference on Systems, Man, and Cybernetics, Anchorage, AK, October 2011, p. 2803-2808. Best Student Paper Award.

M. Oishi, P. TaghipourBibalan, A. Cheng, and I.M. Mitchell, “Modeling and control of a powered wheelchair: Wall-following around a corner with infrared,” In the Proceedings of the Canadian Congress on Applied Mechanics, Vancouver, BC, June 2011, p. 25-28.

M. Oishi, A. Cheng, P. TaghipourBibalan, and I.M. Mitchell, “Building a smart wheelchair on a flexible platform,” 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.

N. Matni, M. Oishi, “Stability of switched block upper-triangular linear systems with bounded switching delay: Application to large distributed systems,” In the Proceedings of the American Control Conference, San Francisco, CA, June 2011, p. 1440-1445.

M. Oishi, A. Ashoori, and M.J. McKeown, “Mode detection in switched pursuit tracking tasks: Hybrid estimation to measure performance in Parkinson’s disease,” In the Proceedings of the IEEE Conference on Decision and Control, Atlanta, GA, December 2010, p. 2124-2130.

S. Kaynama and M. Oishi, “Decomposing transformations for reachability analysis of linear time-invariant systems,” In the Proceedings of the American Control Conference, Baltimore, MD, June 2010, p. 1874-1879.

N. Matni and M. Oishi, “Reachability analysis for continuous systems under shared control: Application to user-interface design,” In the Proceedings of the IEEE Conference on Decision and Control, Shanghai, China, December 2009, p 5929-5934. Interactive paper prize.

S. Kaynama and M. Oishi, “Schur-based decomposition for reachability analysis and controller synthesis,” In the Proceedings of the IEEE Conference on Decision and Control, Shanghai, China, December 2009, p. 69-74.

M. Oishi and N. Matni, “Towards provably safe control of smart wheelchairs,” In the Proceedings of the AAAI Symposium, AI in Eldercare, Washington, DC, November 2008, pp. FS–08–02: 67–69.

N. Matni and M. Oishi, “Reachability-based abstraction for an aircraft landing under shared control,” In the Proceedings of the American Control Conference, Seattle, WA, June 2008, pp. 2278-2284.

M. Oishi and E. E. May, “Addressing biological circuit simulation accuracy: Reachability for parameter identification and initial conditions,” In the Proceedings of the IEEE-NIH Life Science Systems and Applications Workshop, Bethesda, MD, Nov 2007.

M. Oishi, “Towards switched control under input and state constraints,” In the Proceedings of the IEEE Canada Conference on Electrical and Computer Engineering, April 2007.

M. Oishi, I. Mitchell, C. Tomlin, and P. St.-Pierre, “Computing viable sets and reachable sets to design feedback linearizing control laws under saturation,” In the Proceedings of the 45th IEEE Conference on Decision and Control, February 2006. Interactive paper prize.

M. Oishi, “Recovery in flight management systems: Applications of hybrid reachability,” In the Proceedings of the IEEE Advanced Process Controls Industrial Applications Workshop, Vancouver, BC, May 2006. Best paper award.

M. Oishi, I. Hwang, and C. Tomlin, “Immediate observability of discrete event systems with application to user-interface design,” In the Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003.

M. Oishi, I. Mitchell, A. Bayen, C. Tomlin, and A. Degani, “Hybrid verification of an interface for an automatic landing,” In the Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December 2002.

M. Oishi, A. Degani, and C. Tomlin, (poster), In SARA 2002: Symposium on Abstraction, Reformulation, and Approximation, Lecture Notes in Artificial Intelligence (LNAI) 2371, Springer-Verlag, Kananaskis, Alberta, Canada, August 2002.

M. Oishi, C. Tomlin, V. Gopal, and D. Godbole, “Addressing multi-objective control: Safety and performance through constrained optimization,” In Hybrid Systems: Computation and Control, LNCS 2034, Springer-Verlag, Rome, Italy, March 2001.

M. Oishi and C. Tomli, “Switching in non-minimum phase systems: Application to a VSTOL aircraft,” In the Proceedings of the American Control Conference, Chicago, IL, June 2000.

M. Oishi and C. Tomlin, “Switched nonlinear control of a VSTOL aircraft,” In the Proceedings of the 38th IEEE Conference on Decision and Control, Phoenix, AZ, December 1999.