|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 4
Zeitschriftenartikel
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
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
Konferenzbeitrag
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