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.

借助复杂的系统，整体模型变得不切实际，并且必须通过子系统和组件对它们进行建模。除非可以系统地利用子系统和组件的结构，否则对此类系统的控制控制也变得复杂。在此提案中，我们考虑了使用离散状态模型组件的结构的方法，可以控制控制逻辑和诊断信息。这些方法是自动化的，可以生成可以分析的正式控制逻辑模型，可以执行控制软件的控制软件，并生成可以提供故障诊断的诊断模型。这种自动化方法将缩短控制器的开发时间，与手动开发的控制器相比，可以提高可靠性，并且随着基础系统设计的修改，将在美丽的重新配置中进行重新配置。在这项研究中，我们建议通过基于我们先前的研究来开发此类工具和技术。 INOUR先前的研究，为制造制造系统的共同组件开发了技术；组装这样的组件以表示自定义系统设计；综合控制逻辑称为“ taskBlocks”，用于控制Thosecomponents；并将这些TaskBlocks顺序和分层组合在一起，以达到给定规范。为组件模型和规格的图形文化开发了软件工具，并自动将合成的控制逻辑转换为C ++代码。然后自动合成软件“主管”，然后协调多个并发控制活动，并在不希望的状态周围转向该系统。我们认为的模型是一种离散事件系统的一种形式，综合技术以离散事件控制方法为基础。在拟议的研究中将解决这种当前方法的几个未解决的问题。这项工作的一个主要重点是识别和利用与系统组成部分的多层相互作用。建模框架工作和我们当前的分析方法非常适合此类相互作用组件的模型，但是必须扩展它们以将组件与大状态空间保持紧凑。第二个问题涉及系统的定时动态。某些活动可能是至关重要的，例如在某些时间内关闭执行器或收到传感后立即关闭执行器。合成的ControlSoftware应考虑此类时间问题，并应确保适当的优先考虑各种潜在的并发活动。最后，我们建议扩展我们的Currentsoftware工具，以成为其他研究人员和教育者的资源。这将使其他人使用我们的图形系统编号，我们的代码合成工具和我们的硬件接口技术来测试，开发和评估其他技术。使用Bothanduffing和Embedded Control应用程序将证明自动综合合成和诊断合成技术。