Projects

OpaqueCPS: Opacity of Large-Scale Cyber-Physical Systems

• Funding Source: National Natural Science Foundation of China (62061136004)

• Award Amount: 2,440,000 CNY

• Role: Principal Investigator

• Start Date: 2021.01

Foundations for Formal Analsysis and Control of Cyber-Physical Systems

• Funding Source: Shanghai Jiao Tong University Scientific and Technological Innovation Funds

• Award Amount: 500,000 CNY

• Role: Principal Investigator

• Start Date: 2020.01

Enforcing Security of Cyber-Physical Systems via Supervisory Control Theory

• Funding Source: National Natural Science Foundation of China (61803259)

• Award Amount: 250,000 CNY

• Role: Principal Investigator

• Start Date: 2019.01

Distributed Real-Time Decision Marking and Optimization of Networked Systems

• Funding Source: National Natural Science Foundation of China (61833012)

• Award Amount: 2,650,000 CNY

• Role: Co-PI

• Start Date: 2019.01

Formal Methods in Industrial Cyber-Physical Syetems

• Funding Source: 1000 Youth Talents Program

• Award Amount: 6,000,000 CNY

• Role: Principal Investigator

• Start Date: 2018.01