Device Controller Synthesis for Systems of Interacting Discrete-State Components

交互离散状态组件系统的设备控制器综合

• 批准号: 0115694
• 负责人: Lawrence Holloway
• 金额: $ 22万
• 依托单位: University of Kentucky Research Foundation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-09-01 至 2005-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0115694&HistoricalAwards=false
• 关键词: Device; Controller; Synthesis; Systems; Interacting

With complex systems, monolithic models become impractical and it becomesnecessary to model them through subsystems and components. Development of controllogic for such systems also becomes complex, unless the structure of the subsystemsand components can be exploited in a systematic way. In this proposal, we consider thedevelopment of methods that use the structure of discrete-state model components forsynthesizing control logic and diagnostic information. These methods are automated,generating formal control logic models that can be analyzed, generating control softwarethat can be executed, and generating diagnostic models that can provide fault diagnosishypotheses. Such automated methods would reduce controller development time, wouldprovide enhanced reliability compared to manually developed controllers, and would beautomatically reconfigured as underlying system designs are modified. In this research,we propose to develop such tools and techniques by building upon our prior research. Inour previous research, techniques were developed for: modeling common componentsof manufacturing systems; assembling such components together to represent customsystem designs; synthesizing control logic called "taskblocks" for control of thosecomponents; and assembling those taskblocks together sequentially and hierarchicallyin order to achieve given specifications. Software tools were developed for graphicalentry of the component models and the specifications, and for automatically convertingthe synthesized control logic into C++ code. An automatically synthesized software"supervisor" then coordinates the multiple concurrent control activities, steering thesystem around undesired states. The models we consider are a form of discrete eventsystem, and the synthesis techniques build upon discrete event control methods.There are several unresolved issues with this current approach that will be addressed inthe proposed research. One major emphasis of this work is recognizing and exploitingthe multiple layers of interaction with components of the system. The modeling frame-work and our current analysis methods are ideally suited for such models of interactingcomponents, but they must be extended in order to compactly represent componentswith large state spaces. A second issue involves the timed dynamics of the system.Some activities may be time critical, such as turning off an actuator within a certainperiod of time or immediately upon receipt of a sensing. The synthesized controlsoftware should consider such time issues, and should ensure appropriate prioritiesamong various potentially concurrent activities. Finally, we propose to extend our currentsoftware tools to become a resource for other researchers and educators. This wouldallow others to test, develop, and evaluate other techniques using our graphical systemeditor, our code synthesis tool, and our hardware interface techniques. The automatedcontrol synthesis and diagnostic synthesis techniques will be demonstrated using bothmanufacturing and embedded control applications.

对于复杂的系统，整体模型变得不切实际，有必要通过子系统和组件对其进行建模。除非能够以系统的方式利用子系统和组件的结构，否则此类系统的控制逻辑的开发也变得复杂。在这个提案中，我们考虑开发使用离散状态模型组件的结构来合成控制逻辑和诊断信息的方法。这些方法是自动化的，生成可以分析的形式控制逻辑模型，生成可以执行的控制软件，并生成可以提供故障诊断假设的诊断模型。与手动开发的控制器相比，此类自动化方法将减少控制器开发时间，提供更高的可靠性，并且会随着底层系统设计的修改而自动重新配置。在这项研究中，我们建议在我们之前的研究基础上开发此类工具和技术。在我们之前的研究中，开发的技术用于： 对制造系统的通用组件进行建模；将这些组件组装在一起以代表定制系统设计；综合称为“任务块”的控制逻辑来控制这些组件；并将这些任务块按顺序和分层组装在一起，以达到给定的规格。软件工具的开发用于组件模型和规格的图形输入，以及自动将综合控制逻辑转换为 C++ 代码。然后，自动合成的软件“管理程序”协调多个并发控制活动，引导系统绕过不期望的状态。我们考虑的模型是离散事件系统的一种形式，综合技术建立在离散事件控制方法的基础上。当前的方法有几个未解决的问题，将在拟议的研究中解决。这项工作的一个主要重点是识别和利用与系统组件的多层交互。建模框架和我们当前的分析方法非常适合此类交互组件的模型，但必须对其进行扩展，以便紧凑地表示具有大状态空间的组件。第二个问题涉及系统的定时动态。一些活动可能对时间要求严格，例如在一定时间内或在收到感测后立即关闭执行器。综合控制软件应考虑此类时间问题，并应确保各种潜在并发活动之间的适当优先级。最后，我们建议扩展我们当前的软件工具，使其成为其他研究人员和教育工作者的资源。这将允许其他人使用我们的图形系统编辑器、代码合成工具和硬件接口技术来测试、开发和评估其他技术。自动控制综合和诊断综合技术将使用制造和嵌入式控制应用程序进行演示。