{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:36Z","timestamp":1740099036903,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747804"},{"type":"electronic","value":"9783319747811"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74781-1_23","type":"book-chapter","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T10:22:24Z","timestamp":1517480544000},"page":"330-344","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Development of a Driverless Lawn Mower Using Co-simulation"],"prefix":"10.1007","author":[{"given":"Frederik F.","family":"Foldager","sequence":"first","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Ole","family":"Green","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,2]]},"reference":[{"key":"23_CR1","unstructured":"Bagnato, A., Brosse, E., Quadri, I., Sadovykh, A.: The INTO-CPS cyber-physical system profile. In: DeCPS Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering Focus on Transportation of the Future, Vienna, Austria, June 2017"},{"key":"23_CR2","unstructured":"Bandur, V., Larsen, P.G., Lausdahl, K., Thule, C., Terkelsen, A.F., Gamble, C., Pop, A., Brosse, E., Brauer, J., Lapschies, F., Groothuis, M., Kleijn, C., Couto, L.D.: INTO-CPS tool chain user manual. Technical report, INTO-CPS Deliverable, D4.2a, December 2016"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., Otter, M., Arnold, M., Bausch, C., Clau\u00df, C., Elmqvist, H., Junghanns, A., Mauss, J., Monteiro, M., Neidhold, T., Neumerkel, D., Olsson, H., Peetz, J., Wolf, S., Gmbh, G.I.T.I., Oberpfaffenhofen, D.L.R.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference, pp. 105\u2013114, Munich, Germany, September 2011","DOI":"10.3384\/ecp11063105"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: FormaliSE: FME Workshop on Formal Methods in Software Engineering. ICSE 2015, Florence, Italy, May 2015","DOI":"10.1109\/FormaliSE.2015.14"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.D.: Collaborative model-based systems engineering for cyber-physical systems - a case study in building automation. In: Proceedings of INCOSE International Symposium on Systems Engineering, Edinburgh, Scotland, July 2016","DOI":"10.1002\/j.2334-5837.2016.00195.x"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.): Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. Springer, Heidelberg (2014). \nhttp:\/\/link.springer.com\/book\/10.1007\/978-3-642-54118-6","DOI":"10.1007\/978-3-642-54118-6"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-54118-6_10","volume-title":"Collaborative Design for Embedded Systems","author":"C Gamble","year":"2014","unstructured":"Gamble, C., Pierce, K.: Design space exploration for embedded systems using co-simulation. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems, pp. 199\u2013222. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54118-6_10"},{"key":"23_CR8","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. Technical report, February 2017. \nhttp:\/\/arxiv.org\/abs\/1702.00686"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5307\/JBE.2013.38.1.001","volume":"38","author":"X Han","year":"2013","unstructured":"Han, X., Kim, H., Moon, H., Woo, H., Kim, J., Kim, Y.: Development of a path generation and tracking algorithm for a Korean auto-guidance tillage tractor. J. Biosyst. Eng. 38, 1\u20138 (2013)","journal-title":"J. Biosyst. Eng."},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"1277","DOI":"10.1007\/s11071-014-1514-y","volume":"78","author":"P Hyldahl","year":"2014","unstructured":"Hyldahl, P., Mikkola, A., Balling, O., Sopanen, J.: Behavior of thin rectangular ANCF shell elements in various mesh configurations. Nonlinear Dynamics 78, 1277\u20131291 (2014)","journal-title":"Nonlinear Dynamics"},{"key":"23_CR11","unstructured":"ITEA Office Association: ITEA 3: project: 07006 MODELISAR, December 2015. \nhttps:\/\/itea3.org\/project\/modelisar.html"},{"issue":"3","key":"23_CR12","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1080\/14399776.2006.10781259","volume":"7","author":"C Kleijn","year":"2006","unstructured":"Kleijn, C.: Modelling and simulation of fluid power systems with 20-sim. Int. J. Fluid Power 7(3), 57\u201360 (2006)","journal-title":"Int. J. Fluid Power"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative - integrating tools for VDM. In: Zhang, M., Stolz, V. (eds.) Harnessing Theories for Tool Support in Software, pp. 9\u201319, November 2010","DOI":"10.1145\/1668862.1668864"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S., Sadovykh, A.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: CPS Data Workshop, Vienna, Austria, April 2016","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"23_CR15","series-title":"CISM Courses and Lectures","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-211-38927-X_29","volume-title":"Romansy 16","author":"YP Li","year":"2006","unstructured":"Li, Y.P., Zielinska, T., Ang, M.H., Lin, W.: Vehicle dynamics of redundant mobile robots with powered caster wheels. In: Zieli\u0144ska, T., Zieli\u0144ski, C. (eds.) Romansy 16. CCL, vol. 487, pp. 221\u2013228. Springer, Vienna (2006). \nhttps:\/\/doi.org\/10.1007\/3-211-38927-X_29"},{"key":"23_CR16","unstructured":"Quadri, I., Bagnato, A., Brosse, E., Sadovykh, A.: Modeling methodologies for cyber-physical systems: research field study on inherent and future challenges. ADA USER J. 36(4), 246\u2013253 (2015). \nhttp:\/\/www.ada-europe.org\/archive\/auj\/auj-36-4.pdf"},{"key":"23_CR17","unstructured":"Serban, R., Olsen, N., Negrut, D., Recuero, A., Jayakumar, P.: A co-simulation framework for high-performance, high-fidelity simulation of ground vehicle-terrain interaction. In: Conference: NATO AVT-265 Specialists\u2019 Meeting, Vilnius, Lithuania (May 2017)"},{"key":"23_CR18","volume-title":"Introduction to Autonomous Mobile Robots","author":"R Siegwart","year":"2004","unstructured":"Siegwart, R., Nourbakhsh, I.R.: Introduction to Autonomous Mobile Robots. Bradford Company, Scituate (2004)"},{"key":"23_CR19","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s11071-009-9474-3","volume":"58","author":"S Staicu","year":"2009","unstructured":"Staicu, S.: Dynamics equations of a mobile robot provided with caster wheel. Nonlinear Dyn. 58, 237\u2013248 (2009)","journal-title":"Nonlinear Dyn."},{"key":"23_CR20","doi-asserted-by":"publisher","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). \nhttps:\/\/doi.org\/10.1007\/978-3-319-40361-8_2","DOI":"10.1007\/978-3-319-40361-8_2"},{"key":"23_CR21","unstructured":"Unity Technologies: Unity, December 2016. \nhttps:\/\/unity3d.com\/"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11813040_11","volume-title":"FM 2006: Formal Methods","author":"M Verhoef","year":"2006","unstructured":"Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147\u2013162. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11813040_11"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74781-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T10:30:36Z","timestamp":1517481036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74781-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747804","9783319747811"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74781-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}