Software Tools

• Traf-NetSim - FHWA.

• ARTIST - Bosch traffic simulator.

  • Road model, interface to external controller.

• MITSIM - (Ben-Akiva et al.).

• Shift-SmartAHS - Simulator developed at Berkeley (Varaiya et al.).

• HyTech (Sastry et al.), SMV (Clarke et al.).

  • Verification tools.

Previous slide

Next slide

Back to first slide

View graphic version