当前位置：
首页
>
研究方向
研究方向
信息物理系统设计、仿真、验证与状态监测；形式化方法；机器学习与控制理论。