Skip to main content
Springer Nature Link
Log in

Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (ISoLA 2020)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12479))

Included in the following conference series:

Abstract

Civil engineering has only recently started the digitalisation journey by standardising around Building Information Models (BIMs). In the process of construction a dimension of time is added in what is called 4D BIM and this can serve as the basis for a digital twin. It is predicted that such a digital twin can enhance the overall overview of status of the construction of a new building by means of different types of sensors, and interpreting these in relation to a BIM. In the construction phase there are rules and regulations targeting the safety of the different kinds of construction workers at the construction site. In this paper we provide a vision of how digital twins can assist with spotting potential violations of the constraints stated by the rules and regulations, and empirically evaluate a proof-of-concept software tool on a large scale, real-world 4D BIM.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    www.solibri.com.

  2. 2.

    The role of the term tuple can be understood as follows: when a weak constraint is violated, a term tuple is added to the model and assigned the penalty, rather than the weak constraint itself. This provides a mechanism to relate weak constraints. We will not elaborate on the details of term tuples here, and instead refer the reader to ASP documentation [15].

  3. 3.

    http://www.ifcopenshell.org/.

References

  1. Bau, B.G.: Absturzsicherungen auf Baustellen (2019). https://www.bgbau.de/fileadmin/Medien-Objekte/Medien/Bausteine/b_100/b_100.pdf. Accessed 28 Feb 2020

  2. OSHA: Commonly used statistics (2019). www.osha.gov/data/commonstats. Accessed 28 Feb 2020

  3. Akbarieh, A., Jayasinghe, L.B., Waldmann, D., Teferle, F.N.: BIM-based end-of-lifecycle decision making and digital deconstruction: literature review. Sustainability 12(7), 2670 (2020)

    Article  Google Scholar 

  4. Bhatt, M.: Reasoning about space, actions, and change: a paradigm for applications of spatial reasoning. In: Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, pp. 284–320. IGI Global (2012)

    Google Scholar 

  5. Bhatt, M., Hois, J., Kutz, O.: Ontological modelling of form and function for architectural design. Appl. Ontol. 7(3), 233–267 (2012)

    Article  Google Scholar 

  6. Bhatt, M., Schultz, C., Huang, M.: The shape of empty space: human-centred cognitive foundations in computing for spatial design. In: 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 33–40. IEEE (2012)

    Google Scholar 

  7. Bhatt, M., Wallgrun, J.O.: Geospatial narratives and their spatio-temporal dynamics: commonsense reasoning for high-level analyses in geographic information systems. ISPRS Int. J. Geo Inf. 3(1), 166–205 (2014)

    Article  Google Scholar 

  8. Bloch, T., Sacks, R.: Clustering information types for semantic enrichment of building information models to support automated code compliance checking. J. Comput. Civ. Eng. 34(6), 04020040 (2020)

    Article  Google Scholar 

  9. Boje, C., Guerriero, A., Kubicki, S., Rezgui, Y.: Towards a semantic construction digital twin: directions for future research. Autom. Construct. 114, 103179 (2020)

    Google Scholar 

  10. Braun, A., Tuttas, S., Borrmann, A., Stilla, U.: A concept for automated construction progress monitoring using BIM-based geometric constraints and photogrammetric point clouds. ITcon 20(8), 68–79 (2015)

    Google Scholar 

  11. Deo, D., Esterman Jr., M., Thorn, B.K.: A methodology to quantify Cumulative Damage Function (CuDF) for integration into an object-oriented Life Cycle Assessment (LCA). In: International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, vol. 58165, p. V004T05A033. American Society of Mechanical Engineers (2017)

    Google Scholar 

  12. Dimyadi, J., Amor, R.: Automated building code compliance checking-where is it at. In: Proceedings of CIB WBC, vol. 6, p. 1 (2013)

    Google Scholar 

  13. Dimyadi, J., Clifton, C., Spearpoint, M., Amor, R.: Regulatory knowledge encoding guidelines for automated compliance audit of building engineering design. In: Computing in Civil and Building Engineering, pp. 536–543. ASCE (2014)

    Google Scholar 

  14. Dubba, K., Bhatt, M., Dylla, F., Hogg, D.C., Cohn, A.G.: Interleaved inductive-abductive reasoning for learning complex event models. In: Muggleton, S.H., Tamaddoni-Nezhad, A., Lisi, F.A. (eds.) ILP 2011. LNCS (LNAI), vol. 7207, pp. 113–129. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31951-8_14

    Chapter  Google Scholar 

  15. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with Clingo 5. In: Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2016)

    Google Scholar 

  16. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: a conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260–265. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72200-7_23

    Chapter  Google Scholar 

  17. Gelernter, D.: Mirror Worlds: Or: the Day Software Puts the Universe in a Shoebox... How It Will Happen and What It Will Mean. Oxford University Press, Oxford (1993)

    Google Scholar 

  18. Golparvar-Fard, M., Bohn, J., Teizer, J., Savarese, S., Peña-Mora, F.: Evaluation of image-based modeling and laser scanning accuracy for emerging automated performance monitoring techniques. Autom. Construct. 20(8), 1143–1155 (2011)

    Article  Google Scholar 

  19. Golparvar-Fard, M., Peña-Mora, F., Savarese, S.: D4AR-A 4-dimensional augmented reality model for automating construction progress monitoring data collection, processing and communication. J. Inf. Technol. Construct. 14(13), 129–153 (2009)

    Google Scholar 

  20. Johansen, K.W., Nielsen, R.O., Schultz, C., Teizer, J.: Non-monotonic reasoning for automated progress analysis of construction operations. In: 20th International Conference on Construction Applications of Virtual Reality (CONVR 2020), pp. 292–303 (2020)

    Google Scholar 

  21. Khajavi, S.H., Motlagh, N.H., Jaribion, A., Werner, L.C., Holmström, J.: Digital twin: vision, benefits, boundaries, and creation for buildings. IEEE Access 7, 147406–147419 (2019)

    Article  Google Scholar 

  22. Li, B., Bhatt, M., Schultz, C.: lambdaProlog (QS): functional spatial reasoning in higher order logic programming (short paper). In: 14th International Conference on Spatial Information Theory (COSIT 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2019)

    Google Scholar 

  23. Li, B., Schultz, C., Melzner, J., Golovina, O., Teizer, J.: Safe and lean location-based construction scheduling. In: 37th International Symposium on Automation and Robotics in Construction (ISARC 2020), pp. 1409–1416 (2020)

    Google Scholar 

  24. Li, B., Teizer, J., Schultz, C.: Non-monotonic spatial reasoning for safety analysis in construction. In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, pp. 1–12 (2020)

    Google Scholar 

  25. Lu, Q., Xie, X., Parlikad, A.K., Schooling, J.M., Konstantinou, E.: Moving from building information models to digital twins for operation and maintenance. Proc. Inst. Civ. Eng. Smart Infrastruct. Construct. 1–11 (2020)

    Google Scholar 

  26. Marek, V.W., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm, pp. 375–398. Springer, Heidelberg (1999). https://doi.org/10.1007/978-3-642-60085-2_17

  27. Melzner, J., Zhang, S., Teizer, J., Bargstädt, H.J.: A case study on automated safety compliance checking to assist fall protection design and planning in building information models. Construc. Manage. Econ. 31(6), 661–674 (2013)

    Article  Google Scholar 

  28. Michalski, R.S.: Inferential theory of learning as a conceptual basis for multistrategy learning. Mach. Learn. 11(2–3), 111–151 (1993)

    Google Scholar 

  29. Migda, W., Szczepański, M., Lasowicz, N., Jakubczyk-Gałczyńska, A., Jankowski, R.: Non-linear analysis of inter-story pounding between wood-framed buildings during ground motion. Geosciences 9(12), 488 (2019)

    Article  Google Scholar 

  30. Perri, S., Scarcello, F., Leone, N.: Abductive logic programs with penalization: semantics, complexity and implementation. Theory Pract. Logic Program. 5(1–2), 123 (2005)

    Article  MathSciNet  Google Scholar 

  31. Ramer, U.: An iterative procedure for the polygonal approximation of plane curves. Comput. Graph. Image Process. 1(3), 244–256 (1972)

    Article  Google Scholar 

  32. Rocca, R., Rosa, P., Sassanelli, C., Fumagalli, L., Terzi, S.: Integrating virtual reality and digital twin in circular economy practices: a laboratory application case. Sustainability 12(6), 2286 (2020)

    Article  Google Scholar 

  33. Savitzky, A., Golay, M.J.: Smoothing and differentiation of data by simplified least squares procedures. Anal. Chem. 36(8), 1627–1639 (1964)

    Article  Google Scholar 

  34. Schultz, C., Li, B., Teizer, J.: Towards a unifying domain model of construction safety: SafeConDM. In: 27th International Workshop On Intelligent Computing In Engineering (EG-ICE) (2020)

    Google Scholar 

  35. Schwabe, K., König, M., Teizer, J.: BIM applications of rule-based checking in construction site layout planning tasks. In: ISARC. Proceedings of the International Symposium on Automation and Robotics in Construction, vol. 33, p. 1. IAARC Publications (2016)

    Google Scholar 

  36. Schwabe, K., Teizer, J., König, M.: Applying rule-based model-checking to construction site layout planning tasks. Autom. Construct. 97, 205–219 (2019)

    Article  Google Scholar 

  37. Suchan, J., Bhatt, M., Walega, P., Schultz, C.: Visual explanation by high-level abduction: on answer-set programming driven reasoning about moving objects. In: 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), New Orleans, USA, 2–7 February 2018, pp. 1965–1972. AAAI Press (2018)

    Google Scholar 

  38. Sydora, C., Stroulia, E.: Towards rule-based model checking of building information models. In: ISARC. Proceedings of the International Symposium on Automation and Robotics in Construction, vol. 36, pp. 1327–1333. IAARC Publications (2019)

    Google Scholar 

  39. Teizer, J.: Right-time vs real-time pro-active construction safety and health system architecture. Construction Innovation (2016)

    Google Scholar 

  40. Thagard, P., Shelley, C.: Abductive reasoning: logic, visual thinking, and coherence. In: Dalla Chiara, M.L., Doets, K., Mundici, D., van Benthem, J. (eds.) Logic and scientific methods, pp. 413–427. Springer, Dordrecht (1997). https://doi.org/10.1007/978-94-017-0487-8_22

  41. Toole, T.M., Gambatese, J.A., Abowitz, D.A.: Owners’ role in facilitating prevention through design. J. Prof. Issues Eng. Educ. Pract. 143(1), 04016012 (2017)

    Article  Google Scholar 

  42. Tuttas, S., Braun, A., Borrmann, A., Stilla, U.: Acquisition and consecutive registration of photogrammetric point clouds for construction progress monitoring using a 4D BIM. PFG J. Photogram. Remote Sens. Geoinf. Sci. 85(1), 3–15 (2017)

    Google Scholar 

  43. Vering, C., Mehrfeld, P., Nürenberg, M., Coakly, D., Lauster, M., Müller, D.: Unlocking potentials of building energy systems’ operational efficiency: application of digital twin design for HVAC systems. In: 16th International Building Performance Simulation Association (IBPSA) (2019)

    Google Scholar 

  44. Zhang, S., Boukamp, F., Teizer, J.: Ontology-based semantic modeling of construction safety knowledge: towards automated safety planning for job hazard analysis (JHA). Autom. Construct. 52, 29–41 (2015)

    Article  Google Scholar 

  45. Zhang, S., Sulankivi, K., Kiviniemi, M., Romo, I., Eastman, C.M., Teizer, J.: BIM-based fall hazard identification and prevention in construction safety planning. Saf. Sci. 72, 31–45 (2015)

    Article  Google Scholar 

  46. Zhang, S., Teizer, J., Lee, J.K., Eastman, C.M., Venugopal, M.: Building information modeling (BIM) and safety: automatic safety checking of construction models and schedules. Autom. Construct. 29, 183–195 (2013)

    Article  Google Scholar 

  47. Zoliner, R., Pardowitz, M., Knoop, S., Dillmann, R.: Towards cognitive robots: building hierarchical task representations of manipulations from human demonstration. In: Proceedings of the 2005 IEEE International Conference On Robotics and Automation, pp. 1535–1540. IEEE (2005)

    Google Scholar 

