首页 > 最新文献

Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.最新文献

英文 中文
On supervisor synthesis of discrete event systems 离散事件系统的监督综合
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461276
Mi Zhao, Zhiwu Li, Jingwei Liang
In this paper we propose a deadlock control policy for a class of nets, called G-system with limited shared resources, which is a large class of discrete event systems generalizing well-known models presented in the literature. A relevant property of the system behavior is to be non-blocking, i.e., from any reachable state, a desirable state can be always obtained under supervision. The analysis of the system leads us to characterize deadlock situations in terms of an unmarked siphon based on the Petri nets model. Our deadlock prevention policy is to make all unmarked siphons satisfying cs-property when all elementary siphons are properly supervised. Compared with the existing policies, the advantage of the policy is that a much smaller number of supervisor places are added and unnecessary iterative processes are avoided. Finally, the application of the approach is illustrated with a realistic G-system example.
本文针对一类具有有限共享资源的网络g系统,提出了一种死锁控制策略。g系统是一类大型离散事件系统,推广了文献中已知的模型。系统行为的一个相关属性是非阻塞性,即从任何可达状态,总能在监督下获得理想状态。对系统的分析使我们能够根据Petri网模型描述无标记虹吸管的死锁情况。我们的死锁预防策略是在所有基本虹吸管都受到适当监督的情况下,使所有未标记的虹吸管都满足cs-属性。与现有政策相比,该政策的优点是增加的监管名额少得多,避免了不必要的迭代过程。最后,通过一个实际的g系算例说明了该方法的应用。
{"title":"On supervisor synthesis of discrete event systems","authors":"Mi Zhao, Zhiwu Li, Jingwei Liang","doi":"10.1109/ICNSC.2005.1461276","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461276","url":null,"abstract":"In this paper we propose a deadlock control policy for a class of nets, called G-system with limited shared resources, which is a large class of discrete event systems generalizing well-known models presented in the literature. A relevant property of the system behavior is to be non-blocking, i.e., from any reachable state, a desirable state can be always obtained under supervision. The analysis of the system leads us to characterize deadlock situations in terms of an unmarked siphon based on the Petri nets model. Our deadlock prevention policy is to make all unmarked siphons satisfying cs-property when all elementary siphons are properly supervised. Compared with the existing policies, the advantage of the policy is that a much smaller number of supervisor places are added and unnecessary iterative processes are avoided. Finally, the application of the approach is illustrated with a realistic G-system example.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134276966","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
Identification of self-tuning fuzzy PI type controllers with reduced rule set 基于简化规则集的自整定模糊PI型控制器辨识
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461247
S. Chopra, R. Mitra, V. Kumar
A common way of developing fuzzy controllers is by determining the rule base and some appropriate fuzzy sets over the controller's input and output ranges. A simple and efficient approach, namely, fuzzy subtractive clustering is used to identify the rule base needed to realize a self-tuning fuzzy PI-type controller. This technique provides a mechanism to obtain the reduced rule set covering, the whole input/output space as well as membership functions for each input variable. In this paper, the fuzzy subtractive clustering approach is shown to reduce 49 rules to 5 rules maintaining almost the same level of performance. Simulation on a wide range of linear and nonlinear processes is carried out and results are compared with self-tuning fuzzy PI type controllers without clustering in terms of several performance measures such as peak overshoot, settling time, rise time, integral absolute error (IAE) and integral-of-time multiplied absolute error (ITAE). In addition the responses due to step set-point change and load disturbance are studied and in each case the proposed scheme shows an identical performance with less number of rules.
开发模糊控制器的一种常用方法是在控制器的输入和输出范围内确定规则库和适当的模糊集。采用一种简单有效的方法,即模糊减法聚类来识别实现自整定模糊pi型控制器所需的规则库。该技术提供了一种机制来获得覆盖整个输入/输出空间的简化规则集以及每个输入变量的隶属函数。本文提出了模糊减法聚类方法,将49条规则减少到5条规则,并保持了几乎相同的性能水平。对各种线性和非线性过程进行了仿真,并在峰值超调、稳定时间、上升时间、积分绝对误差(IAE)和积分时间乘绝对误差(ITAE)等性能指标上与无聚类的自整定模糊PI型控制器进行了比较。此外,还研究了阶跃设定值变化和负载扰动的响应,在每种情况下,所提出的方案都具有较少规则数的相同性能。
{"title":"Identification of self-tuning fuzzy PI type controllers with reduced rule set","authors":"S. Chopra, R. Mitra, V. Kumar","doi":"10.1109/ICNSC.2005.1461247","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461247","url":null,"abstract":"A common way of developing fuzzy controllers is by determining the rule base and some appropriate fuzzy sets over the controller's input and output ranges. A simple and efficient approach, namely, fuzzy subtractive clustering is used to identify the rule base needed to realize a self-tuning fuzzy PI-type controller. This technique provides a mechanism to obtain the reduced rule set covering, the whole input/output space as well as membership functions for each input variable. In this paper, the fuzzy subtractive clustering approach is shown to reduce 49 rules to 5 rules maintaining almost the same level of performance. Simulation on a wide range of linear and nonlinear processes is carried out and results are compared with self-tuning fuzzy PI type controllers without clustering in terms of several performance measures such as peak overshoot, settling time, rise time, integral absolute error (IAE) and integral-of-time multiplied absolute error (ITAE). In addition the responses due to step set-point change and load disturbance are studied and in each case the proposed scheme shows an identical performance with less number of rules.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131999395","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}
引用次数: 17
Initial attitude acquisition result of the Alsat-1 first Algerian microsatellite in orbit 阿尔及利亚第一颗在轨微型卫星Alsat-1的初始姿态获取结果
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461252
A. Mohammed, M. Benyettou, M. Sweeting, J. Cooksley
On the November 28th, 2002 at 06:07 am GMT, the first Algerian microsatellite AIsat-1 was launched from the cosmodrome of Plesetsk in Russia into a 700 km sun synchronous orbit. Alsat-1 is an enhanced microsatellite (90 Kg), stabilised in 3 axis for image acquisition mode. It was designed for disaster monitoring and is a part of the international constellation dedicated for disaster monitoring (DMC). Immediately after separation from the final stage of the launcher, Alsat-1 can be tumbling at an undefined angular rate. The only attitude sensors useful at this stage will be the 3-axis magnetometer. Called B-dot rate damping, this controller requiring only a Y-axis magnetic moment and it will reduce the X and Z-axis angular rates and align the microsatellite to the orbit normal. The next step will be simultaneously control the V-axis rate named Y-THOMPSON spin to a fixed reference value. The orbit reference Y-axis angular rate can be estimated from a pitch filter or Kalman rate filter. The pitch filter can be implemented once the satellite is in pure Y-THOMPSON spin. This filter will determine the pitch angle and rate using the magnetometer measurements and the modelled International Geomagnetic Reference Field vector. Finally when the pitch angle is 10 from nadir, we deploy the boom. The paper presented here is a part of my Phd thesis which describes the attitude determination control system algorithms implemented in the initial attitude acquisition phase on Alsat-1. This phase will complete the detumbling maneuvers. The only attitude determination sensor required, is a magnetometer and the actuator required is a magnetorquer coil. The specific attitude controllers and estimators used during these modes are explained. In orbit commissioning results are presented.
在2002年11月28日格林尼治时间上午06:07,第一颗阿尔及利亚微型卫星AIsat-1从俄罗斯普列谢茨克航天发射场发射到700公里太阳同步轨道。Alsat-1是一颗增强型微型卫星(90公斤),在3轴上稳定用于图像采集模式。它是为灾害监测而设计的,是专门用于灾害监测(DMC)的国际星座的一部分。在与发射器的最后一级分离后,Alsat-1可以以未定义的角速率翻滚。在这个阶段唯一有用的姿态传感器将是3轴磁强计。这种控制器被称为b点速率阻尼,它只需要一个y轴磁矩,它将降低X和z轴的角速率,并使微卫星与轨道法线对齐。下一步将同时控制名为Y-THOMPSON自旋的v轴速率到一个固定的参考值。轨道参考y轴角速率可以通过俯仰滤波器或卡尔曼速率滤波器估计。一旦卫星处于纯y -汤普森自旋状态,就可以实现基音滤波器。该滤波器将使用磁力计测量和模拟的国际地磁场参考矢量来确定俯仰角和速率。最后,当俯仰角距最低点为10时,我们展开吊臂。本文是我博士论文的一部分,描述了在Alsat-1初始姿态获取阶段实现的姿态确定控制系统算法。这一阶段将完成坠落演习。唯一需要的姿态确定传感器是一个磁力计,执行器需要一个磁振器线圈。说明了在这些模式中使用的具体姿态控制器和估计器。给出了在轨调试结果。
{"title":"Initial attitude acquisition result of the Alsat-1 first Algerian microsatellite in orbit","authors":"A. Mohammed, M. Benyettou, M. Sweeting, J. Cooksley","doi":"10.1109/ICNSC.2005.1461252","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461252","url":null,"abstract":"On the November 28th, 2002 at 06:07 am GMT, the first Algerian microsatellite AIsat-1 was launched from the cosmodrome of Plesetsk in Russia into a 700 km sun synchronous orbit. Alsat-1 is an enhanced microsatellite (90 Kg), stabilised in 3 axis for image acquisition mode. It was designed for disaster monitoring and is a part of the international constellation dedicated for disaster monitoring (DMC). Immediately after separation from the final stage of the launcher, Alsat-1 can be tumbling at an undefined angular rate. The only attitude sensors useful at this stage will be the 3-axis magnetometer. Called B-dot rate damping, this controller requiring only a Y-axis magnetic moment and it will reduce the X and Z-axis angular rates and align the microsatellite to the orbit normal. The next step will be simultaneously control the V-axis rate named Y-THOMPSON spin to a fixed reference value. The orbit reference Y-axis angular rate can be estimated from a pitch filter or Kalman rate filter. The pitch filter can be implemented once the satellite is in pure Y-THOMPSON spin. This filter will determine the pitch angle and rate using the magnetometer measurements and the modelled International Geomagnetic Reference Field vector. Finally when the pitch angle is 10 from nadir, we deploy the boom. The paper presented here is a part of my Phd thesis which describes the attitude determination control system algorithms implemented in the initial attitude acquisition phase on Alsat-1. This phase will complete the detumbling maneuvers. The only attitude determination sensor required, is a magnetometer and the actuator required is a magnetorquer coil. The specific attitude controllers and estimators used during these modes are explained. In orbit commissioning results are presented.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":" 29","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132095352","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}
引用次数: 19
A new compression algorithm for medical images using wavelet transform 基于小波变换的医学图像压缩新算法
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461166
G. Tu, Derong Liu, Can Zhang
This paper presents a new compression algorithm for medical images. The present algorithm is based on interframe predictive coding of images using wavelet transform for motion compensation. Simulation results show that the new algorithm has better performance than some existing algorithms. Compared with the 2-D wavelet compression, the new algorithm has a slightly higher compression ratio for CT images and the peak signal to noise ratio (PSNR) is increased for 3 dB. Compared with the DCT for motion compensation compression algorithm, the PSNR is increased for 5 dB using the new algorithm at the same compression ratio of 15.
提出了一种新的医学图像压缩算法。该算法基于帧间预测编码,利用小波变换进行运动补偿。仿真结果表明,新算法比现有算法具有更好的性能。与二维小波压缩相比,新算法对CT图像的压缩比略高,峰值信噪比(PSNR)提高3 dB。与DCT运动补偿压缩算法相比,在相同压缩比为15的情况下,新算法的PSNR提高了5 dB。
{"title":"A new compression algorithm for medical images using wavelet transform","authors":"G. Tu, Derong Liu, Can Zhang","doi":"10.1109/ICNSC.2005.1461166","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461166","url":null,"abstract":"This paper presents a new compression algorithm for medical images. The present algorithm is based on interframe predictive coding of images using wavelet transform for motion compensation. Simulation results show that the new algorithm has better performance than some existing algorithms. Compared with the 2-D wavelet compression, the new algorithm has a slightly higher compression ratio for CT images and the peak signal to noise ratio (PSNR) is increased for 3 dB. Compared with the DCT for motion compensation compression algorithm, the PSNR is increased for 5 dB using the new algorithm at the same compression ratio of 15.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130042925","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}
引用次数: 7
Routing in stochastic networks 随机网络中的路由
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461305
Ramsay Key
This paper considers the problem of routing in a network where the travel times along the arcs are modeled as independent random variables. A standard approach to routing in such networks is to select a path with the least expected travel time. One of the problems with this approach is that it does not take into consideration, factors such as the travel time variance. Additionally, such an approach implicitly assumes each user in the network has the same routing objective. In this paper we develop an approach to routing in stochastic networks in which these problems are addressed. The fundamental concept in our approach is that, for a given user with a set of routing options at a given node, we approximate the distributions of travel time for these options. Using these approximate distributions, the options are compared according to a user-specified routing objective, and the best option is selected. The primary benefit of this approach is that one is not limited to a particular routing objective as the computed distributions of travel time allow us to efficiently determine an effective routing option for an arbitrary routing objective that depends on factors of random travel time other than the mean. The distribution of travel time adopted in this paper is the minimum travel time probability distribution, which is the distribution of travel time over all fastest paths. In a class of networks termed as series-parallel networks, the minimum travel time distribution can be calculated efficiently. For general, non-series-parallel networks, the approximation we adopt is the minimum travel time distribution obtained from a related series-parallel network. The performance and the benefits of this approach to routing are illustrated on an example network.
本文研究了一个网络中的路由问题,其中沿弧线的行程时间被建模为独立的随机变量。在这种网络中选择路由的一个标准方法是选择一条期望旅行时间最少的路径。这种方法的一个问题是它没有考虑旅行时间方差等因素。此外,这种方法隐含地假设网络中的每个用户都具有相同的路由目标。在本文中,我们开发了一种解决这些问题的随机网络路由方法。我们方法的基本概念是,对于在给定节点上具有一组路由选项的给定用户,我们近似这些选项的旅行时间分布。使用这些近似分布,根据用户指定的路由目标比较选项,并选择最佳选项。这种方法的主要好处是,人们不局限于特定的路由目标,因为计算的旅行时间分布允许我们有效地确定任意路由目标的有效路由选项,这取决于随机旅行时间的因素,而不是平均值。本文所采用的旅行时间分布是最小旅行时间概率分布,即旅行时间在所有最快路径上的分布。在一类称为串并联网络的网络中,可以有效地计算出最小行程时间分布。对于一般的非串并联网络,我们采用的近似是由相关串并联网络得到的最小行程时间分布。通过一个示例网络说明了这种路由方法的性能和优点。
{"title":"Routing in stochastic networks","authors":"Ramsay Key","doi":"10.1109/ICNSC.2005.1461305","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461305","url":null,"abstract":"This paper considers the problem of routing in a network where the travel times along the arcs are modeled as independent random variables. A standard approach to routing in such networks is to select a path with the least expected travel time. One of the problems with this approach is that it does not take into consideration, factors such as the travel time variance. Additionally, such an approach implicitly assumes each user in the network has the same routing objective. In this paper we develop an approach to routing in stochastic networks in which these problems are addressed. The fundamental concept in our approach is that, for a given user with a set of routing options at a given node, we approximate the distributions of travel time for these options. Using these approximate distributions, the options are compared according to a user-specified routing objective, and the best option is selected. The primary benefit of this approach is that one is not limited to a particular routing objective as the computed distributions of travel time allow us to efficiently determine an effective routing option for an arbitrary routing objective that depends on factors of random travel time other than the mean. The distribution of travel time adopted in this paper is the minimum travel time probability distribution, which is the distribution of travel time over all fastest paths. In a class of networks termed as series-parallel networks, the minimum travel time distribution can be calculated efficiently. For general, non-series-parallel networks, the approximation we adopt is the minimum travel time distribution obtained from a related series-parallel network. The performance and the benefits of this approach to routing are illustrated on an example network.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114157440","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
Dynamic preemption threshold scheduling for specific real-time control systems 针对特定实时控制系统的动态抢占阈值调度
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461222
D. He, Feixin Wang, Wei Li
Application specific operating systems (ASOS) are developing quickly as a new trend in real-time control systems development. It often belongs to system on chip. The scheduling for ASOS should satisfy two basic demands (a) context switching overheads are not significant; (b) the scheduling should use small amount of RAM memory. According to characteristics of ASOS, we present a novel scheduling algorithm, named dynamic preemption threshold (DPT) scheduling, which integrates preemption threshold scheduling into the EDF (earliest deadline first). The scheduling can achieve greater processor utilization, theoretically even up to all of a processor capacity. Meanwhile, the preemption times between tasks can be effectively decreased using DPT scheduling by two ways: 1) threads allocating; 2) dynamic thresholds regularly adjusting at runtime. With the reduction of task preemptions, memory requirements are also decreased. In addition, the DPT gives an approach to transform a static model to dynamic model seamlessly. The DPT algorithm can perfectly schedule a mixed task set with preemptive and non-preemptive tasks, and subsumes both as special cases. Thus it remains the scheduling flexibility and also decreases unnecessary context switching and memory requirements at runtime.
专用操作系统(ASOS)作为实时控制系统发展的新趋势,正在迅速发展。它通常属于片上系统。ASOS的调度应该满足两个基本要求:(a)上下文切换开销不显著;(b)调度时应使用少量的RAM内存。根据ASOS的特点,提出了一种新的调度算法——动态抢占门限调度(DPT),该算法将抢占门限调度集成到EDF(最早截止日期优先)中。调度可以实现更高的处理器利用率,理论上甚至可以达到处理器的全部容量。同时,采用DPT调度可以通过两种方式有效地减少任务间的抢占时间:1)线程分配;2)动态阈值在运行时定期调整。随着任务抢占的减少,内存需求也降低了。此外,DPT还提供了一种将静态模型无缝地转换为动态模型的方法。DPT算法可以很好地调度具有抢占任务和非抢占任务的混合任务集,并将两者作为特殊情况纳入。因此,它保留了调度灵活性,还减少了运行时不必要的上下文切换和内存需求。
{"title":"Dynamic preemption threshold scheduling for specific real-time control systems","authors":"D. He, Feixin Wang, Wei Li","doi":"10.1109/ICNSC.2005.1461222","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461222","url":null,"abstract":"Application specific operating systems (ASOS) are developing quickly as a new trend in real-time control systems development. It often belongs to system on chip. The scheduling for ASOS should satisfy two basic demands (a) context switching overheads are not significant; (b) the scheduling should use small amount of RAM memory. According to characteristics of ASOS, we present a novel scheduling algorithm, named dynamic preemption threshold (DPT) scheduling, which integrates preemption threshold scheduling into the EDF (earliest deadline first). The scheduling can achieve greater processor utilization, theoretically even up to all of a processor capacity. Meanwhile, the preemption times between tasks can be effectively decreased using DPT scheduling by two ways: 1) threads allocating; 2) dynamic thresholds regularly adjusting at runtime. With the reduction of task preemptions, memory requirements are also decreased. In addition, the DPT gives an approach to transform a static model to dynamic model seamlessly. The DPT algorithm can perfectly schedule a mixed task set with preemptive and non-preemptive tasks, and subsumes both as special cases. Thus it remains the scheduling flexibility and also decreases unnecessary context switching and memory requirements at runtime.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134430465","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
Dynamic autonomous agent placement for target tracking based on target motion models 基于目标运动模型的目标跟踪动态自主智能体布局
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461220
T. Hegazy, G. Vachtsevanos
Tracking multiple navigating targets in a bounded region is a common problem that arises in many real-life applications, such as rescue operations, surveillance and reconnaissance. Placing a set of agents optimally to track targets, of interest is another problem associated with the tracking problem. This paper introduces a distributed stochastic approach to a well-defined agent placement problem, which can be shown to be NP-hard. First, a stochastic target motion model is introduced to enable agents to predict future target locations. Second, a model-based distributed algorithm is developed. Given the motion model, agents predict target location probabilities and compute their next best locations based on the predictions. The proposed approach involves coordination among mobile agents in order to achieve near-optimal global utilities. The approach has been evaluated through a set of simulation experiments. Simulation results reveal the superiority of the proposed model-based agent placement approach over existing approaches.
在有限区域内跟踪多个导航目标是在许多实际应用中出现的常见问题,例如救援行动,监视和侦察。最佳地放置一组代理来跟踪感兴趣的目标是与跟踪问题相关的另一个问题。本文介绍了一种分布式随机方法来解决一个定义良好的智能体放置问题,该问题可以被证明是np困难的。首先,引入随机目标运动模型,使智能体能够预测未来目标的位置。其次,提出了一种基于模型的分布式算法。给定运动模型,智能体预测目标位置的概率,并根据预测计算下一个最佳位置。所提出的方法涉及移动代理之间的协调,以达到接近最优的全局效用。通过一组仿真实验对该方法进行了验证。仿真结果表明,所提出的基于模型的智能体放置方法优于现有方法。
{"title":"Dynamic autonomous agent placement for target tracking based on target motion models","authors":"T. Hegazy, G. Vachtsevanos","doi":"10.1109/ICNSC.2005.1461220","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461220","url":null,"abstract":"Tracking multiple navigating targets in a bounded region is a common problem that arises in many real-life applications, such as rescue operations, surveillance and reconnaissance. Placing a set of agents optimally to track targets, of interest is another problem associated with the tracking problem. This paper introduces a distributed stochastic approach to a well-defined agent placement problem, which can be shown to be NP-hard. First, a stochastic target motion model is introduced to enable agents to predict future target locations. Second, a model-based distributed algorithm is developed. Given the motion model, agents predict target location probabilities and compute their next best locations based on the predictions. The proposed approach involves coordination among mobile agents in order to achieve near-optimal global utilities. The approach has been evaluated through a set of simulation experiments. Simulation results reveal the superiority of the proposed model-based agent placement approach over existing approaches.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133932817","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}
引用次数: 1
Toward a simulation benchmark for distributed mission-critical real-time systems 面向分布式关键任务实时系统的仿真基准
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461340
C. Cavanaugh
Given the overall increasing trend of airspace demand by commercial, military, and general aviation, researchers are developing new software tools to enhance the level of automation in air traffic control systems to alleviate the already-crowded airspace by allowing controllers and pilots more freedom in planning and conducting flights. These tools utilize high-performance commercial workstations that use high-speed networks and function together to form a distributed real-time computing system. This paper describes a three-dimensional air traffic control simulation benchmark developed by the author for the purpose of running simulations of air traffic scenarios, adding new capabilities, and gauging performance, security, and reliability quality of service management techniques on a variety of platforms.
考虑到商业、军事和通用航空对空域需求的总体增长趋势,研究人员正在开发新的软件工具,以提高空中交通管制系统的自动化水平,通过允许管制员和飞行员更自由地规划和执行航班,缓解已经拥挤的空域。这些工具利用高性能的商业工作站,这些工作站使用高速网络和功能一起形成分布式实时计算系统。本文描述了作者开发的三维空中交通管制模拟基准,用于运行空中交通场景的模拟,增加新的功能,并衡量各种平台上服务管理技术的性能,安全性和可靠性质量。
{"title":"Toward a simulation benchmark for distributed mission-critical real-time systems","authors":"C. Cavanaugh","doi":"10.1109/ICNSC.2005.1461340","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461340","url":null,"abstract":"Given the overall increasing trend of airspace demand by commercial, military, and general aviation, researchers are developing new software tools to enhance the level of automation in air traffic control systems to alleviate the already-crowded airspace by allowing controllers and pilots more freedom in planning and conducting flights. These tools utilize high-performance commercial workstations that use high-speed networks and function together to form a distributed real-time computing system. This paper describes a three-dimensional air traffic control simulation benchmark developed by the author for the purpose of running simulations of air traffic scenarios, adding new capabilities, and gauging performance, security, and reliability quality of service management techniques on a variety of platforms.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"337 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132435415","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}
引用次数: 1
Implementing and evaluation of an OSEK/VDX-compliant configurable real-time kernel 一个OSEK/ vdx兼容的可配置实时内核的实现和评估
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461250
Tianzhou Chen, Wei Chen, Xiang Wang, Wei Hu
As various applications become more and more sophisticated in automotive systems control units become more complex to meet specific requirements. This trend necessitates the use of an operating system to manage the complexity and to provide an abstraction for improving the portability of code. This paper presents a real time S kernel that is designed and implemented based on OSEK/VDX an open industry standard. Some features and optimizations of this kernel that make it appropriate for automotive applications among control unit nodes are also demonstrated. These optimizations include memory usage and a flexible framework of sporadic server for aperiodic nonblocking basic tasks scheduling. We evaluate these features by ensuing experiments and prove them to work efficiently.
随着各种应用在汽车系统中变得越来越复杂,控制单元也变得越来越复杂,以满足特定的要求。这种趋势要求使用操作系统来管理复杂性,并为改进代码的可移植性提供抽象。本文提出了一种基于开放工业标准OSEK/VDX设计和实现的实时S内核。还演示了该内核的一些特性和优化,使其适合于控制单元节点之间的汽车应用程序。这些优化包括内存使用和用于非周期性非阻塞基本任务调度的灵活的零星服务器框架。我们通过随后的实验来评估这些特征,并证明它们是有效的。
{"title":"Implementing and evaluation of an OSEK/VDX-compliant configurable real-time kernel","authors":"Tianzhou Chen, Wei Chen, Xiang Wang, Wei Hu","doi":"10.1109/ICNSC.2005.1461250","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461250","url":null,"abstract":"As various applications become more and more sophisticated in automotive systems control units become more complex to meet specific requirements. This trend necessitates the use of an operating system to manage the complexity and to provide an abstraction for improving the portability of code. This paper presents a real time S kernel that is designed and implemented based on OSEK/VDX an open industry standard. Some features and optimizations of this kernel that make it appropriate for automotive applications among control unit nodes are also demonstrated. These optimizations include memory usage and a flexible framework of sporadic server for aperiodic nonblocking basic tasks scheduling. We evaluate these features by ensuing experiments and prove them to work efficiently.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124877185","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
Modular design method for the control software development of the cell controller in automated manufacturing systems 自动化制造系统中单元控制器控制软件开发的模块化设计方法
Pub Date : 2005-03-19 DOI: 10.1109/ICNSC.2005.1461269
Kai-Ying Chen
Automated manufacturing systems are quite complex and varied in nature. Therefore, a practical approach to design software for managing manufacturing systems is to build generic solutions to the greatest possible extent, and then to customize them to suit the needs of each firm. Flexible manufacturing cell (FMC) plays more important role when production market becoming more competitive and manufacturing environment is often subject to change. Modular method for developing control software of FMC thus is necessary. Petri Net, a graphical modeling tool, allows the construction of models amenable both for qualitative and quantitative analysis. Over the last two decades, there have been many applications of using Petri Net for the modeling of manufacturing systems. In this paper, a modular approach by combining the PLC in equipment level and Petri Net in cell level for the development of FMC controller in a hierarchical manufacturing environment is addressed. Benefits of PLC and Petri Net thus can be fully utilized to develop an FMC controller. This generic FMC controller has been successfully implemented in several automated factories in Taiwan.
自动化制造系统在本质上是非常复杂和多样的。因此,设计用于管理制造系统的软件的实用方法是尽可能地构建通用解决方案,然后对它们进行定制以适应每个公司的需求。随着生产市场竞争的日益激烈和生产环境的不断变化,柔性制造单元(FMC)发挥着越来越重要的作用。因此,采用模块化方法开发FMC控制软件是必要的。Petri网是一种图形化的建模工具,它允许构建适合定性和定量分析的模型。在过去的二十年中,使用Petri网对制造系统建模已经有了许多应用。本文提出了在分层制造环境下,采用设备级PLC和单元级Petri网相结合的模块化方法开发FMC控制器。因此,可以充分利用PLC和Petri网的优点来开发FMC控制器。该通用FMC控制器已在台湾多家自动化工厂成功实施。
{"title":"Modular design method for the control software development of the cell controller in automated manufacturing systems","authors":"Kai-Ying Chen","doi":"10.1109/ICNSC.2005.1461269","DOIUrl":"https://doi.org/10.1109/ICNSC.2005.1461269","url":null,"abstract":"Automated manufacturing systems are quite complex and varied in nature. Therefore, a practical approach to design software for managing manufacturing systems is to build generic solutions to the greatest possible extent, and then to customize them to suit the needs of each firm. Flexible manufacturing cell (FMC) plays more important role when production market becoming more competitive and manufacturing environment is often subject to change. Modular method for developing control software of FMC thus is necessary. Petri Net, a graphical modeling tool, allows the construction of models amenable both for qualitative and quantitative analysis. Over the last two decades, there have been many applications of using Petri Net for the modeling of manufacturing systems. In this paper, a modular approach by combining the PLC in equipment level and Petri Net in cell level for the development of FMC controller in a hierarchical manufacturing environment is addressed. Benefits of PLC and Petri Net thus can be fully utilized to develop an FMC controller. This generic FMC controller has been successfully implemented in several automated factories in Taiwan.","PeriodicalId":313251,"journal":{"name":"Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129129566","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
期刊
Proceedings. 2005 IEEE Networking, Sensing and Control, 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