Publications
Preprints
B. Cui, Z. Ma, A. Giua and X. Yin. Opacity enforcing supervisory control with a priori unknown supervisors. Submitted, 2026. Link
B. Cui, Z. Ma, S. Li and X. Yin. On a Class of High-Order Properties in Discrete-Event Systems: Notions, Verification and Applications. Submitted, 2024. Link
Journal Papers
B. Cui, X. Yu, A. Giua and X. Yin. A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents. in Nonlinear Analysis: Hybrid Systems and 23rd IFAC World Congress, accepted, 2026. Link
B. Cui, Y. Chen, A. Giua and X. Yin. On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis. in IEEE Transactions on Automatic Control, 2026, conditionally accepted. Link
B. Cui, A. Giua and X. Yin. Attack-Resilient Supervisory Control of Discrete Event Systems under Dynamic Event-Protection Mechanisms. in IEEE Control Systems Letters and 64th IEEE Conference on Decision and Control, 2025. Link
S. Miao, B. Cui, Y. Ji and X. Yin. Protect Your Knowledge: Epistemic Property Enforcement of Discrete Event Systems with Asymmetric Information. in IEEE Control Systems Letters and 64th IEEE Conference on Decision and Control, 2025. Link
B. Cui, F. Huang, S. Li and X. Yin. Robust Temporal Logic Task Planning for Multi-robot Systems under Permanent Robot Failures. in IEEE Transactions on Control Systems Technology, 2024. Link
Conference Papers
J. Zhao, C. Kang, Y. Chen, B. Cui and X. Yin. Distributionally robust safe control of robotic manipulators in dynamic environments. in IEEE/RSJ International Conference on Intelligent Robots and Systems, accepted, 2026.
B. Cui, J. Zhao, Y. Chen, A. Abate, M. Kwiatkowska and X. Yin. Certificates synthesis for a class of observational properties in stochastic systems: A unified approach. in 65th IEEE Conference on Decision and Control, accepted, 2026. Link
J. Zhao*, B. Cui*, D. V. Dimarogonas, R. Majumdar and X. Yin. Regret-Optimal Supervisory Control of Partially-Known Discrete Event Systems. in 64th IEEE Conference on Decision and Control, Rio de Janeiro, Brazil, 2025. Link
B. Cui, Z. Ma, A. Giua and X. Yin. Better Late than Never: On Epistemic Diagnosability of Discrete Event Systems. in 17th International Workshop on Discrete Event Systems, Rio de Janeiro, Brazil, 2024. Link
B. Cui, A. Giua and X. Yin. Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach. in 62nd IEEE Conference on Decision and Control, Singapore, 2023. Link
B. Cui, K. Zhu, S.Li and X. Yin. Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications. in 40th IEEE International Conference on Robotics and Automation, London, UK, 2023. Link
B. Cui, X. Yin, S. Li and A. Giua. You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems. in16th International Workshop on Discrete Event Systems, Prague, Czech Republic, 2022. Link