定性/定量集成优化控制器的形式化设计方法
Formal design method of optimal controllers for hybrid systems with integrated qualitative/quantitative performance