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

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