# Conference Proceedings

Also see Journal Papers and Books, Book Chapters and Technical Reports

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, 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.