Li, Y. ., & Liu, J. . (2018). ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems. A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems Primary Tabs View. Presented at the. https://doi.org/doi.org/10.1145/3178126.3178153
Publications
Filter by:
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
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
Liu, J. . (2017). Robust abstractions for control synthesis: Completeness via robustness for linear-time properties. Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. Presented at the. https://doi.org/10.1145/3049797.3049826
o\~nez, P. O., Mill, A. R., Dodd, T. J., & Liu, J. . (2017). Formal verification of a gain scheduling control scheme. Formal Verification of a Gain Scheduling Control Scheme Primary Tabs . Presented at the. IEEE. https://doi.org/10.1109/MED.2017.7984128
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
Liu, J. ., & Teel, A. R. (2016). Lyapunov-based sufficient conditions for stability of hybrid systems with memory. IEEE Transactions on Automatic Control, 61, 1057\textendash1062. https://doi.org/http://dx.doi.org/10.1109/TAC.2015.2460031
Li, Y. ., & Liu, J. . (2016). An interval analysis approach to invariance control synthesis for discrete-time switched systems. An Interval Analysis Approach to Invariance Control Synthesis for Discrete-Time Switched Systems. Presented at the.
Liu, J. ., & Teel, A. R. (2016). Lyapunov-based sufficient conditions for stability of hybrid systems with memory. IEEE Transactions on Automatic Control, 61, 1057\textendash1062. https://doi.org/http://dx.doi.org/10.1109/TAC.2015.2460031
Li, Y. ., & Liu, J. . (2016). Computing maximal invariant sets for switched nonlinear systems. Computing Maximal Invariant Sets for Switched Nonlinear Systems. Presented at the. https://doi.org/10.1109/CACSD.2016.7602547