Presidential Young Investigators Award: Modeling, Analysis and Control of Discrete Event Systems

PI主要研究离散事件系统(DES)的建模、分析和控制。DES是一个人为的动力系统，其行为由分布的、通信的、受控的过程的复杂相互作用来描述。这些交互是通过记录系统状态重大变化的事件跟踪来建模的。例如，过程可以是计算机系统中的计算机程序或用户的事务，或者是柔性制造系统中的机器或机器人。研究的第一部分涉及控制DES的理论工作。正在研究的具体问题包括：详细研究DES的性质DES的控制器；具有良好定性和定量性能特性的控制器的综合；阻塞系统控制中恢复的建模和分析；以及部分信息下的在线监督控制。在这些问题上的进展将扩大DES的新兴控制理论的范围和适用性。研究的第二部分涉及控制器算法的发展关系代数框架中的综合问题。这种方法是为了解决大规模DES的综合问题。最后，从数据库系统、制造系统、并结合上述理论和算法的发展对交通系统进行了分析。

The PI does research on the modeling, analysis, and control of discrete event systems (DES's). A DES is a man-made dynamical system whose behavior is described by the complex interactions of distributed, communicating, controlled processes. These interactions are modeled by traces of events that record significant changes in the state of the system. A process may for example be a computer program or a user's transaction in a computer system or a machine or a robot in a flexible manufacturing system. The first component of the research deals with theoretical work on the control of DES's. Specific issues being studied include: detailed study of the properties of controllers for DES's; the synthesis of controllers with good qualitative and quantitative performance characteristics; modeling and analysis of recovery in the control of systems that block; and on-line supervisory control under partial information. Progress on these problems will enhance the scope and applicability of the emerging control theory for DES's. The second component of the research deals with the development of algorithms for controller synthesis problems in a relational algebraic framework. This approach is pursued in order to address synthesis problems for large scale DES's. Finally, representative case studies from the fields of database systems, manufacturing systems, and traffic systems are being analyzed in conjunction with the above development of theory and algorithms.