{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:33:17Z","timestamp":1729672397652,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,24]]},"DOI":"10.1145\/1073884.1073923","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"277-284","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Algorithms for symbolic\/numeric control of affine dynamical systems"],"prefix":"10.1145","author":[{"given":"Aude","family":"Rondepierre","sequence":"first","affiliation":[{"name":"Universit\u00e9 Joseph Fourier, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Guillaume","family":"Dumas","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Joseph Fourier, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"20","volume-title":"Proceedings of the 2003 Hybrid Systems: Computation and Control","author":"Asarin E.","year":"2003","unstructured":"E. Asarin , T. Dang , and A. Girard . Reachability of non-linear systems using conservative approximations . In Proceedings of the 2003 Hybrid Systems: Computation and Control , pages 20 -- 35 , Apr. 2003 . E. Asarin, T. Dang, and A. Girard. Reachability of non-linear systems using conservative approximations. In Proceedings of the 2003 Hybrid Systems: Computation and Control, pages 20--35, Apr. 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"Hemisphere","author":"Bryson A.","year":"1975","unstructured":"A. Bryson and Y. Ho . Applied Optimal Control . Hemisphere , 1975 . A. Bryson and Y. Ho. Applied Optimal Control. Hemisphere, 1975."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.5555\/46708"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/384101.384116"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/780506.780515"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1005285.1005304"},{"key":"e_1_3_2_1_7_1","volume-title":"Hybrid control of formations of robots","author":"Fierro R.","year":"2001","unstructured":"R. Fierro , A. K. Das , V. Kumar , and J. P. Ostrowski . Hybrid control of formations of robots . 2001 . R. Fierro, A. K. Das, V. Kumar, and J. P. Ostrowski. Hybrid control of formations of robots. 2001."},{"key":"e_1_3_2_1_8_1","volume-title":"Matrix computations","author":"Golub G. H.","year":"1996","unstructured":"G. H. Golub and C. F. Van Loan . Matrix computations third ed. Johns Hopkins University Press , Baltimore, MD, USA , 1996 . G. H. Golub and C. F. Van Loan. Matrix computations third ed. Johns Hopkins University Press, Baltimore, MD, USA, 1996."},{"key":"e_1_3_2_1_9_1","volume-title":"LMC-IMAG","author":"Hamon K.","year":"2004","unstructured":"K. Hamon . Contr\u00f4le optimal et algorithme de calcul des trajectoires. Technical report , LMC-IMAG , 2004 . K. Hamon. Contr\u00f4le optimal et algorithme de calcul des trajectoires. Technical report, LMC-IMAG, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1016\/0196-6774(82)90007-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/TAC.1963.1105505"},{"key":"e_1_3_2_1_12_1","first-page":"596","volume-title":"Proceedings of the National Academy of Sciences","author":"Kalman R.","year":"1961","unstructured":"R. Kalman . Canonical structure of linear dynamical systems . In Proceedings of the National Academy of Sciences , pages 596 -- 600 , 1961 . R. Kalman. Canonical structure of linear dynamical systems. In Proceedings of the National Academy of Sciences, pages 596--600, 1961."},{"key":"e_1_3_2_1_13_1","first-page":"152","article-title":"Mathematical description of linear dynamical systems","volume":"1","author":"Kalman R.","year":"1963","unstructured":"R. Kalman . Mathematical description of linear dynamical systems . Siam Journal on Control , 1 : 152 -- 292 , 1963 . R. Kalman. Mathematical description of linear dynamical systems. Siam Journal on Control, 1:152--292, 1963.","journal-title":"Siam Journal on Control"},{"key":"e_1_3_2_1_14_1","first-page":"63","volume-title":"Singular Extremals","author":"Kelley H.","year":"1967","unstructured":"H. Kelley , R. Kopp , and H. G. Moyer . Singular Extremals , pages 63 -- 101 . Academic Press , 1967 . H. Kelley, R. Kopp, and H. G. Moyer. Singular Extremals, pages 63--101. Academic Press, 1967."},{"key":"e_1_3_2_1_15_1","volume-title":"Universit\u00e9 Joseph Fourier, jun","author":"Pernet C.","year":"2003","unstructured":"C. Pernet . Calcul du polyn\u00f4me caract\u00e9ristique sur des corps finis. Master's thesis , Universit\u00e9 Joseph Fourier, jun 2003 . C. Pernet. Calcul du polyn\u00f4me caract\u00e9ristique sur des corps finis. Master's thesis, Universit\u00e9 Joseph Fourier, jun 2003."},{"key":"e_1_3_2_1_16_1","first-page":"7","article-title":"A practical guide to the solutions of real-life optimal control problems","volume":"23","author":"Pesch H.","year":"1994","unstructured":"H. Pesch . A practical guide to the solutions of real-life optimal control problems . Parametric Optimization. Control Cybernet , 23 : 7 -- 60 , 1994 . H. Pesch. A practical guide to the solutions of real-life optimal control problems. Parametric Optimization. Control Cybernet, 23:7--60, 1994.","journal-title":"Parametric Optimization. Control Cybernet"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532170.001.0001","volume-title":"Optimal Control and the Calculus of Variations","author":"Pinch E.","year":"1993","unstructured":"E. Pinch . Optimal Control and the Calculus of Variations . Oxford University Press , 1993 . E. Pinch. Optimal Control and the Calculus of Variations. Oxford University Press, 1993."},{"key":"e_1_3_2_1_18_1","volume-title":"Editions de Moscou","author":"Pontryagin L.","year":"1974","unstructured":"L. Pontryagin , V. Boltiansky , R. Gamkrelidze , and E. Michtchenko . Th\u00e9orie math\u00e9matique des processus optimaux . Editions de Moscou , 1974 . L. Pontryagin, V. Boltiansky, R. Gamkrelidze, and E. Michtchenko. Th\u00e9orie math\u00e9matique des processus optimaux. Editions de Moscou, 1974."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1147\/rd.114.0361"},{"key":"e_1_3_2_1_20_1","volume-title":"Hybrid optimal control of dynamical systems. Technical report IMAG-ccsd-00004191, arXiv math.OC\/0502172. F\u00e8vrier","author":"Rondepierre A.","year":"2005","unstructured":"A. Rondepierre and J.-G. Dumas . Hybrid optimal control of dynamical systems. Technical report IMAG-ccsd-00004191, arXiv math.OC\/0502172. F\u00e8vrier 2005 . A. Rondepierre and J.-G. Dumas. Hybrid optimal control of dynamical systems. Technical report IMAG-ccsd-00004191, arXiv math.OC\/0502172. F\u00e8vrier 2005."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/384101.384141"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1023\/A:1022082011808"}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC05","name":"ISSAC05: International Symposium on Symbolic and Algebraic Computation","location":"Beijing China"},"container-title":["Proceedings of the 2005 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1073884.1073923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T07:45:35Z","timestamp":1706427935000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1073884.1073923"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,24]]},"references-count":22,"alternative-id":["10.1145\/1073884.1073923","10.1145\/1073884"],"URL":"https:\/\/doi.org\/10.1145\/1073884.1073923","relation":{},"subject":[],"published":{"date-parts":[[2005,7,24]]},"assertion":[{"value":"2005-07-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}