Wang, Zifan; Gao, Yulong; Wang, Siyi; Zavlanos, Michael M.; Abate, Alessandro; Johansson, Karl H. Policy Evaluation in Distributional LQR (Extended Version). arXiv:2401.10240 Preprint, arXiv:2401.10240 [math.OC] (2023). BibTeX Cite \textit{Z. Wang} et al., ``Policy Evaluation in Distributional LQR (Extended Version)'', Preprint, arXiv:2401.10240 [math.OC] (2023) Full Text: arXiv OA License
Gao, Yulong; Yan, Shuhao; Zhou, Jian; Cannon, Mark; Abate, Alessandro; Johansson, Karl H. Robust Tube Model Predictive Control with Uncertainty Quantification for Discrete-Time Linear Systems. arXiv:2304.05105 Preprint, arXiv:2304.05105 [math.OC] (2023). BibTeX Cite \textit{Y. Gao} et al., ``Robust Tube Model Predictive Control with Uncertainty Quantification for Discrete-Time Linear Systems'', Preprint, arXiv:2304.05105 [math.OC] (2023) Full Text: arXiv OA License
Wang, Zifan; Gao, Yulong; Wang, Siyi; Zavlanos, Michael M.; Abate, Alessandro; Johansson, Karl H. Policy Evaluation in Distributional LQR. arXiv:2303.13657 Preprint, arXiv:2303.13657 [math.OC] (2023). BibTeX Cite \textit{Z. Wang} et al., ``Policy Evaluation in Distributional LQR'', Preprint, arXiv:2303.13657 [math.OC] (2023) Full Text: arXiv OA License
Gao, Yulong; Abate, Alessandro; Jiang, Frank J.; Giacobbe, Mirco; Xie, Lihua; Johansson, Karl Henrik Temporal logic trees for model checking and control synthesis of uncertain discrete-time systems. (English) Zbl 07741695 IEEE Trans. Autom. Control 67, No. 10, 5071-5086 (2022). MSC: 93-XX PDFBibTeX XMLCite \textit{Y. Gao} et al., IEEE Trans. Autom. Control 67, No. 10, 5071--5086 (2022; Zbl 07741695) Full Text: DOI arXiv
Gao, Yulong; Cannon, Mark; Xie, Lihua; Johansson, Karl Henrik Invariant cover: existence, cardinality bounds, and computation. (English) Zbl 1482.93233 Automatica 129, Article ID 109588, 12 p. (2021). MSC: 93B70 93C55 93C05 PDFBibTeX XMLCite \textit{Y. Gao} et al., Automatica 129, Article ID 109588, 12 p. (2021; Zbl 1482.93233) Full Text: DOI
Gao, Yulong; Johansson, Karl Henrik; Xie, Lihua Computing probabilistic controlled invariant sets. (English) Zbl 1467.93291 IEEE Trans. Autom. Control 66, No. 7, 3138-3151 (2021). MSC: 93E03 90C05 90C11 PDFBibTeX XMLCite \textit{Y. Gao} et al., IEEE Trans. Autom. Control 66, No. 7, 3138--3151 (2021; Zbl 1467.93291) Full Text: DOI arXiv
Gao, Yulong; Yu, Pian; Dimarogonas, Dimos V.; Johansson, Karl H.; Xie, Lihua Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis. (English) Zbl 1429.93073 Automatica 107, 574-581 (2019). MSC: 93B35 93B03 93C41 93C85 PDFBibTeX XMLCite \textit{Y. Gao} et al., Automatica 107, 574--581 (2019; Zbl 1429.93073) Full Text: DOI Link
Dai, Li; Gao, Yulong; Xie, Lihua; Johansson, Karl Henrik; Xia, Yuanqing Stochastic self-triggered model predictive control for linear systems with probabilistic constraints. (English) Zbl 1388.93105 Automatica 92, 9-17 (2018). MSC: 93E20 93E25 93E15 93C05 PDFBibTeX XMLCite \textit{L. Dai} et al., Automatica 92, 9--17 (2018; Zbl 1388.93105) Full Text: DOI