{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T12:39:55Z","timestamp":1726058395326},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030146276"},{"type":"electronic","value":"9783030146283"}],"license":[{"start":{"date-parts":[[2019,11,11]],"date-time":"2019-11-11T00:00:00Z","timestamp":1573430400000},"content-version":"tdm","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":[[2020]]},"DOI":"10.1007\/978-3-030-14628-3_20","type":"book-chapter","created":{"date-parts":[[2019,11,10]],"date-time":"2019-11-10T03:02:46Z","timestamp":1573354966000},"page":"271-295","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Validation of Automated Farming"],"prefix":"10.1007","author":[{"given":"M.","family":"Rooker","sequence":"first","affiliation":[]},{"given":"J. F.","family":"L\u00f3pez","sequence":"additional","affiliation":[]},{"given":"P.","family":"Horstrand","sequence":"additional","affiliation":[]},{"given":"M.","family":"Pusenius","sequence":"additional","affiliation":[]},{"given":"T.","family":"Lepp\u00e4lampi","sequence":"additional","affiliation":[]},{"given":"R.","family":"Lattarulo","sequence":"additional","affiliation":[]},{"given":"J.","family":"P\u00e9rez","sequence":"additional","affiliation":[]},{"given":"Z.","family":"Slavik","sequence":"additional","affiliation":[]},{"given":"S.","family":"S\u00e1ez","sequence":"additional","affiliation":[]},{"given":"L.","family":"Andreu","sequence":"additional","affiliation":[]},{"given":"A.","family":"Ruiz","sequence":"additional","affiliation":[]},{"given":"D.","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"L.","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,11]]},"reference":[{"key":"20_CR1","unstructured":"Bell, T., Elkaim, G., Parkinson, B.: Automatic steering of farm vehicles using GPS. In: FAO International Conference on Precision Agriculture (1996)"},{"key":"20_CR2","unstructured":"Lenain, R., Thuilot, B., Cariou, C., Martinet, P.: Adaptive and predictive non-linear control for sliding vehicle guidance: application to trajectory tracking of farm vehicles relying on a single RTK GPS. In: IEEE International Conference on Intelligent Robots and Systems, pp. 455\u2013460 (2004)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1002\/rob.20282","volume":"26","author":"C Cariou","year":"2009","unstructured":"Cariou, C., Lenain, R., Thuilot, B., Berducat, M.: Automatic guidance of a four-wheel-steering mobile robot for accurate field operations. J. Field Rob. 26, 504\u2013518 (2009)","journal-title":"J. Field Rob."},{"issue":"1","key":"20_CR4","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.ifacol.2017.08.043","volume":"50","author":"Ray Lattarulo","year":"2017","unstructured":"Lattarulo, R., P\u00e9rez, J., Dendaluce, M.: A complete framework for developing and testing automated driving controllers. In: IFAC World Congress 2017, pp. 258\u2013263 (2017)","journal-title":"IFAC-PapersOnLine"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.paerosci.2018.03.006","volume":"98","author":"J Gonzalo","year":"2018","unstructured":"Gonzalo, J., L\u00f3pez, D., Dom\u00ednguez, D., Grac\u00eda, A., Escapa, A.: On the capabilities and limitations of high altitude pseudo-satellites. Prog. Aerosp. Sci. 98, 37\u201356 (2018)","journal-title":"Prog. Aerosp. Sci."},{"key":"20_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9170-6","volume-title":"Hyperspectral Imaging","author":"C-I Chang","year":"2003","unstructured":"Chang, C.-I.: Hyperspectral Imaging. Springer, New York (2003)"},{"issue":"3","key":"20_CR7","doi-asserted-by":"publisher","first-page":"698","DOI":"10.1109\/JPROC.2012.2231391","volume":"101","author":"S Lopez","year":"2013","unstructured":"Lopez, S., Vladimirova, T., Gonzalez, C., Resano, J., Mozos, D., Plaza, A.: The promise of reconfigurable computing for hyperspectral imaging onboard systems: a review and trends. Proc. IEEE. 101(3), 698\u2013728 (2013)","journal-title":"Proc. IEEE"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Teke, M., Seda-Deveci, H., Haliloglu, O., Zubeyde-Gurbuz, S., Sakarya, U.: A short survey of hyperspectral remote sensing applications in agriculture. In: Proceedings of the 6th International Conference on Recent Advances in Space Technologies (RAST), Istanbul, Turkey, 12\u201314 June 2013","DOI":"10.1109\/RAST.2013.6581194"},{"issue":"5","key":"20_CR9","first-page":"848","volume":"108","author":"RN Sahoo","year":"2015","unstructured":"Sahoo, R.N., Ray, S.S., Manjunath, K.R.: Hyperspectral remote sensing of agriculture. Curr. Sci. 108(5), 848\u2013859 (2015)","journal-title":"Curr. Sci."},{"issue":"11","key":"20_CR10","doi-asserted-by":"publisher","first-page":"1110","DOI":"10.3390\/rs9111110","volume":"9","author":"T Adao","year":"2017","unstructured":"Adao, T., Hruska, J., Padua, L., Bessa, J., Peres, E., Morais, R., Joao-Sousa, J.: Hyperspectral imaging: a review on UAV-based sensors, data processing and applications for agriculture and forestry. Remote Sens. 9(11), 1110 (2017)","journal-title":"Remote Sens."},{"key":"20_CR11","unstructured":"Rodr\u00edguez, A.S., Horstrand, P., L\u00f3pez, J.F., L\u00f3pez, S.: Setting up an autonomous hyperspectral flying platform for precision agriculture. In: SPIE Remote Sensing, Berlin, Germany, 10\u201313 September 2018"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"1353691","DOI":"10.1155\/2017\/1353691","volume":"2017","author":"J Xue","year":"2017","unstructured":"Xue, J., Su, B.: Significant remote sensing vegetation indices: a review of development and applications. J. Sensors. 2017, 1353691 (2017)","journal-title":"J. Sensors"},{"issue":"2","key":"20_CR13","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/S0034-4257(99)00067-X","volume":"71","author":"PS Thenkabail","year":"2000","unstructured":"Thenkabail, P.S., Smith, R.B., De Pauw, E.: Hyperspectral vegetation indices and their relationships with agricultural crop characteristics. Remote Sens. Environ. 71(2), 158\u2013182 (2000)","journal-title":"Remote Sens. Environ."},{"issue":"11","key":"20_CR14","doi-asserted-by":"publisher","first-page":"4374","DOI":"10.1109\/JSTARS.2014.2334332","volume":"7","author":"J Huang","year":"2014","unstructured":"Huang, J., Wang, H., Dai, Q., Han, D.: Analysis of NDVI data for crop identification and yield estimation. IEEE J. Sel. Top. Appl. Earth Obs. Remote Sens. 7(11), 4374\u20134384 (2014)","journal-title":"IEEE J. Sel. Top. Appl. Earth Obs. Remote Sens."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Horstrand, P., L\u00f3pez, S., L\u00f3pez, J.F.: A novel implementation of a hyperspectral anomaly detection algorithm for real time applications with pushbroom sensors. In: IEEE 9th Workshop on Hyperspectral image and Signal Processing: Evolution in Remote Sensing, Amsterdam, The Netherlands, 23\u201326 September 2018","DOI":"10.1109\/WHISPERS.2018.8747221"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"6060924","DOI":"10.1155\/2018\/6060924","volume":"2018","author":"R Lattarulo","year":"2018","unstructured":"Lattarulo, R., Gonz\u00e1lez, L., Mart\u00ed, E., Matute, J., Marcano, M., P\u00e9rez, J.: Urban motion planning framework based on N-B\u00e9zier curves considering comfort and safety. J. Adv. Transp. 2018, 6060924 (2018)","journal-title":"J. Adv. Transp."},{"key":"20_CR17","unstructured":"Azua, J.A.R., Boyer, M.: Complete modelling of AVB in network calculus framework. In: Proceedings of the 22nd International Conference on Real-Time Networks and Systems (2014)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Zhao, L., Pop, P., Zheng, Z., Li, Q.: Timing analysis of AVB traffic in TSN networks using network calculus. In: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 25\u201336 (2018)","DOI":"10.1109\/RTAS.2018.00009"},{"key":"20_CR19","unstructured":"Pedro, A.: Dynamics contracts for verification and enforcement of real-time systems properties. PhD Thesis, Braga, Portugal, 10 April 2018"},{"key":"20_CR20","unstructured":"Pedro, A., Pereira, D., Pinto, J.S., Pinho, L.M.: Monitoring for a decidable fragment of MTLD. In: The 15th International Conference on Runtime Verification (RV\u201915), Vienna, Austria, 22\u201325 September 2015"},{"issue":"1","key":"20_CR21","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0304-3975(94)00151-8","volume":"138","author":"Y Lakhneche","year":"1995","unstructured":"Lakhneche, Y., Hooman, J.: Metric temporal logic with durations. Theor. Comput. Sci. 138(1), 169\u2013199 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR22","unstructured":"Pedro, A., Pereira, D., Pinto, J.S., Pinho, L.M.: RMTLD3Synth: runtime verification toolchain for generation of monitors based on the restricted metric temporal logic with durations. \nhttps:\/\/github.com\/cistergit\/rmtld3synth\n\n. Accessed 23 Nov 2018"},{"issue":"4","key":"20_CR23","first-page":"37","volume":"20","author":"A Pedro","year":"2018","unstructured":"Pedro, A., Pereira, D., Pinto, J.S., Pinho, L.M.: Runtime verification of autopilot systems using a fragment of MTL-\u222b. Int. J. Softw. Tools Technol. Transfers (STTT). 20(4), 37\u2013395 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transfers (STTT)"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Hospach, D., M\u00fcller, S., Rosenstiel, W., Bringmann, O.: Simulation of falling rain for robustness testing of video-based surround sensing systems. In: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) (2016)","DOI":"10.3850\/9783981537079_0611"},{"key":"20_CR25","unstructured":"Pedro, A., Pereira, D., Pinto, J.S., Pinho, L.M.: The RMTLD3Synth web demonstrator. \nhttps:\/\/anmaped.github.io\/rmtld3synth\n\n. Accessed 23 Nov 2018"}],"container-title":["Validation and Verification of Automated Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-14628-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,10]],"date-time":"2019-11-10T03:06:18Z","timestamp":1573355178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-14628-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,11]]},"ISBN":["9783030146276","9783030146283"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-14628-3_20","relation":{},"subject":[],"published":{"date-parts":[[2019,11,11]]},"assertion":[{"value":"11 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}