The Omnibus Java library efficiently derives optimal signal schedules for multimodal intersections. Specifically, intersections among tram lines with right of way and vehicle flows are considered, minimizing the maximum expected percentage of queued vehicles of each flow. Trams are modeled by Stochastic Time Petri Nets (STPNs), capturing periodic tram departures and bounded delays and travel times with general (i.e., non-Exponential) distribution. Vehicles are modeled by finite-capacity vacation queues with general vacation times determined by the intersection availability. For each vehicle flow, the expected queue size over time is derived, as well as the steady-state distribution of the expected queue size at multiples of the hyperperiod (resulting from nominal tram arrival times and vehicle traffic signals). Then, the behavior of each vehicle flow can be studied over intervals of arbitrary duration by just performing transient analysis for the hyperperiod duration, starting from the steady-state distribution of the expected queue size. Omnibus is notably designed to facilitate code usability, maintainability, and extensibility. It is available open source under the AGPLv3 licence. In particular, Omnibus leverages the SIRIO Library of the ORIS tool to model duration distributions and to specify and analyze STPNs.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections

  • Nicola Bertocci,
  • Laura Carnevali,
  • Leonardo Scommegna,
  • Enrico Vicario

摘要

The Omnibus Java library efficiently derives optimal signal schedules for multimodal intersections. Specifically, intersections among tram lines with right of way and vehicle flows are considered, minimizing the maximum expected percentage of queued vehicles of each flow. Trams are modeled by Stochastic Time Petri Nets (STPNs), capturing periodic tram departures and bounded delays and travel times with general (i.e., non-Exponential) distribution. Vehicles are modeled by finite-capacity vacation queues with general vacation times determined by the intersection availability. For each vehicle flow, the expected queue size over time is derived, as well as the steady-state distribution of the expected queue size at multiples of the hyperperiod (resulting from nominal tram arrival times and vehicle traffic signals). Then, the behavior of each vehicle flow can be studied over intervals of arbitrary duration by just performing transient analysis for the hyperperiod duration, starting from the steady-state distribution of the expected queue size. Omnibus is notably designed to facilitate code usability, maintainability, and extensibility. It is available open source under the AGPLv3 licence. In particular, Omnibus leverages the SIRIO Library of the ORIS tool to model duration distributions and to specify and analyze STPNs.