• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual Allerton Conference on Communication, Control, and Computing; 20040929-1001; Monticello,IL(US) >An Optimization Tool for Designing Objective-Driven, Model-Based Diagnosis/Supervision of Discrete Event Systems
【24h】

An Optimization Tool for Designing Objective-Driven, Model-Based Diagnosis/Supervision of Discrete Event Systems

机译：用于设计目标驱动的基于模型的离散事件系统诊断/监督的优化工具

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A prototype optimization tool named OPTION (Optimization Tool for the Instrumentation of Observation Networks) has been developed at Argonne National Laboratory for designing objective-driven, model-based diagnosis/supervision of discrete event systems. This tool has been used, for example, for verifying, analyzing, and optimizing networked sensor configurations consisting of distributed observation devices rigorously designed to assure the detection of specified events. The salient features of this development framework are: ⅰ ) model-based, object-driven systematic approach, and ⅱ) amenable to rigorous analysis and optimization. The core of the tool consists of: ⅰ) rigorous verification of observability properties such as supervisory observability, detectability, and diagnosability; ⅱ) objective-driven optimization of sensor configurations; and ⅲ) implementation of monitoring systems that guarantee specified performance/objective and meet observational constraints. With OPTION, mathematical models of the monitored system are created characterizing possible behaviors, property requirements, and the available set of sensor types with their associated information costs. Cost, objective-driven functional for optimization may strive to reduce the number of sensors required or to avoid using given sensor types, for example. The property requirement may specify controllability goals or detectability needs regarding a given set of special events, for example. This user selectable parameters are then used by OPTION to assess proposed sensor configurations or/and to identify/compute optimal sensor configurations. The analysis task is to determine whether identified observation configurations are capable of meeting the given property requirements. After an optimal sensor configuration is suggested by OPTION and accepted by the user, the tool automatically generates the software code that is to be used for automatically integrating and analyzing sensor measurements. The theoretical and practical basis of this technology are discussed and illustrated with examples.
机译：阿贡国家实验室已开发出名为OPTION（观测网络仪器的优化工具）的原型优化工具，用于设计目标驱动的基于模型的离散事件系统的诊断/监督。例如，此工具已用于验证，分析和优化由分布式观测设备组成的联网传感器配置，这些观测设备经过严格设计以确保检测到特定事件。此开发框架的显着特征是：））基于模型的，对象驱动的系统方法，以及ⅱ）可进行严格的分析和优化。该工具的核心包括：ⅰ）严格验证可观察性属性，例如监督性可观察性，可检测性和可诊断性； objective）目标驱动的传感器配置优化； ⅲ）实施监测系统，以确保达到规定的性能/目标并满足观察条件。使用OPTION，可以创建监视系统的数学模型，以表征可能的行为，属性要求以及可用的一组传感器类型及其相关的信息成本。例如，成本，目标驱动的优化功能可能会努力减少所需的传感器数量，或避免使用给定的传感器类型。例如，属性要求可以指定关于给定的一组特殊事件的可控性目标或可检测性需求。然后，OPTION使用此用户可选参数来评估建议的传感器配置或/和识别/计算最佳传感器配置。分析任务是确定所标识的观察配置是否能够满足给定的属性要求。在OPTION建议并由用户接受最佳传感器配置后，该工具会自动生成用于自动集成和分析传感器测量值的软件代码。通过实例讨论和说明了该技术的理论和实践基础。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号