研究领域：

论文成果： 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

著作成果：

• no ,2020/07/08

科研项目：

• 基于不透明性的大规模CPS信息安全形式化分析与设计 -2023/12/01
• 2020青年千人经费 -2029/09/01
• 2019青年千人配套 -2022/12/01
• 基于知识推理的老年综合评估反馈系统开发 -2022/12/01
• 信息物理系统分析与控制的基础理论 -2021/12/01
• no -2020/05/13
• 基于离散事件系统监控理论的CPS信息安全分析与防护 -2021/12/01
• 基于离散事件系统监控理论的CPS信息安全分析与防护 -2021/12/01
• 青年千人项目 -2020/12/01