Abstract
The past decade has seen autonomous vehicles become the subject of considerable research and development activity. The majority of these advances have focused on individual vehicles, rather than the interactions that result when autonomous (unmanned) and conventional (manned) vehicles come together in an intelligent transportation system. The robustness of autonomous vehicles to contingencies caused by unpredictable human behavior is a critical safety concern. Assuring the reliability, availability, security, and similar non-functional attributes of autonomous vehicles is just as critical.
The doctoral research proposed in this paper centers on developing models capable of accurately representing environments where manned and unmanned vehicles coexist. An established macroscopic transportation model serves as the basis for the proposed work, and will be extended to differentiate between manned and autonomous vehicles. Stochastic methods will be applied to reflect the non-determinism of the operating environment, especially as related to driver behavior, and will facilitate analysis of robustness. The goal is to capture both basic operation of autonomous vehicles, as well as advanced capabilities such as platooning and robotic adaptation. The insights gained from these models are expected to facilitate the design of intelligent transportation systems that are both safe and efficient.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Defense Advanced Research Projects Agency: DARPA Urban Challenge (2007), http://archive.darpa.mil/grandchallenge/index.asp
Kelly, H.: Self-driving cars now legal in California (October 2012), http://www.cnn.com/2012/09/25/tech/innovation/self-driving-car-california
Howard, B.: Google: Self-driving cars in 3-5 years. Feds: Not so fast (February 2013), http://www.extremetech.com/extreme/147940-google-self-driving-cars-in-3-5-years-feds-not-so-fast
Mui, C.: Fasten your seatbelts: Google’s driver-less car is worth trillions (January 2013), http://www.forbes.com/sites/chunkamui/2013/01/22/fasten-your-seatbelts-googles-driverless-car-is-worth-trillions/
Mitsch, S., Loos, S., Platzer, A.: Towards formal verification of freeway traffic control. In: Third IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS), pp. 171–180 (2012)
Dotoli, M., Fanti, M., Iacobellis, G.: A freeway traffic control model by first order hybrid Petri nets. In: IEEE Conference on Automation Science and Engineering (CASE), pp. 425–431 (August 2011)
Zhen-Long, L.: A differential game modeling approach to dynamic traffic assignment and traffic signal control. In: IEEE International Conference on Systems, Man and Cybernetics, vol. 1, pp. 849–855 (October 2003)
Qianjiao, W., Rong, L., Xianglong, L.: An intelligent traffic control model based on intersection agent. In: International Conference on Information Engineering and Computer Science (ICIECS), pp. 1–5 (December 2009)
Tzes, A., Kim, S., McShane, W.: Applications of Petri networks to transportation network modeling. IEEE Transactions on Vehicular Technology 45(2), 391–400 (1996)
Júlvez, J., Boel, R.: A continuous Petri net approach for model predictive control of traffic systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 40(4), 686–697 (2010)
Dezani, H., Gomes, L., Damiani, F., Marranghello, N.: Controlling traffic jams on urban roads modeled in coloured Petri net using genetic algorithm. In: 38th Annual Conference on IEEE Industrial Electronics Society (IECON), pp. 3043–3048 (2012)
Li, J., Li, Q.: Modeling of urban traffic system based on dynamic stochastic fluid petri net. In: Workshop on Power Electronics and Intelligent Transportation Systems (PEITS), pp. 485–491 (2008)
Wang, J., Jin, C., Deng, Y.: Performance analysis of traffic networks based on stochastic timed Petri net models. In: Fifth IEEE International Conference on Engineering of Complex Computer System (ICECCS), pp. 77–85 (1999)
Ben-Akiva, M.E., Gao, S., Wei, Z., Wen, Y.: A dynamic traffic assignment model for highly congested urban networks. Transportation Research Part C: Emerging Technologies 24, 62–82 (2012)
Lin, S., De Schutter, B., Xi, Y., Hellendoorn, H.: An efficient model-based method for coordinated control of urban traffic networks. In: International Conference on Networking, Sensing, and Control (ICNSC), pp. 8–13 (April 2010)
Williams, B.M., Hoel, L.A.: Modeling and forecasting vehicular traffic flow as a seasonal ARIMA process: Theoretical basis and empirical results. Journal of Transportation Engineering 129(6), 664–672 (2003)
Wang, Y., Yang, Z., Guan, Q.: Traffic coordination and control model of regional boundary based on fuzzy control. In: International Conference on Intelligent Computation Technology and Automation (ICICTA), vol. 1, pp. 946–950 (October 2008)
Horton, G., Kulkarni, V.G., Nicol, D.M., Trivedi, K.S.: Fluid stochastic Petri nets: Theory, applications, and solution techniques. European Journal of Operational Research 105(1), 184–201 (1998)
Katsigiannis, Y., Georgilakis, P., Tsinarakis, G.: A novel colored fluid stochastic Petri net simulation model for reliability evaluation of wind/PV/diesel small isolated power systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 40(6), 1296–1309 (2010)
NIST: Strategic R&D Opportunities for 21st Century Cyber-Physical Systems (January 2013)
Team: Tartan Racing: Tartan racing: A multi-modal approach to the DARPA urban challenge. Technical report, DARPA Urban Challenge Technical Paper (2007)
Team: Stanford Racing: Stanford racing: DARPA urban challenge technical paper. Technical report, DARPA Urban Challenge Technical Paper (2007)
Team: VictorTango: TictorTango: Darpa urban challenge technical paper. Technical report, DARPA Urban Challenge Technical Paper (2007)
Team: MIT: MIT: DARPA urban challenge technical paper. Technical report, DARPA Urban Challenge Technical Paper (2007)
Campbell, M., Garcia, E., Huttenlocher, D., Miller, I., Moran, P., Nathan, A., Schimpf, B., Zych, N., Catlin, J., Chelarescu, F., et al.: Team Cornell: technical review of the DARPA urban challenge vehicle. Technical report, DARPA Urban Challenge Technical Paper (2007)
Bergenhem, C., Huang, Q., Benmimoun, A., Robinson, T.: Challenges of platooning on public motorways. In: 17th World Congress on Intelligent Transport Systems, pp. 1–12 (2010)
US Department of Transportation: Active traffic management, http://www.ops.fhwa.dot.gov/atdm/approaches/atm.htm
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Woodard, M., Sedigh, S. (2013). Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds) Software Engineering for Resilient Systems. SERENE 2013. Lecture Notes in Computer Science, vol 8166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40894-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-40894-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40893-9
Online ISBN: 978-3-642-40894-6
eBook Packages: Computer ScienceComputer Science (R0)