结合了命题逻辑与系统动力学的混合控制

• A Model Predictive Control Based on Hybrid Systems Integrating Propositional Logic with System Dynamics