• KeYmaera

  • Referenced in 44 articles [sw03709]
  • case studies from train control and air traffic management...
  • VISSIM

  • Referenced in 20 articles [sw13506]
  • world’s leading software for microscopic traffic simulation, PTV Vissim displays all road users ... integration with other systems for signal controllers, traffic management or emissions models. PTV Vissim...
  • DynaMIT

  • Referenced in 16 articles [sw01808]
  • terms of infrastructure, traffic flow and traffic control. This paper describes the design and specification...
  • FALKO

  • Referenced in 11 articles [sw04839]
  • simulation the whole closed-loop traffic control system is modelled within FALKO. The railway process...
  • EVALPSN

  • Referenced in 4 articles [sw02938]
  • Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN In this ... introduce an intelligent real-time traffic signal control system based on a paraconsistent logic program ... deontic reasoning. We show how the traffic signal control is implemented in EVALPSN with taking ... Japan. Simulation results for comparing EVALPSN traffic signal control to fixed-time traffic signal control...
  • FranTk

  • Referenced in 6 articles [sw13065]
  • elements of a prototype, Air Traffic Control simulator. FranTk uses a binding to the popular...
  • ToolBus

  • Referenced in 8 articles [sw02041]
  • inter-tool communication. Instead, all interactions are controlled by a “script” that formalizes ... build a simulator for traffic light control. We give an overview of these case studies...
  • SATURN

  • Referenced in 7 articles [sw20641]
  • SATURN - a modern assignment model. Traffic Engineering and Control. Congested Highway Assignment Software. A powerful ... package to create both strategic and local traffic models. SATURN has been continuously developed over...
  • SEEDS

  • Referenced in 1 article [sw02278]
  • environment for the evaluation of distributed traffic control systems. The goal of the SEEDS project ... analysis and evaluation of distributed traffic control systems. It provides a general purpose tool ... applications like e.g. air and maritime traffic control systems. The environment will be composed...
  • AntNet

  • Referenced in 65 articles [sw11975]
  • AntNet: Distributed stigmergetic control for communications networks. This paper introduces AntNet, a novel approach ... under several paradigmatic spatial and temporal traffic distributions. Results are very encouraging. AntNet showed superior...
  • Frenetic

  • Referenced in 7 articles [sw16270]
  • interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used ... query language for classifying and aggregating network traffic as well as a functional reactive combinator...
  • MoleView

  • Referenced in 1 article [sw11684]
  • actual data from air and road traffic control, medical imaging, and software comprehension applications...
  • CARRADS

  • Referenced in 1 article [sw00106]
  • patterns in the routing control traffic and prioritize them based on their information content...
  • BotSniffer

  • Referenced in 3 articles [sw21739]
  • BotSniffer: Detecting botnet command and control channels in network traffic...
  • ExecScent

  • Referenced in 3 articles [sw23931]
  • domains in live networks with adaptive control protocol templates. In this paper, we present ExecScent ... names from live enterprise network traffic. ExecScent automatically learns control protocol templates (CPTs) from examples ... CPTs are then adapted to the “background traffic” of the network where the templates...
  • SGS

  • Referenced in 1 article [sw38855]
  • attacks to the controller. Existing solutions are fundamentally based forged traffic analysis, increasing computational cost ... safe-guard scheme (SGS) for protecting control plane against DDoS attacks, and the main characteristic ... organized in two modules: anomaly traffic detection and controller dynamic defense. Anomaly traffic detection focuses ... innovatively adopting four-tuple feature vector. Controller dynamic defense mitigates DDoS attacks’ effects on control...
  • ALINEA

  • Referenced in 2 articles [sw28024]
  • data-driven control design approach for freeway traffic ramp metering with virtual reference feedback tuning ... shot” data-driven control design methodology. This paper presents an application of VRFT ... freeway traffic system. When there is not enough prior knowledge of the controlled system ... output data collected from the freeway traffic system. The extensive simulations are built on both...
  • CityTrafficSimulator

  • Referenced in 1 article [sw12663]
  • network of paths on which the traffic will be simulated. The Signal Light Editor allows ... more network nodes to control the traffic flow...
  • WINTRAC

  • Referenced in 1 article [sw02282]
  • simulations that the scheme can efficiently control TCP traffic to limit queue buildups and buffer...
  • BotFinder

  • Referenced in 1 article [sw21738]
  • level properties of the bot’s network traffic. BotFinder does not rely on content analysis ... features of command-and-control communication, based on observing traffic that bots produce ... controlled environment. Using these features, BotFinder creates models that can be deployed at network egress ... evaluated BotFinder on real-world traffic datasets -- most notably, the NetFlow information of a large...