# Conference Proceedings

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

Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi, “The Maximal Hitting-Time Stochastic Reachability Problem,” *Proceedings of the** IEEE Conference on Decision and Control*, Nice, France, December 2019, pp. 7266-7272.

Vignesh Sivaramakrishnan, Omanshu Thapliyal, Abraham Vinod, Meeko Oishi, Inseok Hwang, “Predicting Mode Confusion Through Mixed Integer Linear Programming,” *Proceedings of the** IEEE Conference on Decision and Control, *Nice, France, December 2019, pp. 2442-2448.

Abraham P. Vinod, Meeko M. K. Oishi, “Affine controller synthesis for stochastic reachability via difference of convex programming,” *Proceedings of the** IEEE Conference on Decision and Control, *Nice, France, December 2019, pp. 7273-7280.

Milad Khaledyan, Abraham P. Vinod, Meeko Oishi, John A. Richards, “Optimal Coverage Control and Stochastic Multi-Target Tracking,” *Proceedings of the** IEEE Conference on Decision and Control, *Nice, France, December 2019, pp. 2467-2472.

Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açikmeşe, Meeko Oishi, “Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems,” *Proceedings of the **American Control Conference*, Philadelphia, PA, USA, July 2019, pp. 37-44.

Abraham P. Vinod, Vignesh Sivaramakrishnan, and Meeko M. K. Oishi, “Piecewise-Affine Approximation-Based Stochastic Optimal Control withGaussian Joint Chance Constraints,” *Proceedings of the 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.

Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi, “SReachTools: A MATLAB stochastic reachability toolbox: demo abstract,” Proceedings of the *ACM International Conference on Hybrid Systems: Computation and Control, *Montreal, Quebec, Canada*, *April 2019, pp. 264-265.

Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi, “SReachTools: a MATLAB stochastic reachability toolbox,” Proceedings of the *ACM International Conference on Hybrid Systems: Computation and Control, *Montreal, Quebec, Canada*, *April 2019, pp. 33-38.

Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi, “Sampling-free enforcement of non-gaussian chance constraints via fourier transforms,” *Proceedings of the **International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT,* Montreal, Quebec, Canada, April 2019, pp. 9-11.

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,” *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,” *Proceedings of the* *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,” *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,” *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,” *Proceedings **of the 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,” *Proceedings of the **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,” *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,” *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,” *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,” *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,” *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,” *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,” *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,” *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,”* 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,” *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,” *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,” *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.