Reference author: Pavithra Prabhakar

Ozay, N., Liu, J., Prabhakar, P., & Murray, R. M. (2013). Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems Presented at the Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems conference. https://doi.org/http://dx.doi.org/10.1109/ACC.2013.6580816

Prabhakar, P., Liu, J., & Murray, R. M. (2013). Pre-orders for reasoning about stability properties with respect to input of hybrid systems Presented at the Pre-Orders for Reasoning about Stability Properties With Respect to Input of Hybrid Systems conference. https://doi.org/http://dx.doi.org/10.1109/EMSOFT.2013.6658602

Liu, J., & Prabhakar, P. (2014). Switching control of dynamical systems from metric temporal logic specifications Presented at the Switching Control of Dynamical Systems from Metric Temporal Logic Specifications conference. https://doi.org/http://dx.doi.org/10.1109/ICRA.2014.6907643

Prabhakar, P., & Liu, J. (2016). Bisimulations for input-output stability of hybrid systems Presented at the Bisimulations for Input-Output Stability of Hybrid Systems conference.

Prabhakar, P., Liu, J., & Murray, R. M. (2018). Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems Discrete Event Dynamic Systems, 28, 349\textendash374. https://doi.org/https://doi.org/10.1007/s10626-017-0262-9

Prabhakar, P., & Liu, J. (2021). Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems Presented at the Simulation Relations for Abstraction-Based Robust Control of Hybrid Dynamical Systems conference. https://doi.org/https://doi.org/10.1016/j.ifacol.2021.08.484