Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2022 | 2021
Anzahl der Publikationen: 4

2022

Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid und Caccamo, Marco (2022): Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022. In: HSCC '22: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, New York: Association for Computing Machinery. S. 1-2

Nejati, Ameneh; Zhong, Bingzhuo; Caccamo, Marco und Zamani, Majid (2022): Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach. 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), Milan, Italy, 03-06 May 2022. In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), S. 11-12

Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid und Caccamo, Marco (2022): Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. In: Automatica, Bd. 147

2021

Zhong, Bingzhuo; Lavaei, Abolfazl; Cao, Hongpeng; Zamani, Majid und Caccamo, Marco (2021): Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems. In: Nonlinear Analysis-Hybrid Systems, Bd. 43, 101110

Diese Liste wurde am Sat Oct 26 20:52:58 2024 CEST erstellt.