Download references

Acknowledgments

The authors gratefully acknowledge the Independent Research Fund Denmark for their financial support of the project “Intelligent Software Healing Environments” (DFF FTP1). We acknowledge the European Union for funding the BIM2TWIN (Grant agreement ID: 958398) and COGITO (Grant agreement ID: 958310) projects related to digital twins in a building context and the Poul Due Jensen Foundation for their funding for basic research in relation with digital twins.

Author information

Authors and Affiliations

  1. DIGIT, Department of Electrical and Computer Engineering, Aarhus University, Aarhus, Denmark

    Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Peter Gorm Larsen & Carl Schultz

  2. DIGIT, Department of Civil and Architecture Engineering, Aarhus University, Aarhus, Denmark

    Jochen Teizer

Authors
  1. Beidi Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rasmus O. Nielsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Karsten W. Johansen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jochen Teizer
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Peter Gorm Larsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Carl Schultz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Beidi Li , Jochen Teizer , Peter Gorm Larsen or Carl Schultz .

Editor information

Editors and Affiliations

  1. University of Limerick and Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Li, B., Nielsen, R.O., Johansen, K.W., Teizer, J., Larsen, P.G., Schultz, C. (2021). Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends. ISoLA 2020. Lecture Notes in Computer Science(), vol 12479. Springer, Cham. https://doi.org/10.1007/978-3-030-83723-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-83723-5_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-83722-8

  • Online ISBN: 978-3-030-83723-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics