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. Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems. Presented at the. 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. Pre-Orders for Reasoning about Stability Properties With Respect to Input of Hybrid Systems. Presented at the. 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. Switching Control of Dynamical Systems from Metric Temporal Logic Specifications. Presented at the. 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. Bisimulations for Input-Output Stability of Hybrid Systems. Presented at the.

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. Simulation Relations for Abstraction-Based Robust Control of Hybrid Dynamical Systems. Presented at the. https://doi.org/https://doi.org/10.1016/j.ifacol.2021.08.484