首页 > 最新文献

2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)最新文献

英文 中文
Floating Car Data Adaptive Traffic Signals 浮动汽车数据自适应交通信号
V. Astarita, Vincenzo Pasquale Giofrè, G. Guido, A. Vitale, D. C. Festa
Two new technologies are going to shape the future of traffic management and control: “connected” and “autonomous” vehicles. The possibility of gathering information from vehicles travelling on the road and the use of this information for better traffic management is receiving a growing attention from the scientific community. The purpose of this study is to present the architecture of a dedicated system for traffic signal real time regulation based on data coming from “connected” vehicles. The system presented in this paper has been implemented on the field in a dedicated experimental intersection site to assess performances of the system in actual use. Results of the experiments carried on with the presented system will establish the feasibility and the advantages of FCD adaptive traffic signals and will help to develop better regulation algorithms for this kind of new “connected” intersections.
两项新技术将塑造交通管理和控制的未来:“互联”和“自动”车辆。从道路上行驶的车辆收集信息以及利用这些信息进行更好的交通管理的可能性正受到科学界越来越多的关注。本研究的目的是提出一个基于“联网”车辆数据的交通信号实时调节专用系统的架构。本文提出的系统已在一个专门的实验路口现场实施,以评估系统在实际使用中的性能。本系统的实验结果将确立FCD自适应交通信号的可行性和优势,并有助于开发出更好的针对这种新型“互联”交叉口的调节算法。
{"title":"Floating Car Data Adaptive Traffic Signals","authors":"V. Astarita, Vincenzo Pasquale Giofrè, G. Guido, A. Vitale, D. C. Festa","doi":"10.1109/DS-RT47707.2019.8958659","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958659","url":null,"abstract":"Two new technologies are going to shape the future of traffic management and control: “connected” and “autonomous” vehicles. The possibility of gathering information from vehicles travelling on the road and the use of this information for better traffic management is receiving a growing attention from the scientific community. The purpose of this study is to present the architecture of a dedicated system for traffic signal real time regulation based on data coming from “connected” vehicles. The system presented in this paper has been implemented on the field in a dedicated experimental intersection site to assess performances of the system in actual use. Results of the experiments carried on with the presented system will establish the feasibility and the advantages of FCD adaptive traffic signals and will help to develop better regulation algorithms for this kind of new “connected” intersections.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126752862","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
Social Networks of Devices and Software Defined Networking as enabling factors for improving performance of group communications in 5G Internet of Things networks 设备社交网络和软件定义网络是提高5G物联网中群体通信性能的使能因素
A. Iera
This talk addresses an issues, deeply felt in next generation networks, concerning the management of group communications in scenarios characterized by the massive presence of Internet of Things devices acting as “prosumers” (consumer&producer) of services based on the exchange of huge data amounts. This will put a strain on existing networking primitives and their efficient management will be possible only if new paradigms are made available. Starting from this assumption, the talk will discuss the possibility of leveraging Social Networking and Software Defined Networking technologies and concepts towards the definition of a novel network primitive for the Internet of Things. The new primitive, called Sociocast, has the potential to enable trusted group-oriented communications, in-network publish&subscribe mechanisms, dynamic and selective firewalling, flexible data casting. During the talk a distributed architectural solution is presented, some performance results shown, and open research issues discussed.
本次演讲讨论了一个在下一代网络中深刻感受到的问题,即在以海量数据交换为基础的大量物联网设备作为服务的“产消费者”(消费者和生产者)的场景中,对群通信的管理。这将给现有的网络原语带来压力,只有提供新的范例,它们的有效管理才有可能。从这一假设出发,演讲将讨论利用社交网络和软件定义网络技术和概念来定义物联网新网络原语的可能性。这个名为Sociocast的新原语有可能实现可信的面向群体的通信、网络内发布和订阅机制、动态和选择性防火墙、灵活的数据转换。在演讲中提出了一个分布式架构解决方案,展示了一些性能结果,并讨论了开放的研究问题。
{"title":"Social Networks of Devices and Software Defined Networking as enabling factors for improving performance of group communications in 5G Internet of Things networks","authors":"A. Iera","doi":"10.1109/ds-rt47707.2019.8958654","DOIUrl":"https://doi.org/10.1109/ds-rt47707.2019.8958654","url":null,"abstract":"This talk addresses an issues, deeply felt in next generation networks, concerning the management of group communications in scenarios characterized by the massive presence of Internet of Things devices acting as “prosumers” (consumer&producer) of services based on the exchange of huge data amounts. This will put a strain on existing networking primitives and their efficient management will be possible only if new paradigms are made available. Starting from this assumption, the talk will discuss the possibility of leveraging Social Networking and Software Defined Networking technologies and concepts towards the definition of a novel network primitive for the Internet of Things. The new primitive, called Sociocast, has the potential to enable trusted group-oriented communications, in-network publish&subscribe mechanisms, dynamic and selective firewalling, flexible data casting. During the talk a distributed architectural solution is presented, some performance results shown, and open research issues discussed.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122549856","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
How can Machine Learning Support the Practice of Modeling and Simulation? —A Review and Directions for Future Research 机器学习如何支持建模和仿真的实践?——综述与未来研究方向
Mahmoud Elbattah
The use of Machine Learning (ML) has achieved a significant momentum across a very wide range of domains. This paper aims to provide a meeting point for discussing the integration of Modeling and Simulation (M&S) with ML. The discussion presents arguments in favour of why and how the M&S practice can avail of ML in different modalities. In this context, the paper reviews key studies published over the past 6 years in main venues including Winter Simulation Conference, SIGSIM PADS, and DS-RT. Further aspects are discussed, which could help reinforce the utilisation of ML in the M&S arena. In general, the study is conceived to foster the presentation of potential ideas and speculative directions towards availing of data-driven knowledge provided by ML.
机器学习(ML)的使用在非常广泛的领域取得了显着的势头。本文旨在为讨论建模与仿真(M&S)与ML的集成提供一个交汇点。讨论提出了赞成M&S实践为什么以及如何以不同的方式利用ML的论点。在此背景下,本文回顾了过去6年在冬季模拟会议、SIGSIM PADS和DS-RT等主要场所发表的重点研究成果。进一步的方面进行了讨论,这可能有助于加强机器学习在M&S领域的利用。总的来说,该研究旨在促进对ML提供的数据驱动知识的利用的潜在想法和推测方向的呈现。
{"title":"How can Machine Learning Support the Practice of Modeling and Simulation? —A Review and Directions for Future Research","authors":"Mahmoud Elbattah","doi":"10.1109/DS-RT47707.2019.8958703","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958703","url":null,"abstract":"The use of Machine Learning (ML) has achieved a significant momentum across a very wide range of domains. This paper aims to provide a meeting point for discussing the integration of Modeling and Simulation (M&S) with ML. The discussion presents arguments in favour of why and how the M&S practice can avail of ML in different modalities. In this context, the paper reviews key studies published over the past 6 years in main venues including Winter Simulation Conference, SIGSIM PADS, and DS-RT. Further aspects are discussed, which could help reinforce the utilisation of ML in the M&S arena. In general, the study is conceived to foster the presentation of potential ideas and speculative directions towards availing of data-driven knowledge provided by ML.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"205 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114178365","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
Flexible SDN/NFV-based SON testbed for 5G mobile networks 5G移动网络灵活的基于SDN/ nfv的SON测试平台
Giancarlo M. M. Patané, Gianluca C. Valastro, Y. Sambo, Metin Öztürk, S. Hussain, M. Imran, D. Panno
In the next few years, a considerable innovation concerning the design of the future 5G mobile networks will be a concrete step towards enabling effective high throughput and low latency services. Software Defined Networking (SDN), Network Function Virtualization (NFV) and Self Organizing Network (SON) are considered the enabling technologies to achieve these goals. In this paper, assuming a Control-Data Separation Architecture (CDSA), we propose a flexible SDN/NFV-based SON testbed, for future 5G mobile networks. The main contribution of our work is to cover the need for a CDSA based testbed, enabling the investigation of the NG-SON capabilities for practical implementations. We implement two different testbed setups, a real one and a virtualized one, both based on the FlexRAN and OpenAir-Interface software tools. First, we implement a specific case study, i.e., the RAN entities activation/deactivation procedures. Next, we carry out time measurements, concerning the aforementioned procedures, in order to prove proper testbed functioning. Finally, we validate the C-SON and D-SON capabilities of our testbed, considering the features of the results.
在未来几年中,关于未来5G移动网络设计的重大创新将是实现有效的高吞吐量和低延迟服务的具体步骤。软件定义网络(SDN)、网络功能虚拟化(NFV)和自组织网络(SON)被认为是实现这些目标的使能技术。在本文中,我们假设一个控制数据分离架构(CDSA),我们提出了一个灵活的基于SDN/ nfv的SON测试平台,用于未来的5G移动网络。我们工作的主要贡献是满足了对基于CDSA的测试平台的需求,从而能够研究NG-SON的实际实现能力。我们实现了两个不同的测试平台设置,一个是真实的,一个是虚拟的,都基于FlexRAN和OpenAir-Interface软件工具。首先,我们实现一个特定的案例研究,即RAN实体激活/停用过程。接下来,我们对上述程序进行时间测量,以证明测试平台的正常运行。最后,考虑到测试结果的特点,我们验证了测试平台的C-SON和D-SON功能。
{"title":"Flexible SDN/NFV-based SON testbed for 5G mobile networks","authors":"Giancarlo M. M. Patané, Gianluca C. Valastro, Y. Sambo, Metin Öztürk, S. Hussain, M. Imran, D. Panno","doi":"10.1109/DS-RT47707.2019.8958683","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958683","url":null,"abstract":"In the next few years, a considerable innovation concerning the design of the future 5G mobile networks will be a concrete step towards enabling effective high throughput and low latency services. Software Defined Networking (SDN), Network Function Virtualization (NFV) and Self Organizing Network (SON) are considered the enabling technologies to achieve these goals. In this paper, assuming a Control-Data Separation Architecture (CDSA), we propose a flexible SDN/NFV-based SON testbed, for future 5G mobile networks. The main contribution of our work is to cover the need for a CDSA based testbed, enabling the investigation of the NG-SON capabilities for practical implementations. We implement two different testbed setups, a real one and a virtualized one, both based on the FlexRAN and OpenAir-Interface software tools. First, we implement a specific case study, i.e., the RAN entities activation/deactivation procedures. Next, we carry out time measurements, concerning the aforementioned procedures, in order to prove proper testbed functioning. Finally, we validate the C-SON and D-SON capabilities of our testbed, considering the features of the results.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"50 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115574286","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
Serious 3D Game over a Cluster Computing for Situated Learning of Traffic Signals 基于集群计算的交通信号定位学习的严肃3D游戏
Carlos Proaño, César Villacís, V. Proano, Walter Fuertes, Mario Almache, Margarita Zambrano, Fernando Galarraga
This research presents a serious 3D game over a computer cluster that allows the learning of traffic signals so that the child is a responsible driver and pedestrian. For this purpose, we have applied an agile methodology to be able to produce a driving and pedestrian simulation system as a serious game, which includes a three-layer hierarchical architecture (orientation layer, management layer, and control layer). This architecture can be used to simulate three environments that are: a) Driver’s environment; b) Pedestrian environment; c) Vehicle traffic observer environment. All these environments are controlled by intelligent agents that allow the user to handle the autonomous longitudinal control, the relative distance, the speed of the cars, the collisions between vehicles, the pedestrian collision, excess of the speed limit, circulation in the opposite direction, and respect of traffic signals. Our solution to traffic problems has been validated by the execution of several tests in public schools, and the results demonstrate that this simulation application encourages learning in road safety education for children between 9 and 12 years old, using a distributed environment with a computational cluster in the cloud.
这项研究提出了一个严肃的3D游戏在计算机集群,允许学习交通信号,使孩子是一个负责任的司机和行人。为此,我们采用了一种敏捷的方法来制作一个驾驶和行人模拟系统作为一个严肃的游戏,它包括一个三层层次结构(方向层、管理层和控制层)。该架构可用于模拟三种环境:a)驾驶员环境;b)行人环境;c)车辆交通观察者环境。所有这些环境都由智能代理控制,允许用户处理自主纵向控制,相对距离,汽车速度,车辆之间的碰撞,行人碰撞,超速,反方向流通以及尊重交通信号。我们的交通问题解决方案已经在公立学校进行了几次测试,结果表明,该模拟应用程序使用具有云计算集群的分布式环境,鼓励9至12岁儿童学习道路安全教育。
{"title":"Serious 3D Game over a Cluster Computing for Situated Learning of Traffic Signals","authors":"Carlos Proaño, César Villacís, V. Proano, Walter Fuertes, Mario Almache, Margarita Zambrano, Fernando Galarraga","doi":"10.1109/DS-RT47707.2019.8958710","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958710","url":null,"abstract":"This research presents a serious 3D game over a computer cluster that allows the learning of traffic signals so that the child is a responsible driver and pedestrian. For this purpose, we have applied an agile methodology to be able to produce a driving and pedestrian simulation system as a serious game, which includes a three-layer hierarchical architecture (orientation layer, management layer, and control layer). This architecture can be used to simulate three environments that are: a) Driver’s environment; b) Pedestrian environment; c) Vehicle traffic observer environment. All these environments are controlled by intelligent agents that allow the user to handle the autonomous longitudinal control, the relative distance, the speed of the cars, the collisions between vehicles, the pedestrian collision, excess of the speed limit, circulation in the opposite direction, and respect of traffic signals. Our solution to traffic problems has been validated by the execution of several tests in public schools, and the results demonstrate that this simulation application encourages learning in road safety education for children between 9 and 12 years old, using a distributed environment with a computational cluster in the cloud.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115997257","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
Implementation of a VoIP simulation network by using stochastic process methods 利用随机过程方法实现一个VoIP仿真网络
L. Behan, J. Rozhon, M. Voznák
It is not an entirely trivial matter to ensure the security of VoIP services and analyze attacks on telecommunication solutions the possible gains of which are attracting a growing number of active attackers. In many situations, it is necessary to detect and analyze these attacks, monitor their progress and then prepare an effective defence against them. The best way how to detect attacks on VoIP infrastructure is by implementing VoIP honeypot. To attract the highest number of attackers possible, our VoIP honeypots create fake VoIP traffic among themselves. This feature is based on a Markov chains principle. In this paper, we provide a complete implementation of a SIP emulation model which ensures the exchange process of SIP signaling messages between the honeypots.
确保VoIP服务的安全性并分析对电信解决方案的攻击并不是一件完全微不足道的事情,这些解决方案的可能收益正在吸引越来越多的活跃攻击者。在许多情况下,有必要检测和分析这些攻击,监控其进展,然后准备有效的防御措施。检测VoIP基础设施攻击的最佳方法是实现VoIP蜜罐。为了吸引尽可能多的攻击者,我们的VoIP蜜罐在它们之间创建虚假的VoIP流量。该特性基于马尔可夫链原理。在本文中,我们提供了一个完整的SIP仿真模型的实现,该模型保证了蜜罐之间SIP信令消息的交换过程。
{"title":"Implementation of a VoIP simulation network by using stochastic process methods","authors":"L. Behan, J. Rozhon, M. Voznák","doi":"10.1109/DS-RT47707.2019.8958656","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958656","url":null,"abstract":"It is not an entirely trivial matter to ensure the security of VoIP services and analyze attacks on telecommunication solutions the possible gains of which are attracting a growing number of active attackers. In many situations, it is necessary to detect and analyze these attacks, monitor their progress and then prepare an effective defence against them. The best way how to detect attacks on VoIP infrastructure is by implementing VoIP honeypot. To attract the highest number of attackers possible, our VoIP honeypots create fake VoIP traffic among themselves. This feature is based on a Markov chains principle. In this paper, we provide a complete implementation of a SIP emulation model which ensures the exchange process of SIP signaling messages between the honeypots.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121084197","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
Using traffic microsimulation to evaluate potential crashes: some results 使用交通微观模拟来评估潜在的碰撞:一些结果
G. Guido, Vincenzo Pasquale Giofrè, V. Astarita, A. Vitale
Traffic microsimulation has been used extensively to evaluate consequences of different traffic planning and control policies in terms of travel time delays, queues, pollutant emissions and every other common measured performance while at the same time traffic safety has not been considered in common traffic microsimulation packages as a measure of performance for different traffic scenarios. The absence of safety evaluation with microscopic simulation models is due to a lack of complete and established models for the simulation of potential crashes. Commonly-used procedures for safety evaluation with microscopic simulation have been based on traffic conflict theory which until recently was not extended to single vehicle crashes and to crashes between vehicles which are moving on non-conflicting trajectories. This paper presents some applications of a new procedure based on potential crash events simulation for the evaluation of safety levels in microsimulated traffic scenarios which takes into account also potential crashes with road side objects and barriers.
交通微模拟已被广泛用于评估不同交通规划和控制政策在旅行时间延误、排队、污染物排放和其他常见测量性能方面的后果,而与此同时,在常见的交通微模拟包中,交通安全尚未被考虑作为不同交通场景的性能度量。缺乏微观模拟模型的安全评估是由于缺乏完整和建立的模型来模拟潜在的碰撞。微观模拟安全评价的常用程序是基于交通冲突理论的,直到最近才扩展到单车辆碰撞和在非冲突轨迹上移动的车辆之间的碰撞。本文介绍了一种基于潜在碰撞事件模拟的新程序在微模拟交通场景中安全水平评估的一些应用,该程序还考虑了与路边物体和障碍物的潜在碰撞。
{"title":"Using traffic microsimulation to evaluate potential crashes: some results","authors":"G. Guido, Vincenzo Pasquale Giofrè, V. Astarita, A. Vitale","doi":"10.1109/DS-RT47707.2019.8958687","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958687","url":null,"abstract":"Traffic microsimulation has been used extensively to evaluate consequences of different traffic planning and control policies in terms of travel time delays, queues, pollutant emissions and every other common measured performance while at the same time traffic safety has not been considered in common traffic microsimulation packages as a measure of performance for different traffic scenarios. The absence of safety evaluation with microscopic simulation models is due to a lack of complete and established models for the simulation of potential crashes. Commonly-used procedures for safety evaluation with microscopic simulation have been based on traffic conflict theory which until recently was not extended to single vehicle crashes and to crashes between vehicles which are moving on non-conflicting trajectories. This paper presents some applications of a new procedure based on potential crash events simulation for the evaluation of safety levels in microsimulated traffic scenarios which takes into account also potential crashes with road side objects and barriers.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127955793","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
Analysing Real-time Distributed Systems using Timed Actors 使用定时参与者分析实时分布式系统
M. Sirjani
I will introduce timed actors for modeling distributed systems and will explain our theories, techniques and tools for model checking and performance evaluation of such models. Timed Rebeca can be used to model asynchronous event-based components in systems, and real time constraints can be captured in the language. I will explain how floating-time transition system can be used for model checking of such models when we are interested in event-based properties, and how it helps in state space reduction. I will show different applications of our approach including analysing a wireless sensor network application, mobile ad-hoc network protocols, network-on-chip designs, and a macroscopic agent-based simulation of urban planning.
我将介绍用于建模分布式系统的时间参与者,并将解释我们用于模型检查和此类模型的性能评估的理论、技术和工具。Timed Rebeca可用于对系统中基于事件的异步组件建模,并且可以在该语言中捕获实时约束。我将解释当我们对基于事件的属性感兴趣时,如何使用浮动时间转换系统对这些模型进行模型检查,以及它如何帮助减少状态空间。我将展示我们方法的不同应用,包括分析无线传感器网络应用、移动自组织网络协议、片上网络设计和基于宏观主体的城市规划模拟。
{"title":"Analysing Real-time Distributed Systems using Timed Actors","authors":"M. Sirjani","doi":"10.1109/DS-RT47707.2019.8958670","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958670","url":null,"abstract":"I will introduce timed actors for modeling distributed systems and will explain our theories, techniques and tools for model checking and performance evaluation of such models. Timed Rebeca can be used to model asynchronous event-based components in systems, and real time constraints can be captured in the language. I will explain how floating-time transition system can be used for model checking of such models when we are interested in event-based properties, and how it helps in state space reduction. I will show different applications of our approach including analysing a wireless sensor network application, mobile ad-hoc network protocols, network-on-chip designs, and a macroscopic agent-based simulation of urban planning.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128464266","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
A Distributed Model Predictive Control Strategy for Vehicle Teams in Uncertain Narrowed Environments 不确定狭窄环境下车辆团队的分布式模型预测控制策略
Anselmo Filice, Babak Rahami
In this paper, an hybrid distributed MPC strategy has been developed for teams of unmanned vehicle moving in uncertain and narrowed environments. The proposed solution does not require the exact knowledge of the obstacle and /or corridor geometry. The resulting algorithm is conceived so that only the leader of the platoon within a corridor computes the admissible control actions that will be successively used by all the followers.
针对在不确定和狭窄环境中移动的无人车队,提出了一种混合分布式MPC策略。提出的解决方案不需要对障碍物和/或走廊几何形状有确切的了解。由此产生的算法被设想为只有在走廊内的排的领导者才能计算所有追随者将依次使用的可接受的控制动作。
{"title":"A Distributed Model Predictive Control Strategy for Vehicle Teams in Uncertain Narrowed Environments","authors":"Anselmo Filice, Babak Rahami","doi":"10.1109/DS-RT47707.2019.8958672","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958672","url":null,"abstract":"In this paper, an hybrid distributed MPC strategy has been developed for teams of unmanned vehicle moving in uncertain and narrowed environments. The proposed solution does not require the exact knowledge of the obstacle and /or corridor geometry. The resulting algorithm is conceived so that only the leader of the platoon within a corridor computes the admissible control actions that will be successively used by all the followers.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"260 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115888713","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
Reproducible parallel simulation experiments via pure functional programming 通过纯函数式编程可重复的并行模拟实验
Tom Warnke, A. Uhrmacher
Due to the increasing complexity of simulation models, the experiments conducted with these models become more complex as well. To date, software support for reproducible complex simulation experiments is constrained to specific application domains and experiment types. As a step towards a one-size-fits-all solution, we express simulation experiments as pure functions. With random number generation wrapped in the state monad, we achieve bit-level reproducibility of simulation results even for complex experiment setups. Additionally, we show how simulation runs can be executed in parallel without jeopardizing reproducibility. While the approach is independent of concrete simulation backends, we illustrate it by using NetLogo in various complex simulation experiments, utilizing design of experiments, simulation-based optimization, and statistical model checking.
由于仿真模型的复杂性不断增加,使用这些模型进行的实验也变得更加复杂。迄今为止,对可重复的复杂模拟实验的软件支持仅限于特定的应用领域和实验类型。作为迈向一刀切解决方案的一步,我们将模拟实验表示为纯函数。通过将随机数生成封装在状态单子中,即使对于复杂的实验设置,我们也可以实现模拟结果的位级再现性。此外,我们还展示了如何在不影响再现性的情况下并行执行模拟运行。虽然该方法独立于具体的仿真后端,但我们通过在各种复杂的仿真实验中使用NetLogo,利用实验设计,基于仿真的优化和统计模型检查来说明它。
{"title":"Reproducible parallel simulation experiments via pure functional programming","authors":"Tom Warnke, A. Uhrmacher","doi":"10.1109/DS-RT47707.2019.8958655","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958655","url":null,"abstract":"Due to the increasing complexity of simulation models, the experiments conducted with these models become more complex as well. To date, software support for reproducible complex simulation experiments is constrained to specific application domains and experiment types. As a step towards a one-size-fits-all solution, we express simulation experiments as pure functions. With random number generation wrapped in the state monad, we achieve bit-level reproducibility of simulation results even for complex experiment setups. Additionally, we show how simulation runs can be executed in parallel without jeopardizing reproducibility. While the approach is independent of concrete simulation backends, we illustrate it by using NetLogo in various complex simulation experiments, utilizing design of experiments, simulation-based optimization, and statistical model checking.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115732097","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
期刊
2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
全部 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