{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:59:18Z","timestamp":1726034358836},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030237028"},{"type":"electronic","value":"9783030237035"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-23703-5_8","type":"book-chapter","created":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T09:03:14Z","timestamp":1561971794000},"page":"154-169","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Controlled Recurrence of a Biped with Torso"],"prefix":"10.1007","author":[{"given":"Adrien","family":"Le Co\u00ebnt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Fribourg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"9919","DOI":"10.1109\/ACCESS.2017.2690407","volume":"5","author":"A Agrawal","year":"2017","unstructured":"Agrawal, A., et al.: First steps towards translating HZD control of bipedal robots to decentralized control of exoskeletons. IEEE Access 5, 9919\u20139934 (2017)","journal-title":"IEEE Access"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, Canc\u00fan, Mexico, pp. 4042\u20134048 (2008)","DOI":"10.1109\/CDC.2008.4738704"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"8_CR4","unstructured":"Alexandre dit Sandretto, J.A., Chapoutot, A., Mullier, O.: Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. In: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015). OpenAccess Series in Informatics (OASIcs), Dagstuhl, Germany, vol. 44, pp. 91\u2013102 (2015)"},{"issue":"11","key":"8_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11432-013-5009-0","volume":"56","author":"S Feng","year":"2013","unstructured":"Feng, S., Amur, S.A.Y., Sun, Z.: Biped walking on level ground with torso using only one actuator. Sci. China Inf. Sci. 56(11), 1\u20139 (2013)","journal-title":"Sci. China Inf. Sci."},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s10703-014-0211-2","volume":"45","author":"L Fribourg","year":"2014","unstructured":"Fribourg, L., K\u00fchne, U., Soulat, R.: Finite controlled invariants for sampled switched systems. Formal Methods Syst. Des. 45(3), 303\u2013329 (2014)","journal-title":"Formal Methods Syst. Des."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Fribourg, L., Soulat, R.: Control of Switching Systems by Invariance Analysis: Application to Power Electronics, 144 p. Wiley-ISTE (2013)","DOI":"10.1002\/9781118791486"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"A Girard","year":"2005","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291\u2013305. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-31954-2_19"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-78929-1_16","volume-title":"Hybrid Systems: Computation and Control","author":"A Girard","year":"2008","unstructured":"Girard, A., Le Guernic, C.: Zonotope\/hyperplane intersection for hybrid systems reachability analysis. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 215\u2013228. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-78929-1_16"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1109\/LCSYS.2017.2713461","volume":"1","author":"O Hussien","year":"2017","unstructured":"Hussien, O., Ames, A.D., Tabuada, P.: Abstracting partially feedback linearizable systems compositionally. IEEE Control Syst. Lett. 1(2), 227\u2013232 (2017)","journal-title":"IEEE Control Syst. Lett."},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-662-03567-2_10","volume-title":"Mathematical Visualization","author":"W K\u00fchn","year":"1998","unstructured":"K\u00fchn, W.: Zonotope dynamics in numerical quality control. In: Hege, H.C., Polthier, K. (eds.) Mathematical Visualization, pp. 125\u2013134. Springer, Heidelberg (1998). \n                      https:\/\/doi.org\/10.1007\/978-3-662-03567-2_10"},{"key":"8_CR13","unstructured":"K\u00fchne, U., Soulat, R.: MINIMATOR 1.0 (2015). \n                      https:\/\/bitbucket.org\/ukuehne\/minimator\/overview"},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1177\/027836499000900206","volume":"9","author":"T McGeer","year":"1990","unstructured":"McGeer, T.: Passive dynamic walking. Int. J. Rob. Res. 9(2), 62\u201382 (1990)","journal-title":"Int. J. Rob. Res."},{"key":"8_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and Control of Hybrid Systems: A Symbolic Approach","author":"P Tabuada","year":"2009","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach, 1st edn. Springer, New York (2009). \n                      https:\/\/doi.org\/10.1007\/978-1-4419-0224-5","edition":"1"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Model-Based Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23703-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T09:08:37Z","timestamp":1561972117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23703-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030237028","9783030237035"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23703-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"2 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CyPhy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cyphy2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2018.cyphy.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}