{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:12:07Z","timestamp":1742937127168,"version":"3.40.3"},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"electronic","value":"9781447151029"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-1-4471-5102-9_155-1","type":"book-chapter","created":{"date-parts":[[2014,10,2]],"date-time":"2014-10-02T02:12:15Z","timestamp":1412215935000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Motion Description Languages and Symbolic Control"],"prefix":"10.1007","author":[{"given":"Sean B.","family":"Andersson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"issue":"11","key":"155-1_CR1","doi-asserted-by":"publisher","first-page":"2688","DOI":"10.1109\/TAC.2011.2160595","volume":"56","author":"A Abate","year":"2011","unstructured":"Abate A, D\u2019Innocenzo A, Di\u00a0Benedetto MD (2011) Approximate abstractions of stochastic hybrid systems. IEEE Trans Autom Control 56(11):2688\u20132694","journal-title":"IEEE Trans Autom Control"},{"key":"155-1_CR2","volume-title":"Behavior-based robotics","author":"RC Arkin","year":"1998","unstructured":"Arkin RC (1998) Behavior-based robotics. MIT, Cambridge"},{"key":"155-1_CR3","first-page":"4319","volume-title":"The control theory of motion-based communication: problems in teaching robots to dance","author":"J Baillieul","year":"2012","unstructured":"Baillieul J, Ozcimder K (2012) The control theory of motion-based communication: problems in teaching robots to dance. In: American control conference, Montreal, pp\u00a04319\u20134326"},{"issue":"1","key":"155-1_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MRA.2007.339624","volume":"14","author":"C Belta","year":"2007","unstructured":"Belta C, Bicchi A, Egerstedt M, Frazzoli E, Klavins E, Pappas GJ (2007) Symbolic planning and control of robot motion [Grand Challenges of Robotics]. IEEE Robot Autom Mag 14(1):61\u201370","journal-title":"IEEE Robot Autom Mag"},{"issue":"4","key":"155-1_CR5","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/9.995034","volume":"47","author":"A Bicchi","year":"2002","unstructured":"Bicchi A, Marigo A, Piccoli B (2002) On the reachability of quantized control systems. IEEE Trans Autom Control 47(4):546\u2013563","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"155-1_CR6","doi-asserted-by":"publisher","first-page":"987","DOI":"10.1109\/TAC.2006.876947","volume":"51","author":"A Bicchi","year":"2006","unstructured":"Bicchi A, Marigo A, Piccoli B (2006) Feedback encoding for efficient symbolic control of dynamical systems. IEEE Trans Autom Control 51(6):987\u20131002","journal-title":"IEEE Trans Autom Control"},{"key":"155-1_CR7","first-page":"534","volume-title":"On the computer control of movement","author":"RW Brockett","year":"1988","unstructured":"Brockett RW (1988) On the computer control of movement. In: IEEE International conference on robotics and automation, Philadelphia, pp\u00a0534\u2013540"},{"key":"155-1_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-1-4612-0313-1_2","volume-title":"Essays on control","author":"RW Brockett","year":"1993","unstructured":"Brockett RW (1993) Hybrid models for motion control systems. In: Trentelman HL, Willems JC (eds) Essays on control. Birkhauser, Boston, pp\u00a029\u201353"},{"issue":"1","key":"155-1_CR9","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","volume":"RA-2","author":"R Brooks","year":"1986","unstructured":"Brooks R (1986) A robust layered control system for a mobile robot. IEEE J Robot Autom RA-2(1):14\u201323","journal-title":"IEEE J Robot Autom"},{"key":"155-1_CR10","doi-asserted-by":"crossref","unstructured":"Egerstedt M (2002) Motion description languages for multi-modal control in robotics. In: Bicchi A, Cristensen H, Prattichizzo D (eds) Control problems in robotics. Springer, pp\u00a075\u201389","DOI":"10.1007\/3-540-36224-X_5"},{"issue":"2","key":"155-1_CR11","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1109\/TAC.2002.808466","volume":"48","author":"M Egerstedt","year":"2003","unstructured":"Egerstedt M, Brockett RW (2003) Feedback can reduce the specification complexity of motor programs. IEEE Trans Autom Control 48(2):213\u2013223","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"155-1_CR12","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45","author":"GE Fainekos","year":"2009","unstructured":"Fainekos GE, Girard A, Kress-Gazit H, Pappas GJ (2009) Temporal logic motion planning for dynamic robots. Automatica 45(2):343\u2013352","journal-title":"Automatica"},{"issue":"6","key":"155-1_CR13","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1109\/TRO.2005.852260","volume":"21","author":"E Frazzoli","year":"2005","unstructured":"Frazzoli E, Dahleh MA, Feron E (2005) Maneuver-based motion planning for nonlinear systems with symmetries. IEEE Trans Robot 21(6):1077\u20131091","journal-title":"IEEE Trans Robot"},{"issue":"5","key":"155-1_CR14","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"52","author":"A Girard","year":"2007","unstructured":"Girard A, Pappas GJ (2007) Approximation metrics for discrete and continuous systems. IEEE Trans Autom Control 52(5):782\u2013798","journal-title":"IEEE Trans Autom Control"},{"key":"155-1_CR15","volume-title":"Emergence: the connected lives of ants, brains, cities, and software","author":"S Johnson","year":"2002","unstructured":"Johnson S (2002) Emergence: the connected lives of ants, brains, cities, and software. Scribner, New York"},{"issue":"4","key":"155-1_CR16","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MCS.2007.384126","volume":"27","author":"E Klavins","year":"2007","unstructured":"Klavins E (2007) Programmable self-assembly. IEEE Control Syst 27(4):43\u201356","journal-title":"IEEE Control Syst"},{"issue":"3","key":"155-1_CR17","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MRA.2011.942486","volume":"18","author":"H Kress-Gazit","year":"2011","unstructured":"Kress-Gazit H (2011) Robot challenges: toward development of verification and synthesis techniques [from the Guest Editors]. IEEE Robot Autom Mag 18(3):22\u201323","journal-title":"IEEE Robot Autom Mag"},{"issue":"1\u20132","key":"155-1_CR18","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0004-3702(00)00017-5","volume":"119","author":"B Kuipers","year":"2000","unstructured":"Kuipers B (2000) The spatial semantic hierarchy. Artif Intell 119(1\u20132):191\u2013233","journal-title":"Artif Intell"},{"issue":"2","key":"155-1_CR19","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1109\/TRO.2011.2172150","volume":"28","author":"M Lahijanian","year":"2012","unstructured":"Lahijanian M, Andersson SB, Belta C (2012) Temporal logic motion planning and control with probabilistic satisfaction guarantees. IEEE Trans Robot 28(2):396\u2013409","journal-title":"IEEE Trans Robot"},{"key":"155-1_CR20","first-page":"199","volume-title":"Mathematical control theory","author":"V Manikonda","year":"1998","unstructured":"Manikonda V, Krishnaprasad PS, Hendler J (1998) Languages, behaviors, hybrid architectures, and motion control. In: Baillieul J, Willems JC (eds) Mathematical control theory. Springer, New York, pp\u00a0199\u2013226"},{"issue":"1","key":"155-1_CR21","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/21.141324","volume":"22","author":"RM Murray","year":"1992","unstructured":"Murray RM, Deno DC, Pister KSJ, Sastry SS (1992) Control primitives for robot systems. IEEE Trans Syst Man Cybern 22(1):183\u2013193","journal-title":"IEEE Trans Syst Man Cybern"},{"issue":"6","key":"155-1_CR22","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1109\/TAC.2006.876946","volume":"51","author":"P Tabuada","year":"2006","unstructured":"Tabuada P (2006) Symbolic control of linear systems based on symbolic subsystems. IEEE Trans Autom Control 51(6):1003\u20131013","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"155-1_CR23","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1109\/TAC.2008.923658","volume":"53","author":"DC Tarraf","year":"2008","unstructured":"Tarraf DC, Megretski A, Dahleh MA (2008) A framework for robust stability of systems over finite alphabets. IEEE Trans Autom Control 53(5):1133\u20131146","journal-title":"IEEE Trans Autom Control"}],"container-title":["Encyclopedia of Systems and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-5102-9_155-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T21:50:19Z","timestamp":1675806619000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-5102-9_155-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9781447151029"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-5102-9_155-1","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"11 January 2014, 03:21:13","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"11 January 2014, 03:21:13","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"12 March 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}