I agree that this site is using cookies. You can find further informations here.
X
Zhong, Bingzhuo
18  results:
Search for persons X
?
1

Formal Synthesis of Controllers for Uncertain Linear System..:

Zhong, Bingzhuo ; Zamani, Majid ; Caccamo, Marco
IEEE Transactions on Automatic Control.  69 (2024)  1 - p. 214-229 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Formal Methods for Sandboxing Controllers in Cyber-Physical..:

Zhong, Bingzhuo , 2023
Link: http://nbn-resolving.de/..
 
?
3

Towards Trustworthy AI: Sandboxing AI-Based Unverified Cont..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Zhong, Bingzhuo ; Liu, Siyuan ; Caccamo, Marco. - p. 1833-1840 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Automata-based controller synthesis for stochastic systems:..:

Zhong, Bingzhuo ; Lavaei, Abolfazl ; Zamani, Majid.
Automatica.  147 (2023)  - p. 110696 , 2023
Link: https://doi.org/10.1016/..
 
?
5

A Set-based Approach for Synthesizing Controllers Enforcing..:

, In: 2022 American Control Conference (ACC),
Zhong, Bingzhuo ; Zamani, Majid ; Caccamo, Marco - p. 1575-1581 , 2022
Link: https://doi.org/10.23919..
 
?
6

Synthesizing Safety Controllers for Uncertain Linear System..:

, In: 2022 IEEE Conference on Control Technology and Applications (CCTA),
Zhong, Bingzhuo ; Zamani, Majid ; Caccamo, Marco - p. 1278-1284 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Controller Synthesis for Unknown Polynomial-Type Systems: A..:

, In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS),
Nejati, Ameneh ; Zhong, Bingzhuo ; Caccamo, Marco. - p. 11-12 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Poster Abstract: Controller Synthesis for Nonlinear Stochas..:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
Zhong, Bingzhuo ; Lavaei, Abolfazl ; Zamani, Majid. - p. 1-2 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Extending Signal Temporal Logic with Quantitative Semantics..:

Zhong, Bingzhuo ; Jordan, Claudius ; Provost, Julien
ACM Transactions on Cyber-Physical Systems.  5 (2021)  2 - p. 1-25 , 2021
Link: https://doi.org/10.1145/..
 
?
10

Towards trustworthy AI : safe-visor architecture for unc..:

, In: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems,
Lavaei, Abolfazl ; Zhong, Bingzhuo ; Caccamo, Marco. - p. 7-8 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Extending Signal Temporal Logic with Quantitative Semantics..:

Zhong, Bingzhuo ; Jordan, Claudius ; Provost, Julien
ACM Transactions on Cyber-Physical Systems.  5 (2021)  2 - p. 1-25 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Safe-visor architecture for sandboxing (AI-based) unverifie..:

Zhong, Bingzhuo ; Lavaei, Abolfazl ; Cao, Hongpeng..
Nonlinear Analysis: Hybrid Systems.  43 (2021)  - p. 101110 , 2021
Link: https://doi.org/10.1016/..
 
?
13

Sandboxing Controllers for Stochastic Cyber-Physical System:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Zhong, Bingzhuo ; Zamani, Majid ; Caccamo, Marco - p. 247-264 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Formal Methods for Sandboxing Controllers in Cyber-Physical..:

Zhong, Bingzhuo
https://mediatum.ub.tum.de/1704680.  , 2023
Link: https://mediatum.ub.tum...
 
?
15

Secure-by-Construction Synthesis for Control Systems:

Zhong, Bingzhuo ; Liu, Siyuan ; Caccamo, Marco.
http://arxiv.org/abs/2307.02564.  , 2023
Link: http://arxiv.org/abs/230..
 
1-15