首页 > 最新文献

IEEE International Conference on Automation Science and Engineering, 2005.最新文献

英文 中文
Cooperation in a multi-stage game for modeling distributed task delegation in a supply chain procurement problem 供应链采购问题中分布式任务授权建模的多阶段博弈合作
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506751
Kaizhi Tang, S. Kumara
We develop an evolutionary method that combines reinforcement learning and fictitious playing to seek equilibrium solution for a multi-agent and multi-stage game in the context of supply chain procurement. The game is designed to model task delegation among a group of self-interested transportation companies which serve logistic shipment. The game involves more than two agents and multiple stages of matrix games. The integration of reinforcement learning and fictitious play overcomes the weaknesses of each approach and exploits their strengths. This innovative approach performs extraordinarily well on a game with three players, unknown number of stages, and large gaps of payoff values.
本文提出了一种结合强化学习和虚拟博弈的进化方法来寻求供应链采购环境下多智能体多阶段博弈的均衡解。该博弈被设计成在一组服务物流运输的自利运输公司之间建立任务委派模型。该博弈涉及两个以上的代理和多个阶段的矩阵博弈。强化学习和虚拟游戏的整合克服了每种方法的弱点,并利用了它们的优势。这种创新方法在只有3名玩家、未知阶段数量和巨大收益差距的游戏中表现得非常出色。
{"title":"Cooperation in a multi-stage game for modeling distributed task delegation in a supply chain procurement problem","authors":"Kaizhi Tang, S. Kumara","doi":"10.1109/COASE.2005.1506751","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506751","url":null,"abstract":"We develop an evolutionary method that combines reinforcement learning and fictitious playing to seek equilibrium solution for a multi-agent and multi-stage game in the context of supply chain procurement. The game is designed to model task delegation among a group of self-interested transportation companies which serve logistic shipment. The game involves more than two agents and multiple stages of matrix games. The integration of reinforcement learning and fictitious play overcomes the weaknesses of each approach and exploits their strengths. This innovative approach performs extraordinarily well on a game with three players, unknown number of stages, and large gaps of payoff values.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129098483","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Design for product-embedded disassembly pathways 产品嵌入式拆卸路径的设计
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506741
S. Takeuchi, K. Saitou
This paper presents a computational method for designing an assembly with multiple built-in disassembly pathways, each of which can be activated to retrieve certain components. It is motivated by the global sales of consumer products whose optimal end-of-life options vary geographically due to local recycling/reuse infrastructures and regulatory requirements. Given the sets of components to be retrieved at each location, the method simultaneously determines the spatial configurations of components and locator features, such that each set of desired components is retrieved via a domino-like "self-disassembly" process triggered by the removal of a fastener. A multi-objective generic algorithm is utilized to search for Pareto-optimal designs in terms of the realization of the desired disassembly pathways, the satisfaction of distance specifications among components, the minimization of disassembly cost at each location, and the efficient use of on-component locator features. A case study demonstrates the feasibility of the method.
本文提出了一种设计具有多个内置拆卸路径的装配体的计算方法,其中每个拆卸路径都可以被激活以检索某些部件。它的动机是消费品的全球销售,由于当地的回收/再利用基础设施和监管要求,这些产品的最佳报废选择在地理上有所不同。给定要在每个位置检索的组件集,该方法同时确定组件的空间配置和定位器特征,以便通过拆除紧固件触发的多米诺骨牌式“自拆卸”过程检索所需的每组组件。采用多目标泛型算法,从实现所需拆卸路径、满足部件间距离规范、各位置拆卸成本最小以及部件定位器特征的有效利用等方面寻求pareto最优设计。实例分析验证了该方法的可行性。
{"title":"Design for product-embedded disassembly pathways","authors":"S. Takeuchi, K. Saitou","doi":"10.1109/COASE.2005.1506741","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506741","url":null,"abstract":"This paper presents a computational method for designing an assembly with multiple built-in disassembly pathways, each of which can be activated to retrieve certain components. It is motivated by the global sales of consumer products whose optimal end-of-life options vary geographically due to local recycling/reuse infrastructures and regulatory requirements. Given the sets of components to be retrieved at each location, the method simultaneously determines the spatial configurations of components and locator features, such that each set of desired components is retrieved via a domino-like \"self-disassembly\" process triggered by the removal of a fastener. A multi-objective generic algorithm is utilized to search for Pareto-optimal designs in terms of the realization of the desired disassembly pathways, the satisfaction of distance specifications among components, the minimization of disassembly cost at each location, and the efficient use of on-component locator features. A case study demonstrates the feasibility of the method.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114891174","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Design and implementation of an intelligent prognostics system 智能预测系统的设计与实现
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506781
Y. Su, F. Cheng, Min-Hsiung Hung, Yen-Chang Lin, Rung-Chuan Lin
This work proposes an intelligent prognostics system (IPS) for semiconductor and TFT-LCD manufacturing. The IPS comprises several generic embedded devices (GEDs) and a remote host. The GED can be easily embedded into various types of equipment to acquire equipment-engineering data and meet the specification requirements of interface A for supporting semiconductor industry e-diagnostics. Furthermore, the GED has an open-standard application interface offering any pluggable and customized intelligent-maintenance applications. With this feature, intelligent-maintenance tasks can be distributed and localized releasing the factory network burden and enhancing equipment reliability and maintainability. This work also develops two typical pluggable applications: the predictive maintenance scheme (PMS) for equipment fault detection, and the quality prognostics scheme (QPS) for virtual metrology and product quality prediction. Integrating the PMS into the IPS and the QPS into the IPS are respectively accomplished using the conveyor equipment and the sputtering equipment of a TFT-LCD factory. These two illustrative examples clearly demonstrate that IPS is versatile, configurable, and effective.
本工作提出了一种半导体和TFT-LCD制造的智能预测系统(IPS)。IPS由多个通用嵌入式设备(ged)和一台远程主机组成。GED可以很容易地嵌入到各种类型的设备中,以获取设备工程数据,并满足接口A的规格要求,以支持半导体工业电子诊断。此外,GED有一个开放标准的应用程序接口,提供任何可插拔和定制的智能维护应用程序。通过该特性,可以实现智能维护任务的分布式和本地化,减轻工厂网络负担,提高设备的可靠性和可维护性。本工作还开发了两个典型的可插拔应用:用于设备故障检测的预测性维护方案(PMS)和用于虚拟计量和产品质量预测的质量预测方案(QPS)。利用TFT-LCD工厂的输送设备和溅射设备分别完成了PMS与IPS和QPS的集成。这两个示例清楚地说明了IPS是通用的、可配置的和有效的。
{"title":"Design and implementation of an intelligent prognostics system","authors":"Y. Su, F. Cheng, Min-Hsiung Hung, Yen-Chang Lin, Rung-Chuan Lin","doi":"10.1109/COASE.2005.1506781","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506781","url":null,"abstract":"This work proposes an intelligent prognostics system (IPS) for semiconductor and TFT-LCD manufacturing. The IPS comprises several generic embedded devices (GEDs) and a remote host. The GED can be easily embedded into various types of equipment to acquire equipment-engineering data and meet the specification requirements of interface A for supporting semiconductor industry e-diagnostics. Furthermore, the GED has an open-standard application interface offering any pluggable and customized intelligent-maintenance applications. With this feature, intelligent-maintenance tasks can be distributed and localized releasing the factory network burden and enhancing equipment reliability and maintainability. This work also develops two typical pluggable applications: the predictive maintenance scheme (PMS) for equipment fault detection, and the quality prognostics scheme (QPS) for virtual metrology and product quality prediction. Integrating the PMS into the IPS and the QPS into the IPS are respectively accomplished using the conveyor equipment and the sputtering equipment of a TFT-LCD factory. These two illustrative examples clearly demonstrate that IPS is versatile, configurable, and effective.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132316447","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Predicting price-tag for customized goods 预测定制商品的价格标签
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506758
Sandeep Dulluri, P. Shrinivas, N. Raghavan
We discuss a dynamic pricing model which aids automobile manufacturer in choosing the right price for customer segment. Though there is oligopoly market structure, the customers get "locked" into a particular technology/company which virtually makes the situation akin to a monopoly. There are associated network externalities and positive feedback. The key idea in monopoly pricing lies in extracting the customer surplus by exploiting the respective elasticities of demand. We present a Walrasian general equilibrium approach to determine the segment price. We compare the prices obtained from optimization model with that from Walrasian dynamics. The results are encouraging and can serve as a critical factor in customer relationship management (CRM) and thereby effectively manage the lock-in.
本文讨论了一个动态定价模型,该模型可以帮助汽车制造商根据不同的客户群体选择合适的价格。虽然存在寡头垄断的市场结构,但客户被“锁定”在特定的技术/公司中,这实际上使情况类似于垄断。存在相关的网络外部性和正反馈。垄断定价的核心思想在于利用各自的需求弹性来提取顾客剩余。我们提出了一种确定分段价格的瓦尔拉斯一般均衡方法。我们将优化模型得到的价格与瓦尔拉斯动力学得到的价格进行了比较。结果令人鼓舞,可以作为客户关系管理(CRM)的关键因素,从而有效地管理锁定。
{"title":"Predicting price-tag for customized goods","authors":"Sandeep Dulluri, P. Shrinivas, N. Raghavan","doi":"10.1109/COASE.2005.1506758","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506758","url":null,"abstract":"We discuss a dynamic pricing model which aids automobile manufacturer in choosing the right price for customer segment. Though there is oligopoly market structure, the customers get \"locked\" into a particular technology/company which virtually makes the situation akin to a monopoly. There are associated network externalities and positive feedback. The key idea in monopoly pricing lies in extracting the customer surplus by exploiting the respective elasticities of demand. We present a Walrasian general equilibrium approach to determine the segment price. We compare the prices obtained from optimization model with that from Walrasian dynamics. The results are encouraging and can serve as a critical factor in customer relationship management (CRM) and thereby effectively manage the lock-in.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132703467","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Engineering-chain requirements for semiconductor industry 半导体工业的工程链要求
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506799
J. Chang, F. Cheng
The successful rate of microelectronic device's first design declines year by year. The first design failure results in increasing the design cost because of adding the possible expenses of the subsequent design revisions. Also, the shorter life cycle due to late start of mass-production may incur lower revenue of device selling. Therefore, the requirement for an efficient and effective microelectronic device's design cycle is needed. Different from IDM (integrated design and manufacturing), current semiconductor industry has a new business model. Device designer, which does not have any of the following resources: IP/library, mask operation, foundry FAB, IC assembly house and IC test house, but they still can design and manufacture a device by communicating with the global-community resources. Actually, more than 30% of semiconductor revenue is from fabless design houses, foundry service providers and professional assembly/test houses. The microelectronic device's design cycle needs tremendous amount of engineering data exchange in this collaboration. The microelectronic device design cycle with engineering collaboration is defined as "engineering chain". A well-defined requirement of this engineering-chain operation for improving the successful rate of microelectronic device's design, reducing design cost and increasing revenue is therefore essential. Also, this requirement becomes the foundations for an engineering chain management system to provide a common platform to integrate heterogeneous processes as a unified operation.
微电子器件首次设计的成功率逐年下降。第一次设计失败导致设计成本增加,因为增加了后续设计修改的可能费用。此外,由于批量生产开始较晚,生命周期较短,可能导致设备销售收入下降。因此,需要一个高效、有效的微电子器件设计周期。与IDM (integrated design and manufacturing,集成设计与制造)不同,当前的半导体行业拥有一种全新的商业模式。器件设计者,他们没有IP/库、掩码操作、代工FAB、IC组装厂和IC测试厂等资源,但他们仍然可以通过与全球社区的资源交流来设计和制造器件。事实上,超过30%的半导体收入来自无晶圆厂设计公司、代工服务提供商和专业组装/测试公司。在这种合作中,微电子设备的设计周期需要大量的工程数据交换。将具有工程协同的微电子器件设计周期定义为“工程链”。为提高微电子器件的设计成功率,降低设计成本,增加收益,必须明确这种工程链操作的要求。同时,这一需求成为工程链管理系统的基础,该系统提供了一个公共平台,将异构过程集成为一个统一的操作。
{"title":"Engineering-chain requirements for semiconductor industry","authors":"J. Chang, F. Cheng","doi":"10.1109/COASE.2005.1506799","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506799","url":null,"abstract":"The successful rate of microelectronic device's first design declines year by year. The first design failure results in increasing the design cost because of adding the possible expenses of the subsequent design revisions. Also, the shorter life cycle due to late start of mass-production may incur lower revenue of device selling. Therefore, the requirement for an efficient and effective microelectronic device's design cycle is needed. Different from IDM (integrated design and manufacturing), current semiconductor industry has a new business model. Device designer, which does not have any of the following resources: IP/library, mask operation, foundry FAB, IC assembly house and IC test house, but they still can design and manufacture a device by communicating with the global-community resources. Actually, more than 30% of semiconductor revenue is from fabless design houses, foundry service providers and professional assembly/test houses. The microelectronic device's design cycle needs tremendous amount of engineering data exchange in this collaboration. The microelectronic device design cycle with engineering collaboration is defined as \"engineering chain\". A well-defined requirement of this engineering-chain operation for improving the successful rate of microelectronic device's design, reducing design cost and increasing revenue is therefore essential. Also, this requirement becomes the foundations for an engineering chain management system to provide a common platform to integrate heterogeneous processes as a unified operation.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"171 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134142806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Automating inspection and documentation of remote building construction using a robotic camera 自动化检查和文件的远程建筑施工使用机器人摄像机
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506764
Dezhen Song, Qiang Hu, Ni Qin, Ken Goldberg
When constructing buildings, frequent inspection and detailed visual documentation are important but may not be feasible in remote or dangerous environments. We describe a networked robotic camera system that can automatically monitor construction details and allow remote human experts to zoom in on features as construction proceeds to archive the construction process over time, thereby reducing travel cost and human risk. We describe system architecture, interface design, data structures, and algorithms for such systems. We also report initial experimental results from cameras at two outdoor construction sites.
在建造建筑物时,经常检查和详细的可视化文件很重要,但在偏远或危险的环境中可能不可行。我们描述了一个网络机器人摄像机系统,它可以自动监控施工细节,并允许远程人类专家在施工过程中放大特征,随着时间的推移存档施工过程,从而降低旅行成本和人为风险。我们描述了这种系统的系统架构、接口设计、数据结构和算法。我们还报告了在两个室外建筑工地的摄像机的初步实验结果。
{"title":"Automating inspection and documentation of remote building construction using a robotic camera","authors":"Dezhen Song, Qiang Hu, Ni Qin, Ken Goldberg","doi":"10.1109/COASE.2005.1506764","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506764","url":null,"abstract":"When constructing buildings, frequent inspection and detailed visual documentation are important but may not be feasible in remote or dangerous environments. We describe a networked robotic camera system that can automatically monitor construction details and allow remote human experts to zoom in on features as construction proceeds to archive the construction process over time, thereby reducing travel cost and human risk. We describe system architecture, interface design, data structures, and algorithms for such systems. We also report initial experimental results from cameras at two outdoor construction sites.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134607409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
An adaptive fixture design system for integrated product and process design 一种集成产品与工艺设计的自适应夹具设计系统
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506750
F. Mervyn, A. Kumar, A. Nee
Integrated product and process design involves a dynamic environment where various design changes are made when the requirements of the different domains are not sufficiently met. To deal with such a dynamic environment, this paper presents the development of an adaptive future design system based on an evolutionary search algorithm. The system senses a change made to the workpiece model and automatically deals with the change. Conducted experiments reveal that the evolutionary search algorithm is efficient and effective in dealing with design changes adaptively.
集成的产品和过程设计涉及一个动态环境,当不同领域的需求没有得到充分满足时,就会进行各种设计更改。为了应对这种动态环境,本文提出了一种基于进化搜索算法的自适应未来设计系统。系统感知工件模型的变化,并自动处理变化。实验结果表明,该进化搜索算法能够有效地自适应处理设计变化。
{"title":"An adaptive fixture design system for integrated product and process design","authors":"F. Mervyn, A. Kumar, A. Nee","doi":"10.1109/COASE.2005.1506750","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506750","url":null,"abstract":"Integrated product and process design involves a dynamic environment where various design changes are made when the requirements of the different domains are not sufficiently met. To deal with such a dynamic environment, this paper presents the development of an adaptive future design system based on an evolutionary search algorithm. The system senses a change made to the workpiece model and automatically deals with the change. Conducted experiments reveal that the evolutionary search algorithm is efficient and effective in dealing with design changes adaptively.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129441989","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
An incremental Petri net approach to production sequence modeling 生产序列建模的增量Petri网方法
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506791
A. Castelnuovo, L. Ferrarini, L. Piroddi
In logic control design, production sequences are typically expressed as a series of informal specifications to be translated into a formal model. The present paper introduces a novel Petri net based methodology conceived as an incremental process, which progressively adds sub-nets to a partial model until all specifications have been included. A formal verification of the model is performed at every stage, so that specifications which are incongruent with the current model and can jeopardize its correctness can be detected and rejected or modified. No modeling constraints are imposed to the design process, as is the case with classical methodologies, which are generally not well suited to represent behaviors characterized by complex alternative-parallel relationships between operations. An algorithm is provided for the automatic synthesis of complex connection structures in the model, allowing for greater flexibility and complexity in the design process.
在逻辑控制设计中,生产序列通常表示为一系列非正式的规范,并将其转换为正式的模型。本文介绍了一种新的基于Petri网的方法,该方法被认为是一个增量过程,它逐步将子网添加到部分模型中,直到包括所有规范。在每个阶段都要对模型进行正式的验证,以便能够检测到与当前模型不一致并可能危及其正确性的规范,并拒绝或修改。没有对设计过程施加建模约束,就像经典方法的情况一样,这些方法通常不太适合表示以操作之间复杂的可选并行关系为特征的行为。为模型中复杂连接结构的自动合成提供了一种算法,使设计过程具有更大的灵活性和复杂性。
{"title":"An incremental Petri net approach to production sequence modeling","authors":"A. Castelnuovo, L. Ferrarini, L. Piroddi","doi":"10.1109/COASE.2005.1506791","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506791","url":null,"abstract":"In logic control design, production sequences are typically expressed as a series of informal specifications to be translated into a formal model. The present paper introduces a novel Petri net based methodology conceived as an incremental process, which progressively adds sub-nets to a partial model until all specifications have been included. A formal verification of the model is performed at every stage, so that specifications which are incongruent with the current model and can jeopardize its correctness can be detected and rejected or modified. No modeling constraints are imposed to the design process, as is the case with classical methodologies, which are generally not well suited to represent behaviors characterized by complex alternative-parallel relationships between operations. An algorithm is provided for the automatic synthesis of complex connection structures in the model, allowing for greater flexibility and complexity in the design process.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123095528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Embedded supervisory control of discrete-event systems 离散事件系统的嵌入式监控
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506804
Yue Yang, P. Gohari
In this paper we propose to implement supervisory control by extending the plant finite state machine (FSM). Plant and supervisor are modeled by regular FSM. Supervisory control is introduced by extending the plant with Boolean variables, guard formulas and updating functions. Boolean variables are used to encode the supervisor's states. Event observation is captured by a set of Boolean functions that update the value of Boolean variables and are triggered by the occurrence of events. Finally, control is introduced by guarding events with Boolean formulas. The resulting extended finite state machine (EFSM) implements the supervisory control map in the sense that the languages closed and marked by the EFSM are equal to those of the supervised system. An application of our approach in the synthesis of communication protocols is presented.
本文提出通过扩展植物有限状态机(FSM)来实现监控。用正则FSM对工厂和监工进行建模。通过布尔变量、保护公式和更新函数对对象进行扩展,引入了监视控制。布尔变量用于对管理器的状态进行编码。事件观察由一组布尔函数捕获,这些函数更新布尔变量的值,并由事件发生触发。最后,通过布尔公式保护事件引入控制。由此得到的扩展有限状态机(EFSM)实现了监督控制映射,即EFSM封闭和标记的语言与被监督系统的语言相等。给出了该方法在通信协议综合中的一个应用。
{"title":"Embedded supervisory control of discrete-event systems","authors":"Yue Yang, P. Gohari","doi":"10.1109/COASE.2005.1506804","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506804","url":null,"abstract":"In this paper we propose to implement supervisory control by extending the plant finite state machine (FSM). Plant and supervisor are modeled by regular FSM. Supervisory control is introduced by extending the plant with Boolean variables, guard formulas and updating functions. Boolean variables are used to encode the supervisor's states. Event observation is captured by a set of Boolean functions that update the value of Boolean variables and are triggered by the occurrence of events. Finally, control is introduced by guarding events with Boolean formulas. The resulting extended finite state machine (EFSM) implements the supervisory control map in the sense that the languages closed and marked by the EFSM are equal to those of the supervised system. An application of our approach in the synthesis of communication protocols is presented.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130669872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 35
On the development of a real time control system by using xPC Target: solution to robotic system control 基于xPC的实时控制系统的开发:机器人系统控制的解决方案
Pub Date : 2005-09-12 DOI: 10.1109/COASE.2005.1506793
H. Low, Heng Wang, M. Wang
Constructing a robotic control system usually needs much effort. Furthermore, the real time operating environment is required for a teleoperation/telemanipulation system. Work in this paper aims at developing a real time control system using xPC Target for robotic system control. By utilizing the software package MATLAB, Simulink, Real Time Workshop, xPC Target and a C/C++ compiler, the I/O boards are interfaced between the Simulink block and the robotic system such that the physical system is controlled successfully in the manner of hardware-in-the-loop simulation. The presented developing procedure shows a convenient way to implement a real time robotic control system, which does not require any low level language programming. Three case studies, which are single DC motor control, robotic hand control, and telemanipulation system control, are performed to demonstrate the advantages and easiness of developing robotic control system using xPC Target.
构建机器人控制系统通常需要付出很大的努力。此外,远程操作系统还需要实时的操作环境。本文的工作旨在开发一个基于xPC Target的机器人系统实时控制系统。利用MATLAB、Simulink、Real Time Workshop、xPC Target和C/ c++编译器,在Simulink模块和机器人系统之间建立I/O板接口,以硬件在环仿真的方式成功地控制了物理系统。所提出的开发程序为实现实时机器人控制系统提供了一种方便的方法,不需要任何低级语言编程。通过对单直流电机控制、机械手控制和远程操作系统控制的实例分析,说明了利用xPC Target开发机器人控制系统的优越性和便捷性。
{"title":"On the development of a real time control system by using xPC Target: solution to robotic system control","authors":"H. Low, Heng Wang, M. Wang","doi":"10.1109/COASE.2005.1506793","DOIUrl":"https://doi.org/10.1109/COASE.2005.1506793","url":null,"abstract":"Constructing a robotic control system usually needs much effort. Furthermore, the real time operating environment is required for a teleoperation/telemanipulation system. Work in this paper aims at developing a real time control system using xPC Target for robotic system control. By utilizing the software package MATLAB, Simulink, Real Time Workshop, xPC Target and a C/C++ compiler, the I/O boards are interfaced between the Simulink block and the robotic system such that the physical system is controlled successfully in the manner of hardware-in-the-loop simulation. The presented developing procedure shows a convenient way to implement a real time robotic control system, which does not require any low level language programming. Three case studies, which are single DC motor control, robotic hand control, and telemanipulation system control, are performed to demonstrate the advantages and easiness of developing robotic control system using xPC Target.","PeriodicalId":181408,"journal":{"name":"IEEE International Conference on Automation Science and Engineering, 2005.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127001300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 33
期刊
IEEE International Conference on Automation Science and Engineering, 2005.
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1