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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bhatia, N. P., & Szegő, G. P. (2002). Stability theory of dynamical systems. Springer-Verlag Berlin Heidelberg. ISBN 978-3-540-42748-3.
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.
Davis, P. K. (1995). Distributed interactive simulation in the evolution of DoD warfare modeling and simulation. Proceedings of the IEEE, 83(8).
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.
Evans, P., & Annunziata, M. (2012, November 26). Industrial internet: Pushing the boundaries of minds and machines. GE.
Fettweis, A. (1986). Wave digital filters: Theory and practice. Proceeding of the IEEE, 74(2), 270–327.
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.
Gershenson, C., & Rosenblueth, D. A. (2012). Self-organizing traffic lights at multiple-street intersections. Complexity, 17(4), 23–39.
Helbing, D., Siegmeier, J., & ̈ammer, S. L. (2007). Self-organized network flows. NHM, 2(2), 193–210.
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.
HLA standard. IEEE standard for modeling and simulation (M&S) high-level architecture (HLA) –framework and rules ieeexplore.ieee.org/servlet/opac?punumber=7179
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.
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.
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.
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.
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., 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.
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.
Manyika, J., Chui, M., Bisson, P., Woetzel, J., Dobbs, R., Bughin, J., & Aharon, D. (2015). The Internet of things: Map** the value beyond the hype. McKinsey Global Institute.
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.
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.
OpenStreetMap Contributors. (2017). Planet dump retrieved from https://planet.osm.org, https://www.openstreetmap.org
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.
PORTICO. An open-source Run-Time Infrastructure for HLA-based distributed simulations – www.porticoproject.org
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.
Rasmussen, C. E., & Williams, C. K. I. (2006). Gaussian processes for machine learning. University Press Group Limited.
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.
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).
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.
Teschl, G. (2012). Ordinary differential equations and dynamical systems. American Mathematical Society. Providence, Rhode Island. ISBN 978-0-8218-8328-0.
Williams, S. (2008). Communication in mechanism design. Cambridge, UK, Cambridge University Press.
Acknowledgment
This work was supported in part by FORCES (Foundations Of Resilient CybEr-physical Systems), which receives support from the National Science Foundation (NSF award numbers CNS-1238959, CNS-1238962, CNS1239054, CNS-1239166), by the Air Force Research Laboratory under award FA8750-14-2-0180, and by National Institute of Standards and Technology.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Karsai, G., Koutsoukos, X., Neema, H., Volgyesi, P., Sztipanovits, J. (2019). Transportation Networks. In: Kott, A., Linkov, I. (eds) Cyber Resilience of Systems and Networks. Risk, Systems and Decisions. Springer, Cham. https://doi.org/10.1007/978-3-319-77492-3_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-77492-3_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-77491-6
Online ISBN: 978-3-319-77492-3
eBook Packages: EngineeringEngineering (R0)