{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T23:32:46Z","timestamp":1780615966269,"version":"3.54.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030837228","type":"print"},{"value":"9783030837235","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-83723-5_8","type":"book-chapter","created":{"date-parts":[[2021,8,4]],"date-time":"2021-08-04T06:02:58Z","timestamp":1628056978000},"page":"109-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Towards a Digital Twin - Modelling an Agricultural Vehicle"],"prefix":"10.1007","author":[{"given":"Frederik F.","family":"Foldager","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Casper","family":"Thule","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ole","family":"Balling","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"PeterGorm","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,8,5]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Benatti, S., Tasora, A., Fusai, D., Mangoni, D.: A modular simulation platform for training robots via deep reinforcement learning and multibody dynamics. In: ACM International Conference Proceeding Series (2019). https:\/\/doi.org\/10.1145\/3365265.3365274","DOI":"10.1145\/3365265.3365274"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Blochwitz, T., et al.: Functional mockup Interface 2.0: the standard for tool independent exchange of simulation models. In: 9th International Modelica Conference, Munich, Germany, pp. 173\u2013184. Link\u00f6ping University Electronic Press, November 2012. https:\/\/doi.org\/10.3384\/ecp12076173","DOI":"10.3384\/ecp12076173"},{"key":"8_CR3","unstructured":"Bogomolov, S., et al.: Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical system. In: Oda, T., Fitzgerald, J. (eds.) 18th Overture Workshop, 7 December 2020 (online) (2020)"},{"key":"8_CR4","unstructured":"Chrono: An open source framework for the physics-based simulation of dynamic systems (2020). https:\/\/projectchrono.org. Accessed 25 June 2020"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1680\/geot.1979.29.1.47","volume":"29","author":"PA Cundall","year":"1979","unstructured":"Cundall, P.A., Strack, O.D.L.: A discrete numerical model for granular assemblies. G\u00e9otechnique 29(1), 47\u201365 (1979)","journal-title":"G\u00e9otechnique"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"104708","DOI":"10.1016\/j.still.2020.104708","volume":"204","author":"L ten Damme","year":"2020","unstructured":"ten Damme, L., et al.: Construction of modern wide, low-inflation pressure tyres per se does not affect soil stress. Soil Tillage Res. 204, 104708 (2020). https:\/\/doi.org\/10.1016\/j.still.2020.104708","journal-title":"Soil Tillage Res."},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-030-30985-5_4","volume-title":"From Software Engineering to Formal Methods and Tools, and Back","author":"J Fitzgerald","year":"2019","unstructured":"Fitzgerald, J., Larsen, P.G., Pierce, K.: Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 40\u201355. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30985-5_4"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Foldager, F., Pedersen, J., Skov, E., Evgrafova, A., Green, O.: Lidar-based 3D scans of soil surfaces and furrows in two soil types. Sensors (Switzerland) 19(3), 34 (2019). https:\/\/doi.org\/10.3390\/s19030661","DOI":"10.3390\/s19030661"},{"key":"8_CR9","unstructured":"Foldager, F.F., Balling, O., Gamble, C., Larsen, P.G., Boel, M., Green, O.: Design space exploration in the development of agricultural robots. In: Proceedings of the AgEng2018 Conference (2018)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-319-74781-1_23","volume-title":"Software Engineering and Formal Methods","author":"FF Foldager","year":"2018","unstructured":"Foldager, F.F., Larsen, P.G., Green, O.: Development of a driverless lawn mower using co-simulation. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 330\u2013344. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_23"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018)","DOI":"10.1145\/3179993"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Grimstad, L., From, P.J.: The Thorvald II agricultural robotic system. Robotics 6(4), 45 (2017). https:\/\/doi.org\/10.3390\/robotics6040024,http:\/\/www.mdpi.com\/2218-6581\/6\/4\/24","DOI":"10.3390\/robotics6040024,"},{"key":"8_CR13","unstructured":"Janosi, Z., Hanamoto, B.: The analytical determination of drawbar pull as a function of slip for tracked vehicles in defarmable soils. In: Proceedings of 1st International Conference of ISTVS, Turin (1961)"},{"key":"8_CR14","unstructured":"Legaard, C.M., Gomes, C., Larsen, P.G., Foldager, F.F.: Rapid prototyping of self-adaptive-systems using Python functional mockup units. In: SummerSim 2020. ACM, New York, NY, USA (2020)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.cma.2018.09.027","volume":"345","author":"M Rakhsha","year":"2019","unstructured":"Rakhsha, M., Pazouki, A., Serban, R., Negrut, D.: Using a half-implicit integration scheme for the SPH-based solution of fluid-solid interaction problems. Comput. Methods Appl. Mech. Eng. 345, 100\u2013122 (2019)","journal-title":"Comput. Methods Appl. Mech. Eng."},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Recuero, A., Serban, R., Peterson, B., Sugiyama, H., Jayakumar, P., Negrut, D.: A high-fidelity approach for vehicle mobility simulation: nonlinear finite element tires operating on granular material. J. Terramechanics 72, 39\u201354 (2017). https:\/\/doi.org\/10.1016\/j.jterra.2017.04.002","DOI":"10.1016\/j.jterra.2017.04.002"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Saunders, C., Ucgul, M., Godwin, R.J.: Discrete element method (DEM) simulation to improve performance of a mouldboard skimmer. Soil Tillage Res. 205, 104764 (2021). https:\/\/doi.org\/10.1016\/j.still.2020.104764","DOI":"10.1016\/j.still.2020.104764"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Schweiger, G., et al.: Functional mock-up interface: an empirical survey identifies research challenges and current barriers. In: The American Modelica Conference, Cambridge, MA, USA (2018)","DOI":"10.3384\/ecp18154138"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Skovsen, S., et al.: Estimation of the botanical composition of clover-grass leys from RGB images using data simulation and fully convolutional neural networks. Sensors (Switzerland) 17(12), 56 (2017). https:\/\/doi.org\/10.3390\/s17122930","DOI":"10.3390\/s17122930"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Tasora, A., Mangoni, D., Negrut, D., Serban, R., Jayakumar, P.: Deformable soil with adaptive level of detail for tracked and wheeled vehicles 5(1), 60\u201376 (2019). https:\/\/doi.org\/10.1504\/IJVP.2019.097098","DOI":"10.1504\/IJVP.2019.097098"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-40361-8_2","volume-title":"High Performance Computing in Science and Engineering","author":"A Tasora","year":"2016","unstructured":"Tasora, A., et al.: Chrono: an open source multi-physics dynamics engine. In: Kozubek, T., Blaheta, R., \u0160\u00edstek, J., Rozlo\u017en\u00edk, M., \u010cerm\u00e1k, M. (eds.) HPCSE 2015. LNCS, vol. 9611, pp. 19\u201349. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40361-8_2"},{"key":"8_CR22","unstructured":"Thule, C., Gomes, C., Lausdahl, K.G.: Formally Verified FMI Enabled External Data Broker: Rabbitmq FMU. Society for Computer Simulation International, San Diego (2020)"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.simpat.2018.12.005","volume":"92","author":"C Thule","year":"2019","unstructured":"Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.G.: Maestro: the INTO-CPS co-simulation framework. Simul. Model. Pract. Theory 92, 45\u201361 (2019)","journal-title":"Simul. Model. Pract. Theory"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Verhoef, M., Larsen, P.G.: Enhancing VDM++ for Modeling Distributed Embedded Real-time Systems. Technical Report (to appear), Radboud University Nijmegen, a preliminary version of this report, (March 2006). https:\/\/www.cs.ru.nl\/marcelv\/vdm\/","DOI":"10.1007\/11813040_11"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Wong, J.Y., Reece, A.R.: Prediction of rigid wheel performance based on the analysis of soil-wheel stresses: part II. Performance of towed rigid wheels. J. Terramechanics 4(2), 7\u201325 (1967)","DOI":"10.1016\/0022-4898(67)90047-X"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Gomes, C., Macedo, H.D., Larsen, P.G.: Uncertainty quantification and runtime monitoring using environment-aware digital twins. In: Isola 2021 (2021)","DOI":"10.1007\/978-3-030-83723-5_6"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-83723-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T12:51:50Z","timestamp":1673009510000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-83723-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030837228","9783030837235"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-83723-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"5 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}