Zhenqi Huang
From MaRDI portal
Person:2024375
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Approximate partial order reduction (available as arXiv preprint) | 2021-05-04 | Paper |
| Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
| Proofs from simulations and modular annotations Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Computing bounded reach sets from sampled simulation traces Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
| Bounded invariant verification for time-delayed nonlinear networked dynamical systems Nonlinear Analysis. Hybrid Systems | 2016-12-15 | Paper |
Research outcomes over time
This page was built for person: Zhenqi Huang
