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.
Reference author: Jun Liu
First name
Jun
Last name
Liu
Rao, A. C., & Liu, J. (2014). Advances in addressing challenges in complex control systems design Presented at the Advances in Addressing Challenges in Complex Control Systems Design conference. https://doi.org/10.3182/20140313-3-IN-3024.00138
Liu, J. (2017). Robust abstractions for control synthesis: Completeness via robustness for linear-time properties Presented at the Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties conference. https://doi.org/10.1145/3049797.3049826
Nilsson, P., Ozay, N., & Liu, J. (2017). Augmented finite transition systems as abstractions for control synthesis Journal of Discrete Event Dynamic Systems, 27, 301\textendash340. https://doi.org/https://doi.org/10.1007/s10626-017-0243-z
Li, Y., & Liu, J. (2018). Invariance control synthesis for switched nonlinear systems: an interval analysis approach IEEE Transactions on Automatic Control, 63, 2206\textendash2211. https://doi.org/10.1109/TAC.2017.2760106
Montana, F. J., Liu, J., & Dodd, T. J. (2017). Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications Springer. https://doi.org/https://doi.org/10.1007/978-3-319-67113-0_10
Montana, F. J., Liu, J., & Dodd, T. J. (2017). Sampling-based reactive motion planning with temporal logic constraints and imperfect state information Springer. https://doi.org/https://doi.org/10.1007/978-3-319-67113-0_9
o\~nez, P. O., Mill, A. R., Dodd, T. J., & Liu, J. (2017). Formal verification of a gain scheduling control scheme Presented at the Formal Verification of a Gain Scheduling Control Scheme Primary Tabs conference. IEEE. https://doi.org/10.1109/MED.2017.7984128
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
Liu, J., & Teel, A. R. (2018). Hybrid systems with memory: existence and well-posedness of generalized solutions SIAM Journal on Control and Optimization, 56, 1011\textendash1037. https://doi.org/10.1137/140981708