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
References
Filter by:
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
Liu, J., & Teel, A. R. (2016). Invariance principles for hybrid systems with memory. Nonlinear Analysis: Hybrid Systems, 21, 130\textendash138. https://doi.org/http://dx.doi.org/10.1016/j.nahs.2015.08.003
Liu, J., & Ozay, N. (2016). Finite abstractions with robustness margins for temporal logic-based control synthesis. Nonlinear Analysis: Hybrid Systems, 22, 1\textendash15. https://doi.org/http://dx.doi.org/10.1016/j.nahs.2016.02.002
Li, Y., Liu, J., & Ozay, N. (2015). Computing finite abstractions with robustness margins via local reachable set over-approximation. Computing Finite Abstractions With Robustness Margins via Local Reachable Set over-Approximation. Presented at the. https://doi.org/10.1016/j.ifacol.2015.11.144
Lucio, E. N. A., Liu, J., & Dodd, T. J. (2015). An Interactive Approach to Monocular SLAM. An Interactive Approach to Monocular SLAM. Presented at the. https://doi.org/http://dx.doi.org/10.1007/978-3-319-22416-9_3
Lucio, E. N. A., Liu, J., & Dodd, T. J. (2015). An Interactive Approach to Monocular SLAM. An Interactive Approach to Monocular SLAM. Presented at the. https://doi.org/http://dx.doi.org/10.1007/978-3-319-22416-9_3
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