首页 > 最新文献

Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems最新文献

英文 中文
Travel time prediction for urban arterial road 城市主干道行车时间预测
G. Jiang, Ruoqi Zhang
Based on the relative relationship of the traffic volume of segments on the urban road network, we studied the optimal space distribution of detectors with statistic analysis techniques. Then we proposed the criteria of installing detectors on the urban roads, on the other hand, we predicted and checked out the non-detectors segment travel time using neural network technique of mix-structure algorithm with the data of the road network of Changchun City, China. The research gives a way to solve the optimal space distribution of detectors on urban arterial road and non-detected segment travel time prediction with detected segment traffic information.
基于城市路网各路段交通量的相对关系,运用统计分析技术研究了检测器的最优空间分布。在此基础上,提出了在城市道路上安装检测器的准则,并利用混合结构算法的神经网络技术,结合长春市道路网数据,对未安装检测器的路段行驶时间进行了预测和检验。该研究提供了一种解决探测器在城市主干道上的最优空间分布和利用检测到的路段交通信息预测未检测到的路段出行时间的方法。
{"title":"Travel time prediction for urban arterial road","authors":"G. Jiang, Ruoqi Zhang","doi":"10.1109/ITSC.2003.1252725","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252725","url":null,"abstract":"Based on the relative relationship of the traffic volume of segments on the urban road network, we studied the optimal space distribution of detectors with statistic analysis techniques. Then we proposed the criteria of installing detectors on the urban roads, on the other hand, we predicted and checked out the non-detectors segment travel time using neural network technique of mix-structure algorithm with the data of the road network of Changchun City, China. The research gives a way to solve the optimal space distribution of detectors on urban arterial road and non-detected segment travel time prediction with detected segment traffic information.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122718557","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}
引用次数: 18
Studies on vehicle active suspension based on LMS adaptive algorithm 基于LMS自适应算法的汽车主动悬架研究
Jianmin Sun, Qingmei Yang, Fengying Sun, Bao-Ping Ma
The active control suspension system can improve both the riding comfort and handling safety in various operation conditions. In this paper, according to the evaluation method of riding comfort and handling safety of vehicle, the acceleration of the sprung mass, dynamic tyre load between wheels and the unsprung mass are determined as the evaluation targets of suspension performance. The least mean squares (LMS) adaptive algorithm is used in active suspension system. With adjusting the weight of the adaptive filter, the minimum quadratic performance index is obtained. For two-DOF vehicle suspension model, the sky-hook control, generalized adaptive control and LMS adaptive control are studied. The simulation results show that LMS adaptive control algorithm is not only simple but also remarkably effective.
主动控制悬架系统可以提高车辆在各种工况下的乘坐舒适性和操控安全性。本文根据车辆乘坐舒适性和操纵安全性的评价方法,确定了悬架质量的加速度、轮间动态轮胎载荷和非悬架质量作为悬架性能的评价指标。将最小均方自适应算法应用于主动悬架系统。通过调整自适应滤波器的权值,获得最小的二次型性能指标。针对二自由度汽车悬架模型,研究了天钩控制、广义自适应控制和LMS自适应控制。仿真结果表明,LMS自适应控制算法不仅简单,而且非常有效。
{"title":"Studies on vehicle active suspension based on LMS adaptive algorithm","authors":"Jianmin Sun, Qingmei Yang, Fengying Sun, Bao-Ping Ma","doi":"10.1109/ITSC.2003.1252625","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252625","url":null,"abstract":"The active control suspension system can improve both the riding comfort and handling safety in various operation conditions. In this paper, according to the evaluation method of riding comfort and handling safety of vehicle, the acceleration of the sprung mass, dynamic tyre load between wheels and the unsprung mass are determined as the evaluation targets of suspension performance. The least mean squares (LMS) adaptive algorithm is used in active suspension system. With adjusting the weight of the adaptive filter, the minimum quadratic performance index is obtained. For two-DOF vehicle suspension model, the sky-hook control, generalized adaptive control and LMS adaptive control are studied. The simulation results show that LMS adaptive control algorithm is not only simple but also remarkably effective.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"499 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122950459","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
Freeway traffic density control using iterative learning control approach 高速公路交通密度控制的迭代学习控制方法
Z. Hou, Jian-xin Xu
In this paper, an iterative learning control scheme is developed to the traffic density control in a macroscopic level freeway environment. With rigorous analysis, the proposed intelligent control scheme guarantees the asymptotic convergence of the traffic density to the desired one. The control scheme is applied to a freeway model, and simulation results confirm the efficacy of the proposed approach.
本文提出了一种用于宏观高速公路环境下交通密度控制的迭代学习控制方案。经过严格的分析,所提出的智能控制方案保证了交通密度的渐近收敛。将该控制方案应用于高速公路模型,仿真结果验证了该方法的有效性。
{"title":"Freeway traffic density control using iterative learning control approach","authors":"Z. Hou, Jian-xin Xu","doi":"10.1109/ITSC.2003.1252652","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252652","url":null,"abstract":"In this paper, an iterative learning control scheme is developed to the traffic density control in a macroscopic level freeway environment. With rigorous analysis, the proposed intelligent control scheme guarantees the asymptotic convergence of the traffic density to the desired one. The control scheme is applied to a freeway model, and simulation results confirm the efficacy of the proposed approach.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132603045","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}
引用次数: 21
Component-based constructing approach for application specific embedded operating systems 特定于应用程序的嵌入式操作系统的基于组件的构造方法
Li-xin Zhu, Fei-yue Wang
Rapid advances in the real-time embedded operating systems necessitate the development of Internet oriented application specific embedded operating systems. The ASOS (application specific embedded operating systems) has now become a promising research direction of the embedded operating system. The paper clarifies the concept of the ASOS, and takes the embedded operating system applied in the traffic signal controller we are now developing to illustrate the main characteristics of the ASOS. Benefits from the CBSE (component-based software engineering) include system quality improvement, shorter time to market, integration of complex systems, etc. However, as for the embedded system, the component-based technology and theories still in an exploration period, though many projects are carried on. In this paper, we present the process of our approach to construct the ASOS based on the component technology.
实时嵌入式操作系统的快速发展要求开发面向Internet应用的嵌入式操作系统。专用嵌入式操作系统ASOS (application - specific embedded operating system)已成为嵌入式操作系统的一个很有前途的研究方向。本文阐述了ASOS的概念,并以目前正在开发的交通信号控制器中应用的嵌入式操作系统为例,阐述了ASOS的主要特点。来自CBSE(基于组件的软件工程)的好处包括系统质量的改进,更短的上市时间,复杂系统的集成,等等。然而,对于嵌入式系统而言,基于组件的技术和理论虽然已经开展了许多项目,但仍处于探索阶段。在本文中,我们提出了基于组件技术构建ASOS的方法。
{"title":"Component-based constructing approach for application specific embedded operating systems","authors":"Li-xin Zhu, Fei-yue Wang","doi":"10.1109/ITSC.2003.1252701","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252701","url":null,"abstract":"Rapid advances in the real-time embedded operating systems necessitate the development of Internet oriented application specific embedded operating systems. The ASOS (application specific embedded operating systems) has now become a promising research direction of the embedded operating system. The paper clarifies the concept of the ASOS, and takes the embedded operating system applied in the traffic signal controller we are now developing to illustrate the main characteristics of the ASOS. Benefits from the CBSE (component-based software engineering) include system quality improvement, shorter time to market, integration of complex systems, etc. However, as for the embedded system, the component-based technology and theories still in an exploration period, though many projects are carried on. In this paper, we present the process of our approach to construct the ASOS based on the component technology.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132811172","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
Modeling urban transportation systems with hybrid systems: an overview 用混合系统建模城市交通系统:概述
Junwei Lee, Su Song
Urban transportation systems are very complicated systems, which present a lot of problems on modeling. This paper gives an overview of traffic models, points out the strongpoint and shortcomings of the macro- and micro-models, analyses reasons for hybrid system modeling of urban traffic. This paper gives the reason and an overview of the hybrid system modeling of urban transportation systems.
城市交通系统是一个非常复杂的系统,在建模方面存在很多问题。本文对交通模型进行了概述,指出了宏观模型和微观模型的优缺点,分析了城市交通混合系统建模的原因。本文给出了城市交通系统混合系统建模的原因和概述。
{"title":"Modeling urban transportation systems with hybrid systems: an overview","authors":"Junwei Lee, Su Song","doi":"10.1109/ITSC.2003.1252687","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252687","url":null,"abstract":"Urban transportation systems are very complicated systems, which present a lot of problems on modeling. This paper gives an overview of traffic models, points out the strongpoint and shortcomings of the macro- and micro-models, analyses reasons for hybrid system modeling of urban traffic. This paper gives the reason and an overview of the hybrid system modeling of urban transportation systems.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133910342","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}
引用次数: 9
Geometric travel planning 几何旅行规划
S. Edelkamp, S. Jabbar, Thomas Willhalm
This paper provides a novel approach for optimal route planning making efficient use of the underlying geometrical structure. It combines classical AI exploration with computational geometry. Given a set of global positioning system (GPS) trajectories, the input is refined by geometric filtering and rounding algorithms. For constructing the graph and the according point localization structure, fast scan-line and divide-and-conquer algorithms are applied. For speeding up the optimal on-line search algorithms, the geometrical structure of the inferred weighted graph is exploited in two ways. The graph is compressed while retaining the original information for unfolding resulting shortest paths. It is then annotated by lower bound refined topographic information; for example by the bounding boxes of all shortest paths that start with a given edge. The on-line planning system GPS-ROUTE implements the above techniques and provides a client-server Web interface to answer series of shortest-path or shortest-time queries.
本文提供了一种有效利用底层几何结构的优化路线规划的新方法。它将经典的AI探索与计算几何相结合。给定一组全球定位系统(GPS)轨迹,通过几何滤波和舍入算法对输入进行细化。为了构造图形和相应的点定位结构,采用了快速扫描线和分治算法。为了加快最优在线搜索算法的速度,我们从两方面利用了推断出的加权图的几何结构。图被压缩,同时保留原始信息以展开生成的最短路径。然后用下界精细地形信息对其进行标注;例如,从给定边开始的所有最短路径的边界框。在线规划系统GPS-ROUTE实现了上述技术,并提供了一个客户端-服务器Web接口来回答一系列最短路径或最短时间的查询。
{"title":"Geometric travel planning","authors":"S. Edelkamp, S. Jabbar, Thomas Willhalm","doi":"10.1109/ITSC.2003.1252629","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252629","url":null,"abstract":"This paper provides a novel approach for optimal route planning making efficient use of the underlying geometrical structure. It combines classical AI exploration with computational geometry. Given a set of global positioning system (GPS) trajectories, the input is refined by geometric filtering and rounding algorithms. For constructing the graph and the according point localization structure, fast scan-line and divide-and-conquer algorithms are applied. For speeding up the optimal on-line search algorithms, the geometrical structure of the inferred weighted graph is exploited in two ways. The graph is compressed while retaining the original information for unfolding resulting shortest paths. It is then annotated by lower bound refined topographic information; for example by the bounding boxes of all shortest paths that start with a given edge. The on-line planning system GPS-ROUTE implements the above techniques and provides a client-server Web interface to answer series of shortest-path or shortest-time queries.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133982631","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
Human-computer interface design for an in-vehicle information system 车载信息系统人机界面设计
Y. Zhaosheng, L. Shoufeng, W. Chuanjiu
In-vehicle information system (IVIS) is an important component of urban traffic flow guidance system (UTFGS). It consists of an input device, data storage, a driver information display monitor, processing modules, a voice synthesizer module and a communication module. Human-computer interface (HCI) is the comprehensive environment of manipulating IVIS. It is also the media of delivering and exchanging information between the driver and IVIS. A good HCI can minimize the driver's distraction, assure the driver's safety, and improve the efficiency of the human-computer interaction.
车载信息系统(IVIS)是城市交通流诱导系统的重要组成部分。它由输入设备、数据存储、驱动信息显示监视器、处理模块、语音合成器模块和通信模块组成。人机界面(HCI)是操作IVIS的综合环境。它也是驾驶员和IVIS之间传递和交换信息的媒介。良好的人机交互可以最大限度地减少驾驶员的分心,保证驾驶员的安全,提高人机交互的效率。
{"title":"Human-computer interface design for an in-vehicle information system","authors":"Y. Zhaosheng, L. Shoufeng, W. Chuanjiu","doi":"10.1109/ITSC.2003.1252717","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252717","url":null,"abstract":"In-vehicle information system (IVIS) is an important component of urban traffic flow guidance system (UTFGS). It consists of an input device, data storage, a driver information display monitor, processing modules, a voice synthesizer module and a communication module. Human-computer interface (HCI) is the comprehensive environment of manipulating IVIS. It is also the media of delivering and exchanging information between the driver and IVIS. A good HCI can minimize the driver's distraction, assure the driver's safety, and improve the efficiency of the human-computer interaction.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134158212","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}
引用次数: 3
Study on integrated micro inertial navigation system/GPS for land vehicles 陆基车辆集成微惯性导航系统/GPS研究
J.P. Wang, W. Tian, Z. Jin
With the rapid development of micro electron mechanical system, the performance of micro inertial sensors is being improved. Features of low cost and small volume of these sensors make them be applied widely in military and commercial fields. Because vehicle location and navigation system (VLNS) is the indispensable section in intelligent transportation system (ITS), study on micro inertial technique for VLNS is significant. In this paper a micro inertial navigation system (/spl mu/-INS) is designed using three single-axis microgyroscopes (EWTZ9G) and three microaccelerometers (ADXL150). The system has three modules, i.e., sensors module to measure angular rate and acceleration, data acquisition module to convert analog signal outputs of the sensors to digital signal, and data processing module to calculate necessary navigation information. Besides the loosely coupled Kalman filter, a simpler GPS-aided method is studied in the paper. Results of experiments show that integrated /spl mu/-INS/GPS meets the demand of location accuracy for VLNS in ITS.
随着微电子机械系统的快速发展,微惯性传感器的性能也在不断提高。这些传感器具有成本低、体积小的特点,在军事和商业领域有着广泛的应用。由于车辆定位导航系统(VLNS)是智能交通系统(ITS)中不可缺少的部分,因此研究VLNS的微惯性技术具有重要意义。本文采用3个单轴微陀螺仪(EWTZ9G)和3个微加速度计(ADXL150)设计了一个微惯性导航系统(/spl mu/-INS)。该系统分为三个模块,即测量角速度和加速度的传感器模块,将传感器输出的模拟信号转换为数字信号的数据采集模块,以及计算所需导航信息的数据处理模块。除了松耦合卡尔曼滤波外,本文还研究了一种更简单的gps辅助方法。实验结果表明,集成/spl mu/-INS/GPS能够满足ITS对VLNS定位精度的要求。
{"title":"Study on integrated micro inertial navigation system/GPS for land vehicles","authors":"J.P. Wang, W. Tian, Z. Jin","doi":"10.1109/ITSC.2003.1252763","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252763","url":null,"abstract":"With the rapid development of micro electron mechanical system, the performance of micro inertial sensors is being improved. Features of low cost and small volume of these sensors make them be applied widely in military and commercial fields. Because vehicle location and navigation system (VLNS) is the indispensable section in intelligent transportation system (ITS), study on micro inertial technique for VLNS is significant. In this paper a micro inertial navigation system (/spl mu/-INS) is designed using three single-axis microgyroscopes (EWTZ9G) and three microaccelerometers (ADXL150). The system has three modules, i.e., sensors module to measure angular rate and acceleration, data acquisition module to convert analog signal outputs of the sensors to digital signal, and data processing module to calculate necessary navigation information. Besides the loosely coupled Kalman filter, a simpler GPS-aided method is studied in the paper. Results of experiments show that integrated /spl mu/-INS/GPS meets the demand of location accuracy for VLNS in ITS.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"124 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134476527","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
Study on ship manoeuvering control based on adaptive inverse control technology 基于自适应逆控制技术的船舶操纵控制研究
Jun Zhao, X. Zhan
In this paper, dynamic control and noise elimination of adaptive inverse control are introduced. X-LMS adaptive inverse control algorithm and RLS adaptive inverse control algorithm are used to identify the parameters and design the controller. Simulating results show that ship manoeuvering can be improved with adaptive inverse control technology, moreover X-LMS adaptive inverse control algorithm has a better behavior on response characteristics, and RLS adaptive inverse control algorithm has a better behavior on noise elimination.
本文介绍了自适应逆控制的动态控制和消噪。采用X-LMS自适应逆控制算法和RLS自适应逆控制算法进行参数辨识和控制器设计。仿真结果表明,自适应逆控制技术可以改善船舶的操纵性,并且X-LMS自适应逆控制算法在响应特性方面具有更好的性能,RLS自适应逆控制算法在消噪方面具有更好的性能。
{"title":"Study on ship manoeuvering control based on adaptive inverse control technology","authors":"Jun Zhao, X. Zhan","doi":"10.1109/ITSC.2003.1252773","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252773","url":null,"abstract":"In this paper, dynamic control and noise elimination of adaptive inverse control are introduced. X-LMS adaptive inverse control algorithm and RLS adaptive inverse control algorithm are used to identify the parameters and design the controller. Simulating results show that ship manoeuvering can be improved with adaptive inverse control technology, moreover X-LMS adaptive inverse control algorithm has a better behavior on response characteristics, and RLS adaptive inverse control algorithm has a better behavior on noise elimination.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"129 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114011749","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}
引用次数: 3
Formal design and analysis of FMS controller FMS控制器的形式化设计与分析
Xu Gang, ZhiMing Wu
A modeling method for controller in FMS is presented. This method is based upon the timed automata, and model checker tool UPPAAL is used to model, simulate and verify the FMS model. In the previous work about FMS modeling, the behavior of FMS is more emphasized than the performance, or vice versa. Because the time is included into the modeling method, the scheduling and controlling problems in FMS can be integrated into this model. The performance of the system can be guaranteed while the system behavior is controlled. Upon this model, the optimal scheduling and optimal controlling can also be checked and verified.
提出了FMS中控制器的建模方法。该方法以时间自动机为基础,利用模型检查工具UPPAAL对FMS模型进行建模、仿真和验证。在之前关于FMS建模的工作中,FMS的行为比性能更重要,反之亦然。由于建模方法中包含了时间因素,因此可以将FMS中的调度和控制问题集成到该模型中。在控制系统行为的同时,可以保证系统的性能。在此模型上,还可以对最优调度和最优控制进行检查和验证。
{"title":"Formal design and analysis of FMS controller","authors":"Xu Gang, ZhiMing Wu","doi":"10.1109/ITSC.2003.1252693","DOIUrl":"https://doi.org/10.1109/ITSC.2003.1252693","url":null,"abstract":"A modeling method for controller in FMS is presented. This method is based upon the timed automata, and model checker tool UPPAAL is used to model, simulate and verify the FMS model. In the previous work about FMS modeling, the behavior of FMS is more emphasized than the performance, or vice versa. Because the time is included into the modeling method, the scheduling and controlling problems in FMS can be integrated into this model. The performance of the system can be guaranteed while the system behavior is controlled. Upon this model, the optimal scheduling and optimal controlling can also be checked and verified.","PeriodicalId":123155,"journal":{"name":"Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114146449","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 of the 2003 IEEE International Conference on Intelligent Transportation Systems
全部 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