{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:27:05Z","timestamp":1743143225099,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641065"},{"type":"electronic","value":"9783319641072"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-64107-2_48","type":"book-chapter","created":{"date-parts":[[2017,7,18]],"date-time":"2017-07-18T20:12:28Z","timestamp":1500408748000},"page":"586-600","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Method for Mission Controller Generation of a Mobile Robot"],"prefix":"10.1007","author":[{"given":"Silvain","family":"Louis","sequence":"first","affiliation":[]},{"given":"Karen","family":"Godary-Dejean","sequence":"additional","affiliation":[]},{"given":"Lionel","family":"Lapierre","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Claverie","sequence":"additional","affiliation":[]},{"given":"S\u00e9bastien","family":"Vill\u00e9ger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,20]]},"reference":[{"issue":"2","key":"48_CR1","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/j.jembe.2004.03.004","volume":"308","author":"GJ Edgar","year":"2004","unstructured":"Edgar, G.J., Barrett, N.S., Morton, A.J.: Biases associated with the use of underwater visual census techniques to quantify the density and size-structure of fish populations. J. Exp. Mar. Biol. Ecol. 308(2), 269\u2013290 (2004)","journal-title":"J. Exp. Mar. Biol. Ecol."},{"key":"48_CR2","first-page":"301","volume":"2010","author":"F Adolf","year":"2010","unstructured":"Adolf, F., Andert, F.: Onboard mission management for a VTOL UAV using sequence and supervisory control. Cutting Edge Robot. 2010, 301\u2013317 (2010)","journal-title":"Cutting Edge Robot."},{"key":"48_CR3","unstructured":"NATO and RTO, Coalition Battle Management Language (C-BML), Technical report (2012)"},{"key":"48_CR4","doi-asserted-by":"crossref","DOI":"10.1201\/b16376","volume-title":"Formal Languages and Computation: Models and Their Applications","author":"A Meduna","year":"2014","unstructured":"Meduna, A.: Formal Languages and Computation: Models and Their Applications. CRC Press, Boca Raton (2014)"},{"issue":"1","key":"48_CR5","first-page":"25","volume":"4","author":"E Fern\u00e1ndez-Perdomo","year":"2010","unstructured":"Fern\u00e1ndez-Perdomo, E., Cabrera-G\u00f3mez, J., Dom\u00ednguez-Brito, A.C., Hern\u00e1ndez-Sosa, D.: Mission specification in underwater robotics. J. Phys. Agents 4(1), 25\u201334 (2010)","journal-title":"J. Phys. Agents"},{"key":"48_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19, 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"48_CR7","unstructured":"Ingham, M., Ragno, R., Williams, B.C.: A reactive model-based programming language for robotic space explorers. In: Proceedings of ISAIRAS-01 (2001)"},{"issue":"1","key":"48_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0167-6423(00)00020-4","volume":"41","author":"H Marchand","year":"2001","unstructured":"Marchand, H., Rutten, \u00c9., Le Borgne, M., Samaan, M.: Formal verification of programs specified with signal: application to a power transformer station controller. Sci. Comput. Program. 41(1), 85\u2013104 (2001)","journal-title":"Sci. Comput. Program."},{"key":"48_CR9","series-title":"Engineering and Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-1-4615-4493-7_54","volume-title":"Discrete Event Systems","author":"H Marchand","year":"2000","unstructured":"Marchand, H., Bournai, P., Le Borgne, M., Le Guernic, P.: Synthesis of discrete controllers based on the signal environment. In: Boel, R., Stremersch, G. (eds.) Discrete Event Systems. ECC, vol. 569, pp. 479\u2013480. Springer, Boston (2000)"},{"issue":"9","key":"48_CR10","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"issue":"3","key":"48_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"48_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Thanh-Hung, N., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28, 41\u201348 (2011)","journal-title":"IEEE Softw."},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"Basu, A., Mounier, L., Poulhi\u00e8s, M., Pulou, J., Sifakis, J.: Using BIP for modeling and verification of networked systems - a case study on TinyOS-based networks. In: Proceedings of the 6th IEEE International Symposium on Network Computing and Applications, NCA 2007, pp. 257\u2013260 (2007)","DOI":"10.1109\/NCA.2007.52"},{"key":"48_CR14","doi-asserted-by":"crossref","unstructured":"Ropars, B., Lasbouygues, A., Lapierre, L., Andreu, D.: Thruster\u2019s dead-zones compensation for the actuation system of an underwater vehicle. In: ECC: European Control Conference, Linz, Austria, July 2015","DOI":"10.1109\/ECC.2015.7330631"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"Jaiem, L., Lapierre, L., GodaryDejean, K., Crestani, D.: Toward performance guarantee for autonomous mobile robotic mission: an approach for hardware and software resources management. In: TAROS 2016, Sheffield, UK (2016)","DOI":"10.1007\/978-3-319-40379-3_19"},{"issue":"2","key":"48_CR16","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"JR Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput. 98(2), 142\u2013170 (1992)","journal-title":"Inf. Comput."},{"key":"48_CR17","doi-asserted-by":"crossref","unstructured":"Alur, R.: Timed Automata. University of Pennsylvania, Technical report (1998)","DOI":"10.1007\/3-540-48683-6_3"},{"issue":"14","key":"48_CR18","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.O., Vernadat, F.: The tool tina-construction of abstract state spaces for petri nets and time petri nets. Int. J. Prod. Res. 42(14), 2741\u20132756 (2004)","journal-title":"Int. J. Prod. Res."}],"container-title":["Lecture Notes in Computer Science","Towards Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64107-2_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:52:39Z","timestamp":1558320759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64107-2_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641065","9783319641072"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64107-2_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"20 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TAROS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Annual Conference Towards Autonomous Robotic Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Guildford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 July 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"taros2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/taros2017.surrey.ac.uk","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}