CPS: Synergy: Collaborative Research: Digital Control of Hybrid Systems via Simulation and Bisimulation

混合系统是描述连续变量和离散模式耦合演化的动态模型。这种系统的一个主要例子是电力电子电路，其中半导体晶体管充当理想开关，其开关动作有效地改变电路拓扑结构（即离散模式），进而定义电流和电压的动态（即连续变量），从而确定开关动作。有两种不同的方法来分析和设计混合系统。一种途径是关注离散模式，并实现可伸缩的高级分析和综合。另一种途径是关注连续变量的动力学，并保证稳定性和瞬态性能等低级特性。本提案的研究目标是通过使基于离散模式和基于连续变量的方法之间的协同作用来弥合这些方法。在这项工作中发展的理论和算法将应用于电力电子电路的数字控制，以克服现有电力电子设计方法所面临的可扩展性和稳定性问题。项目负责人预计，该项目的成功完成将为混合系统的分析和设计建立一个新的范例，从而为现代社会的需求做出贡献，例如微电网和嵌入式发电，其中电力电子电路是不可或缺的一部分。该研究将通过学生指导、课程开发和实验室设备整合到教育计划中。私立学校将特别努力招收妇女和少数民族学生。这些影响更广泛的项目将有助于创新科学和工程教育，为下一代科学家和工程师做好准备。

A hybrid system is a dynamical model that describes the coupled evolution of both continuous-valued variables and discrete patterns. A prime example of such a system is a power electronic circuit, where the semiconductor transistors behave as ideal switches whose switching actions effectively change the circuit topology (i.e., the discrete pattern) that in turn defines the dynamics of currents and voltages (i.e., the continuous variables) and hence the switching actions. There have been two disparate paths to analyzing and designing hybrid systems. One path is to focus on the discrete patterns and achieve scalable, high-level analysis and synthesis. The other path is to pay attention to the dynamics of continuous variables and guarantee low-level properties such as stability and transient performance. The research objective of this proposal is to bridge these approaches by enabling a synergy between the discrete pattern based and continuous variable based approaches. The theory and algorithms developed in course of this work will be applied to digital control of power electronic circuits in order to overcome the scalability and stability issues suffered by existing approaches to power electronics design.The PIs envision that a successful completion of the project will establish a new paradigm in the analysis and design of hybrid systems, and thus contribute to the needs of modern society, such as microgrids and embedded generation, where power electronic circuits are integral parts. The research will be integrated into educational programs through student mentoring and development of courses and laboratory equipment. The PIs will make a special effort to recruit women and minority students. These broader-impact programs will help innovate science and engineering education and prepare for next-generation scientists and engineers.