HOME /

Publications

Search
Author Title [ Type(Desc)] Year
Conference Proceedings
Li, Y. , & Liu, J. . (2018). ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems. The 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18. Retrieved from http://doi.org/10.1145/3178126.3178153
Li, Y. , & Liu, J. . (2018). Robustly complete reach-and-stay control synthesis for switched systems via interval analysis. The 2018 American Control Conference (ACC2018). Retrieved from http://arxiv.org/abs/1802.09082
Li, Y. , & Liu, J. . (2016). Computing maximal invariant sets for switched nonlinear systems. 2016 IEEE Conference on Computer Aided Control System Design (CACSD). Retrieved from http://doi.org/10.1109/CACSD.2016.7602547
Li, Y. , & Liu, J. . (2016). An interval analysis approach to invariance control synthesis for discrete-time switched systems. 2016 IEEE 55th Conference on Decision and Control (CDC). IEEE. Retrieved from http://doi.org/10.1109/CDC.2016.7799252
Li, Y. , & Liu, J. . (2015). Switching control of differential-algebraic equations with temporal logic specifications. The 2015 American Control Conference (ACC2015). IEEE. Retrieved from https://doi.org/10.1109/ACC.2015.7171017
Journal Article
Li, Y. , & Liu, J. . (2018). Invariance control synthesis for switched nonlinear systems: an interval analysis approach. IEEE Transactions on Automatic Control, 63(7), 2206-2211. Retrieved from http://doi.org/10.1109/TAC.2017.2760106
Li, Y. , & Liu, J. . (2015). Computing finite abstractions with robustness margins via local reachable set over-approximation. IFAC-PapersOnLine, 48(27), 1-6. Retrieved from https://doi.org/10.1016/j.ifacol.2015.11.144