发布求助
文献互助 智能选刊 最新文献

Fifth Annual Conference on AI, and Planning in High Autonomy Systems最新文献

筛选
英文 中文
Abstract simulator for the parallel DEVS formalism 抽象模拟器的并行DEVS形式化
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390488
A. C. Chow, Bernard P. Zeigler, Doohwan Kim
{"title":"Abstract simulator for the parallel DEVS formalism","authors":"A. C. Chow, Bernard P. Zeigler, Doohwan Kim","doi":"10.1109/AIHAS.1994.390488","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390488","url":null,"abstract":"A parallel discrete-event simulation (DEVS) formalism which exploits the parallelism of transition collisions in the simulation of DEVS models is considered. We present a design for the abstract simulator needed to prove the formalism's soundness and to serve as a reference for implementation. The abstract simulator is composed of cooperating simulation engines, (simulators and coordinators) that use bag-like messages to synchronize the parallel activities that are distributed across autonomous asynchronous processors. The approach suggests engines that are efficient in both sequential and distributed/parallel environments. After describing the abstract simulator we briefly discuss a prototype implementation that affords a high degree of flexibility by mechanizing the \"closure under coupling\" property of the parallel DEVS formalism and the characteristics of object-oriented systems.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127391180","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}
引用次数: 86
Generation, control, and simulation of task level actions based on discrete event models 基于离散事件模型的任务级动作的生成、控制和仿真
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390471
J. Couretas, J. Rozenblit
{"title":"Generation, control, and simulation of task level actions based on discrete event models","authors":"J. Couretas, J. Rozenblit","doi":"10.1109/AIHAS.1994.390471","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390471","url":null,"abstract":"A model based method for task level command generation is used to simulate a pipeline process. Using a discrete event systems formalism, a method for describing manufacturing systems is reviewed prior to constructing the sequential assembly line simulation. This precedes a study of the entire assembly line model, its coordination, and performance metrics. An example system is then simulated and analyzed for language generation and system performance.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"206 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131487588","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
Automated path planning for simulation 自动路径规划仿真
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390492
J. Martí, C. Bunn
{"title":"Automated path planning for simulation","authors":"J. Martí, C. Bunn","doi":"10.1109/AIHAS.1994.390492","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390492","url":null,"abstract":"Automated route planning over digital synthetic terrain is of importance to systems involving simulated human entities. Using a route planner whose sole criteria is minimizing distance and elevation change, we analyze the effects of terrain resolution on path quality, and compare human and computer generated paths. We conclude that with some measures, the computer generated route plans are reasonably difficult to distinguish from human generated plans.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125606116","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
SmartDb: an object-oriented simulation framework for intelligent vehicles and highway systems 智能车辆和公路系统的面向对象仿真框架
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390483
A. Gollu, A. Deshpande, P. Hingorani, P. Varaiya
{"title":"SmartDb: an object-oriented simulation framework for intelligent vehicles and highway systems","authors":"A. Gollu, A. Deshpande, P. Hingorani, P. Varaiya","doi":"10.1109/AIHAS.1994.390483","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390483","url":null,"abstract":"SmartDB is a framework for the uniform specification, simulation, optimization, evaluation, and implementation of intelligent vehicle highway system (IVHS) alternatives. The salient concepts in SmartDB are: (1) layered control architecture, (2) coordination of distributed control agents through communication, (3) combined discrete and continuous dynamical systems, known as hybrid systems, and their control and verification, (4) object oriented simulation, and (5) distributed and open architecture. This paper summarizes the first three concepts and describes in detail the simulation constructs and the distributed and open architecture of SmartDB.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126922833","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
A framework for hybrid modeling/simulation of discrete event systems 离散事件系统的混合建模/仿真框架
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-01 DOI: 10.1109/AIHAS.1994.390486
M. S. Ahn, T. Kim
{"title":"A framework for hybrid modeling/simulation of discrete event systems","authors":"M. S. Ahn, T. Kim","doi":"10.1109/AIHAS.1994.390486","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390486","url":null,"abstract":"This paper presents a hybrid modeling/simulation framework within which both accuracy in models and speed in simulation experimentations are obtained. Based on the Zeigler's DEVS formalism and associated system theory, the framework is based on the transformation of selected DEVS model into equivalent analytic ones to simulate both analytic and simulation models within a single environment. For high-speed hybrid simulation, the authors extended DEVSim++ which is a realization of the DEVS formalism in C++. To exemplify the proposed approach, the authors demonstrate performance modeling and simulation of a simple communication network.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125388722","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
The DEVS formalism: a framework for logical analysis and performance evaluation for discrete event systems DEVS形式化:用于离散事件系统的逻辑分析和性能评估的框架
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-01 DOI: 10.1109/AIHAS.1994.390475
G. Hong, T. Kim
{"title":"The DEVS formalism: a framework for logical analysis and performance evaluation for discrete event systems","authors":"G. Hong, T. Kim","doi":"10.1109/AIHAS.1994.390475","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390475","url":null,"abstract":"This paper proposes a framework which supports performance evaluation and logical analysis of discrete event systems using a unified formalism, i.e., the DEVS (discrete event system specification) formalism. For performance evaluation, DEVSim++, a realization of the DEVS formalism and the associated simulation algorithms in C++, is used. For logical analysis, the dual language approach is adopted. We use the DEVS formalism as an operational formalism to describe system's behavior. Temporal logic (TL) is employed as an assertional formalism to specify system's properties. To reduce states space in logical analysis, we exploit a projection mechanism. The method is a mapping of a set of states in models into a state which obtained from TL assertions. An example of logical analysis for alternating bit protocol is given.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130528362","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}
引用次数: 12
Performance modelling and analysis of distributed access network system using DEVSim++ 基于DEVSim++的分布式接入网系统性能建模与分析
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-01 DOI: 10.1109/AIHAS.1994.390470
Kyou Ho Lee, T. Kim
{"title":"Performance modelling and analysis of distributed access network system using DEVSim++","authors":"Kyou Ho Lee, T. Kim","doi":"10.1109/AIHAS.1994.390470","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390470","url":null,"abstract":"DEVSim++ is a C++ based, object-oriented modeling/simulation environment which realizes the hierarchical, modular DEVS formalism for discrete event systems specification. This paper describes a methodology for performance modeling and analysis of a distributed access network system under development within the DEVSim++ environment. The methodology develops performance models for the system using the DEVS framework and implement the models in C++. Performance indices measured are of queues located at connection points of the system and cell waiting times with respect to QoS grades for a network bandwidth of 155 Mbps.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125670259","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
The DEVS framework for discrete event systems control 离散事件系统控制的DEVS框架
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-01 DOI: 10.1109/AIHAS.1994.390484
H. Song, T. Kim
{"title":"The DEVS framework for discrete event systems control","authors":"H. Song, T. Kim","doi":"10.1109/AIHAS.1994.390484","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390484","url":null,"abstract":"This paper proposes a new methodology for analysis of discrete event systems and design of discrete event systems controllers. The methodology is based on the sound semantics for specification of discrete event systems, called the discrete event system specification (DEVS) formalism. It introduces concepts of inverse DEVS and defines controllability of discrete event systems expressed in the DEVS formalism. These two concepts, inverse DEVS and controllability of discrete event systems, play important roles in designing a discrete event controller. An example for appreciating the concepts is presented.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115089566","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}
引用次数: 31
Computing RF propagation for use in simulation, modeling, and analysis 计算射频传播用于仿真，建模和分析
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1900-01-01 DOI: 10.1109/AIHAS.1994.390469
S. Fehr, D. Mcclung, G. Nagao
{"title":"Computing RF propagation for use in simulation, modeling, and analysis","authors":"S. Fehr, D. Mcclung, G. Nagao","doi":"10.1109/AIHAS.1994.390469","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390469","url":null,"abstract":"The Radio Frequency Mission Planner (RFMP) provides analysis and simulation of communication links based on RF propagation models to more accurately assess performance and capability of transmitters and receivers for command and control warfare (C2W) missions. RFMP processing is dependent on equipment parameters, environmental factors, topography, and force structure. Two and three dimensional displays of results allow an operator to quickly evaluate the RF propagation possibilities for determining the probability of maintaining connections.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122344440","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
Integration of GGF with fielded equipment using DIS 使用DIS将GGF与现场设备集成
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1900-01-01 DOI: 10.1109/AIHAS.1994.390468
P. Landweer
{"title":"Integration of GGF with fielded equipment using DIS","authors":"P. Landweer","doi":"10.1109/AIHAS.1994.390468","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390468","url":null,"abstract":"A unique application of a computer generated force (CGF) was conducted, in December of 1993 at the Depth and Simultaneous Attack Battle Lab. in Ft. Sill, Oklahoma. The CGF simulated a fire support scenario with tanks, infantry fighting vehicles, artillery units, counter-battery radars, and associated command and control elements. A tactical situation display showed the locations of all combatants, as well as activities of interest such as detections, weapon firings, detonations, and communications as the simulated battle progressed in real-time. A distributed interactive simulation (DIS) compliant interface allowed the CGF to interact with actual fire support equipment, both sending and receiving PDUs to a variety of systems. These systems included a DMD at the simulated Fire Support Element, FEDs at the forward observer and fire support team, LCUs serving as an FDS or FDDM interface for the FDC and MLRS Battalion, respectively, and an MLRS Fire Control Panel Trainer. Thus, a seamless simulation was provided between constructive, virtual, and live simulations.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123809048","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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信