Li, Y., & Liu, J. (2018). ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems Presented at the A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems Primary Tabs View conference. https://doi.org/doi.org/10.1145/3178126.3178153
References
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 Presented at the Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties conference. 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 Presented at the Formal Verification of a Gain Scheduling Control Scheme Primary Tabs conference. 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 Presented at the An Interval Analysis Approach to Invariance Control Synthesis for Discrete-Time Switched Systems conference.
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 Presented at the Computing Maximal Invariant Sets for Switched Nonlinear Systems conference. https://doi.org/10.1109/CACSD.2016.7602547