Skip to main content
Top

2019 | OriginalPaper | Chapter

18. Transportation Networks

Authors : Gabor Karsai, Xenofon Koutsoukos, Himanshu Neema, Peter Volgyesi, Janos Sztipanovits

Published in: Cyber Resilience of Systems and Networks

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

A transportation network is a critical component of a Smart City (considered in the preceding chapter), and therefore it is fitting that a distinguishing element of this chapter is the resilience analysis of transportation networks. The chapter highlights the importance of humans in most cyber-physical systems and uses the term Human Cyber-Physical System (H-CPS). It further argues that H-CPS design processes should use five fundamentally different abstraction layers: the physical layer, the three “cyber” layers: network, service platform, and application layers, and the human layer. It then describes the Cyber-Physical Systems Wind Tunnel (CPSWT), a simulation integration architecture tool kit, and proceeds to illustrate a simulation-based resilience analysis using a transportation network example.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
go back to reference Bhatia, N. P., & Szegő, G. P. (2002). Stability theory of dynamical systems. Springer-Verlag Berlin Heidelberg. ISBN 978-3-540-42748-3. Bhatia, N. P., & Szegő, G. P. (2002). Stability theory of dynamical systems. Springer-Verlag Berlin Heidelberg. ISBN 978-3-540-42748-3.
go back to reference Dai, S., & Koutsoukos, X. (2016). Safety analysis of automotive control systems using multi-modal port-Hamiltonian systems. In 19th international conference on hybrid systems: Computation and control (pp. 105–114) LNCS Vol 10012, Springer. Dai, S., & Koutsoukos, X. (2016). Safety analysis of automotive control systems using multi-modal port-Hamiltonian systems. In 19th international conference on hybrid systems: Computation and control (pp. 105–114) LNCS Vol 10012, Springer.
go back to reference Davis, P. K. (1995). Distributed interactive simulation in the evolution of DoD warfare modeling and simulation. Proceedings of the IEEE, 83(8).CrossRef Davis, P. K. (1995). Distributed interactive simulation in the evolution of DoD warfare modeling and simulation. Proceedings of the IEEE, 83(8).CrossRef
go back to reference de Moura, L., & Bjørner, N. (2008). Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings, volume 4963 of Lecture Notes in Computer Science (pp. 337–340). Springer. de Moura, L., & Bjørner, N. (2008). Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings, volume 4963 of Lecture Notes in Computer Science (pp. 337–340). Springer.
go back to reference Evans, P., & Annunziata, M. (2012, November 26). Industrial internet: Pushing the boundaries of minds and machines. GE. Evans, P., & Annunziata, M. (2012, November 26). Industrial internet: Pushing the boundaries of minds and machines. GE.
go back to reference Fettweis, A. (1986). Wave digital filters: Theory and practice. Proceeding of the IEEE, 74(2), 270–327.CrossRef Fettweis, A. (1986). Wave digital filters: Theory and practice. Proceeding of the IEEE, 74(2), 270–327.CrossRef
go back to reference Fouladvand, M. E., Shaebani, M. R., & Sadjadi, Z. (2004). Intelligent controlling simulation of traffic flow in a small city network. Journal of the Physical Society of Japan, 73(11), 3209–3214.CrossRef Fouladvand, M. E., Shaebani, M. R., & Sadjadi, Z. (2004). Intelligent controlling simulation of traffic flow in a small city network. Journal of the Physical Society of Japan, 73(11), 3209–3214.CrossRef
go back to reference Gershenson, C., & Rosenblueth, D. A. (2012). Self-organizing traffic lights at multiple-street intersections. Complexity, 17(4), 23–39.MathSciNetCrossRef Gershenson, C., & Rosenblueth, D. A. (2012). Self-organizing traffic lights at multiple-street intersections. Complexity, 17(4), 23–39.MathSciNetCrossRef
go back to reference Hemingway, G., Neema, H., Nine, H., & Sztipanovits, J. (2012, February). Gabor Karsai: Rapid synthesis of high-level architecture-based heterogeneous simulation: A model-based integration approach, simulation. Transactions of the Society for Modeling and Simulation International, 88(2), 217–232.CrossRef Hemingway, G., Neema, H., Nine, H., & Sztipanovits, J. (2012, February). Gabor Karsai: Rapid synthesis of high-level architecture-based heterogeneous simulation: A model-based integration approach, simulation. Transactions of the Society for Modeling and Simulation International, 88(2), 217–232.CrossRef
go back to reference Kagermann, H., Wahlster, W., & Helbig, J. (2013, April). Recommendations for implementing the strategic initiative INDUSTRIE 4.0, ACATECH report. National Academy of Science and Engineering. Kagermann, H., Wahlster, W., & Helbig, J. (2013, April). Recommendations for implementing the strategic initiative INDUSTRIE 4.0, ACATECH report. National Academy of Science and Engineering.
go back to reference Kottenstette, N., Hall, J., Koutsoukos, X., Sztipanovits, J., & Antsaklis, P. (2013, May). Design of networked control systems using passivity. IEEE Transactions on Control Systems Technology, 21(3), 649–665.CrossRef Kottenstette, N., Hall, J., Koutsoukos, X., Sztipanovits, J., & Antsaklis, P. (2013, May). Design of networked control systems using passivity. IEEE Transactions on Control Systems Technology, 21(3), 649–665.CrossRef
go back to reference Koutsoukos, X., Kottenstette, N., Hall, J., Eyisi, E., LeBlanc, H., Porter, J., & Sztipanovits, J. (2012, December). A passivity approach for model-based compositional design of networked control systems. ACM Transactions on Embedded Computing Systems, Special Issue on the Synthesis of Cyber-Physical Systems, 11(4), 31. Koutsoukos, X., Kottenstette, N., Hall, J., Eyisi, E., LeBlanc, H., Porter, J., & Sztipanovits, J. (2012, December). A passivity approach for model-based compositional design of networked control systems. ACM Transactions on Embedded Computing Systems, Special Issue on the Synthesis of Cyber-Physical Systems, 11(4), 31.
go back to reference Laszka, A., Vorobeychik, Y., & Koutsoukos, X. (2015). “Resilient observation selection in adversarial settings”, 54th IEEE conference on decision and control (CDC’15), Osaka, Dec 15–18. Laszka, A., Vorobeychik, Y., & Koutsoukos, X. (2015). “Resilient observation selection in adversarial settings”, 54th IEEE conference on decision and control (CDC’15), Osaka, Dec 15–18.
go back to reference LeBlanc, H., & Koutsoukos, X. (2013, April). Algorithms for determining network robustness, ACM International Conference on High Confidence Networked Systems (HiCoNS 2013). Philadelphia, PA, April 8–11, 2013. Heath LeBlanc and Xenofon Koutsoukos. “Resilient synchronization in robust networked multi-agent systems”, Hybrid Systems: Computation and Control 2013 (HSCC 2013). Philadelphia, PA, 8–11. LeBlanc, H., & Koutsoukos, X. (2013, April). Algorithms for determining network robustness, ACM International Conference on High Confidence Networked Systems (HiCoNS 2013). Philadelphia, PA, April 8–11, 2013. Heath LeBlanc and Xenofon Koutsoukos. “Resilient synchronization in robust networked multi-agent systems”, Hybrid Systems: Computation and Control 2013 (HSCC 2013). Philadelphia, PA, 8–11.
go back to reference LeBlanc, H., Zhang, H., Koutsoukos, X., & Sundaram, S. (2013, April). Resilient asymptotic consensus in robust networks. IEEE Journal on Selected Areas on Communication, Special Issue on In-Network Computation: Exploring the Fundamental Limits, 31(4), 766–781.CrossRef LeBlanc, H., Zhang, H., Koutsoukos, X., & Sundaram, S. (2013, April). Resilient asymptotic consensus in robust networks. IEEE Journal on Selected Areas on Communication, Special Issue on In-Network Computation: Exploring the Fundamental Limits, 31(4), 766–781.CrossRef
go back to reference Lou, J., & Vorobeychik, Y. (2016). Decentralization and security in dynamic traffic light control. In Proceedings of the ACM symposium and Bootcamp on the science of security (pp. 90–92). IGI Global. Lou, J., & Vorobeychik, Y. (2016). Decentralization and security in dynamic traffic light control. In Proceedings of the ACM symposium and Bootcamp on the science of security (pp. 90–92). IGI Global.
go back to reference Manyika, J., Chui, M., Bisson, P., Woetzel, J., Dobbs, R., Bughin, J., & Aharon, D. (2015). The Internet of things: Mapping the value beyond the hype. McKinsey Global Institute. Manyika, J., Chui, M., Bisson, P., Woetzel, J., Dobbs, R., Bughin, J., & Aharon, D. (2015). The Internet of things: Mapping the value beyond the hype. McKinsey Global Institute.
go back to reference Maroti, M., Kereskenyi, R., Kecskes, T., Volgyesi, P., & Ledeczi, A. (2014, June). Online collaborative environment for designing complex computational systems. In The international conference on computational science. Cairns: ICCS. Maroti, M., Kereskenyi, R., Kecskes, T., Volgyesi, P., & Ledeczi, A. (2014, June). Online collaborative environment for designing complex computational systems. In The international conference on computational science. Cairns: ICCS.
go back to reference Mikami, S., & Kakazu, Y. (1994). Genetic reinforcement learning for co-operative traffic signal control. In Proceedings of the first IEEE conference on evolutionary computation, 1994 (Vol. 1, pp. 223–228). IEEE World Congress on Computational Intelligence. Mikami, S., & Kakazu, Y. (1994). Genetic reinforcement learning for co-operative traffic signal control. In Proceedings of the first IEEE conference on evolutionary computation, 1994 (Vol. 1, pp. 223–228). IEEE World Congress on Computational Intelligence.
go back to reference Perkins, J., Kim, S., Larsen, S., Amarasinghe, S., Bachrach, J., Carbin, M., Pacheco, C., Sherwood, F., Sidiroglou, S., Sullivan, G., Wong, W., Zibin, Y., Ernst, M., & Rinard, M. Automatically Patching Errors in Deployed Software. SOSP’09, October 11–14, Big Sky, Montana. Perkins, J., Kim, S., Larsen, S., Amarasinghe, S., Bachrach, J., Carbin, M., Pacheco, C., Sherwood, F., Sidiroglou, S., Sullivan, G., Wong, W., Zibin, Y., Ernst, M., & Rinard, M. Automatically Patching Errors in Deployed Software. SOSP’09, October 11–14, Big Sky, Montana.
go back to reference Pradhan, S., Dubey, A., Levendovszky, T., Kumar, P. S., Emfinger, W. A., Balasubramanian, D., Otte, W., & Karsai, G. (2016). Achieving resilience in distributed software systems via self-reconfiguration. Journal of Systems and Software, 122, 344–363.CrossRef Pradhan, S., Dubey, A., Levendovszky, T., Kumar, P. S., Emfinger, W. A., Balasubramanian, D., Otte, W., & Karsai, G. (2016). Achieving resilience in distributed software systems via self-reconfiguration. Journal of Systems and Software, 122, 344–363.CrossRef
go back to reference Rasmussen, C. E., & Williams, C. K. I. (2006). Gaussian processes for machine learning. University Press Group Limited. Rasmussen, C. E., & Williams, C. K. I. (2006). Gaussian processes for machine learning. University Press Group Limited.
go back to reference Roth, T., Song, E., Burns, M., Neema, H., Emfinger, W., & Szipanovits, J. (2017). “Cyber-physical system development environment for energy applications”. In ASME power and energy conference 2017, Charlotte, USA, 06/2017. Roth, T., Song, E., Burns, M., Neema, H., Emfinger, W., & Szipanovits, J. (2017). “Cyber-physical system development environment for energy applications”. In ASME power and energy conference 2017, Charlotte, USA, 06/2017.
go back to reference Royani, T., Haddadnia, J., & Alipoor, M. (2010). Traffic signal control for isolated intersections based on fuzzy neural network and genetic algorithm. In Proceedings of the 10th WSEAS international conference on signal processing, computational geometry and artificial vision, ser.ISCGAV’10 (pp. 87–91). Royani, T., Haddadnia, J., & Alipoor, M. (2010). Traffic signal control for isolated intersections based on fuzzy neural network and genetic algorithm. In Proceedings of the 10th WSEAS international conference on signal processing, computational geometry and artificial vision, ser.ISCGAV’10 (pp. 87–91).
go back to reference Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J., & Wang, S. (2012). Toward a science of cyber-physical system integration. Proceedings of the IEEE, Special Issue on Cyber-Physical Systems, 100(1), 29–44. Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J., & Wang, S. (2012). Toward a science of cyber-physical system integration. Proceedings of the IEEE, Special Issue on Cyber-Physical Systems, 100(1), 29–44.
go back to reference Teschl, G. (2012). Ordinary differential equations and dynamical systems. American Mathematical Society. Providence, Rhode Island. ISBN 978-0-8218-8328-0. Teschl, G. (2012). Ordinary differential equations and dynamical systems. American Mathematical Society. Providence, Rhode Island. ISBN 978-0-8218-8328-0.
go back to reference Williams, S. (2008). Communication in mechanism design. Cambridge, UK, Cambridge University Press. Williams, S. (2008). Communication in mechanism design. Cambridge, UK, Cambridge University Press.
Metadata
Title
Transportation Networks
Authors
Gabor Karsai
Xenofon Koutsoukos
Himanshu Neema
Peter Volgyesi
Janos Sztipanovits
Copyright Year
2019
DOI
https://doi.org/10.1007/978-3-319-77492-3_18