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

混合系统是一种动态模型，描述了连续变量和离散模式的耦合演化。这种系统的主要例子是电力电子电路，其中半导体晶体管充当其开关动作有效地改变了电路拓扑(即，离散模式)的理想开关，而电路拓扑又定义了电流和电压(即，连续变量)的动态，从而定义了开关动作。分析和设计混合系统有两条截然不同的道路。一条途径是专注于离散的模式，并实现可伸缩的高级分析和综合。另一条途径是关注连续变量的动态特性，保证稳定性和暂态性能等低水平特性。这一建议的研究目标是通过实现基于离散模式的方法和基于连续变量的方法之间的协同来弥合这些方法。在这项工作中开发的理论和算法将被应用于电力电子电路的数字控制，以克服现有电力电子设计方法所面临的可扩展性和稳定性问题。PI预期，该项目的成功完成将在混合系统的分析和设计中建立一个新的范例，从而有助于满足现代社会的需求，如微电网和嵌入式发电，其中电力电子电路是不可或缺的组成部分。这项研究将通过学生指导以及课程和实验室设备的开发纳入教育计划。私人投资机构将特别努力招收妇女和少数族裔学生。这些影响更广的计划将有助于创新科学和工程教育，并为下一代CPS科学家和工程师做准备。

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 CPS scientists and engineers.