References

Close X

Filter by:

Enter a value to search for title and contributor(s).

Keyword(s)

Enter a comma separated list of keywords.

Type

Year

Sort

Sort by

Order

Li, Y. ., & Liu, J. . (2015). Switching control of differential-algebraic equations with temporal logic specifications. Switching Control of Differential-Algebraic Equations With Temporal Logic Specifications. Presented at the. https://doi.org/http://dx.doi.org/10.1109/ACC.2015.7171017

Liu, J. ., & Teel, A. R. (2014). Hybrid systems with memory: modelling and stability analysis via generalized solutions. Hybrid Systems With Memory: Modelling and Stability Analysis via Generalized Solutions. Presented at the. https://doi.org/http://dx.doi.org/10.3182/20140824-6-ZA-1003.02085

Rao, A. C., & Liu, J. . (2014). Advances in addressing challenges in complex control systems design. Advances in Addressing Challenges in Complex Control Systems Design. Presented at the. https://doi.org/10.3182/20140313-3-IN-3024.00138

Sun, F. ., Ozay, N. ., Wolff, E. M., & Murray, R. M. (2014). Efficient control synthesis for augmented finite transition systems with an application to switching protocols. Efficient Control Synthesis for Augmented Finite Transition Systems With an Application to Switching Protocols. Presented at the. https://doi.org/http://dx.doi.org/10.1109/ACC.2014.6859428

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

Liu, J. ., & Ozay, N. . (2014). Abstraction, discretization, and robustness in temporal logic control of dynamical systems. Abstraction, Discretization, and Robustness in Temporal Logic Control of Dynamical Systems. Presented at the. https://doi.org/http://dx.doi.org/10.1145/2562059.2562137

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

Zhang, H. ., Liu, X. ., Shen, X. ., & Liu, J. . (2013). Intermittent impulsive synchronization of hyperchaos with application to secure communication. Asian Journal of Control, 15, 1686\textendash1699. https://doi.org/http://dx.doi.org/10.1002/asjc.728

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