Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid; Caccamo, Marco Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations. (English) Zbl 1505.93257 Automatica 147, Article ID 110696, 16 p. (2023). MSC: 93E03 93C55 93B50 68Q45 91A15 PDFBibTeX XMLCite \textit{B. Zhong} et al., Automatica 147, Article ID 110696, 16 p. (2023; Zbl 1505.93257) Full Text: DOI arXiv
Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid; Caccamo, Marco Poster abstract: Controller synthesis for nonlinear stochastic games via approximate probabilistic relations. (English) Zbl 07807733 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{B. Zhong} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2022; Zbl 07807733) Full Text: DOI
Zhong, Bingzhuo; Lavaei, Abolfazl; Cao, Hongpeng; Zamani, Majid; Caccamo, Marco Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems. (English) Zbl 07472267 Nonlinear Anal., Hybrid Syst. 43, Article ID 101110, 25 p. (2021). MSC: 93E03 93B70 93C83 PDFBibTeX XMLCite \textit{B. Zhong} et al., Nonlinear Anal., Hybrid Syst. 43, Article ID 101110, 25 p. (2021; Zbl 07472267) Full Text: DOI arXiv