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

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

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.