| On approximate opacity of cyber-physical systems X Yin, M Zamani, S Liu IEEE Transactions on Automatic Control 66 (4), 1630-1645, 2020 | 58 | 2020 |
| Secure-by-construction synthesis of cyber-physical systems S Liu, A Trivedi, X Yin, M Zamani Annual Reviews in Control 53, 30-50, 2022 | 52 | 2022 |
| Lateral entry guidance with no-fly zone constraint Z Liang, S Liu, Q Li, Z Ren Aerospace science and technology 60, 39-47, 2017 | 46 | 2017 |
| Verification of approximate opacity via barrier certificates S Liu, M Zamani IEEE Control Systems Letters 5 (4), 1369-1374, 2020 | 28 | 2020 |
| Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts S Liu, A Saoud, P Jagtap, DV Dimarogonas, M Zamani 2022 IEEE 61st Conference on Decision and Control (CDC), 2184-2189, 2022 | 24 | 2022 |
| On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems* S Liu, X Yin, M Zamani 2020 American Control Conference (ACC), 5413-5418, 2020 | 18 | 2020 |
| Modular verification of opacity for interconnected control systems via barrier certificates ST Kalat, S Liu, M Zamani IEEE Control Systems Letters 6, 890-895, 2021 | 11 | 2021 |
| Review of reentry guidance methods for hypersonic gliding vehicles S Liu, Z Liang, Z Ren, Q Li Chinese Space Science and Technology 36 (6), 1, 2016 | 11 | 2016 |
| Compositional synthesis of almost maximally permissible safety controllers S Liu, M Zamani 2019 American Control Conference (ACC), 1678-1683, 2019 | 10 | 2019 |
| Symbolic models for infinite networks of control systems: A compositional approach S Liu, N Noroozi, M Zamani Nonlinear Analysis: Hybrid Systems 43, 101097, 2021 | 9 | 2021 |
| Predictor-corrector guidance for entry with terminal altitude constraint S Liu, Z Liang, Q Li, Z Ren 2016 35th Chinese Control Conference (CCC), 5557-5562, 2016 | 9 | 2016 |
| Verification of approximate opacity for switched systems: A compositional approach S Liu, A Swikir, M Zamani Nonlinear Analysis: Hybrid Systems 42, 101084, 2021 | 8 | 2021 |
| Compositional synthesis of opacity-preserving finite abstractions for interconnected systems S Liu, M Zamani Automatica 131, 109745, 2021 | 8 | 2021 |
| Abstraction-based verification of approximate preopacity for control systems J Hou, S Liu, X Yin, M Zamani IEEE Control Systems Letters 7, 1087-1092, 2022 | 6 | 2022 |
| Secure-by-construction controller synthesis via control barrier functions B Zhong, S Liu, M Caccamo, M Zamani IFAC-PapersOnLine 56 (2), 239-245, 2023 | 5 | 2023 |
| Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts S Liu, A Saoud, DV Dimarogonas arXiv preprint arXiv:2309.13499, 2023 | 4 | 2023 |
| Compositional verification of initial-state opacity for switched systems S Liu, A Swikir, M Zamani 2020 59th IEEE Conference on Decision and Control (CDC), 2146-2151, 2020 | 4 | 2020 |
| Secure-by-construction synthesis for control systems B Zhong, S Liu, M Caccamo, M Zamani IEEE Transactions on Automatic Control, 2025 | 3 | 2025 |
| Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies G Marchesini, S Liu, L Lindemann, DV Dimarogonas arXiv preprint arXiv:2409.05106, 2024 | 2 | 2024 |
| Communication-Constrained STL Task Decomposition through Convex Optimization G Marchesini, S Liu, L Lindemann, DV Dimarogonas arXiv preprint arXiv:2402.17585, 2024 | 2 | 2024 |
Majid ZamaniAssociate Professor, University of Colorado Bouldercolorado.edu의 이메일 확인됨