研究领域：

论文成果： More>>

• Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks .IEEE Transactions on Automatic Control .2022
• <p>A framework for current-state opacity under dynamic information release mechanism</p> .AUTOMATICA .2022
• Temporal Logic Robot Task Planning with Active Acquisition of Information .IEEE International Conference on Control and Automation, ICCA .2022
• Secure-by-construction synthesis of cyber-physical systems .Annual Reviews in Control .2022
• Security-preserving multi-agent coordination for complex temporal logic tasks .CONTROL ENGINEERING PRACTICE .2022
• On the Verification of Detectability for Timed Systems .Proceedings of the American Control Conference .2022
• Resource Provision for Cloud-Enabled Automotive Vehicles With a Hierarchical Model .IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS .2022
• To Transmit or Not to Transmit: Optimal Sensor Scheduling for Remote State Estimation of Discrete-Event Systems .2022 American Control Conference (Acc) .2022
• Opacity enforcing supervisory control using non-deterministic supervisors .IEEE Transactions on Automatic Control .2022
• Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications .ASCC 2022 - 2022 13th Asian Control Conference, Proceedings .2022

科研项目：

• 大豆症青病毒纳米监测与代谢防控机制及应用 -2025/10/01
• 基于三维纳米天线的同源异构病毒抗原传感检测机理研究 -2026/12/01
• 纳米光波导母模制造工艺研发 -2023/03/01