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
Publications
Filter by:
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
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
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
Liu, J. ., & Teel, A. R. (2016). Hybrid Dynamical Systems with Finite Memory. Hybrid Dynamical Systems with Finite Memory. https://doi.org/http://dx.doi.org/10.1007/978-3-319-18072-4_13
Montana, F. J., Liu, J. ., & Dodd, T. J. (2016). Sampling-based stochastic optimal control with metric interval temporal logic specifications. Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications. Presented at the. https://doi.org/10.1109/CCA.2016.7587911