乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:26:58Z","timestamp":1730320018900,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T00:00:00Z","timestamp":1523404800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,11]]},"DOI":"10.1145\/3178126.3178149","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T12:12:32Z","timestamp":1522671152000},"page":"11-20","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems"],"prefix":"10.1145","author":[{"given":"Fabio","family":"Somenzi","sequence":"first","affiliation":[{"name":"University of Colorado Boulder"}]},{"given":"Behrouz","family":"Touri","sequence":"additional","affiliation":[{"name":"University of California at San Diego"}]},{"given":"Ashutosh","family":"Trivedi","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder"}]}],"member":"320","published-online":{"date-parts":[[2018,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902731"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"volume-title":"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems","year":"1992","author":"Alur R.","key":"e_1_3_2_1_3_1","unstructured":"R. Alur , C. Courcoubetis , T. A. Henzinger , and P.-S. Ho . 1992 . Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems . Springer , 209--229. R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-S. Ho. 1992. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems. Springer, 209--229."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461366"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185647"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00228-B"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1370949"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728616"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.654885"},{"volume-title":"The Complexity of Robot Motion Planning","author":"Canny John F.","key":"e_1_3_2_1_12_1","unstructured":"John F. Canny . 1988. The Complexity of Robot Motion Planning . MIT Press , Cambridge, MA, USA . John F. Canny. 1988. The Complexity of Robot Motion Planning. MIT Press, Cambridge, MA, USA."},{"volume-title":"Probability:theory and examples","author":"Durrett Rick","key":"e_1_3_2_1_13_1","unstructured":"Rick Durrett . 2010. Probability:theory and examples . Cambridge University Press . Rick Durrett. 2010. Probability:theory and examples. Cambridge University Press."},{"volume-title":"Real analysis: modern techniques and their applications","author":"Folland Gerald B","key":"e_1_3_2_1_14_1","unstructured":"Gerald B Folland . 2013. Real analysis: modern techniques and their applications . John Wiley & Sons . Gerald B Folland. 2013. Real analysis: modern techniques and their applications. John Wiley & Sons."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912871"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(82)90007-4"},{"key":"e_1_3_2_1_19_1","unstructured":"Panqanamala Ramana Kumar and Pravin Varaiya. 2015. Stochastic systems: Estimation identification and adaptive control. SIAM. Panqanamala Ramana Kumar and Pravin Varaiya. 2015. Stochastic systems: Estimation identification and adaptive control. SIAM."},{"volume-title":"Robot motion planning","author":"Latombe Jean-Claude","key":"e_1_3_2_1_20_1","unstructured":"Jean-Claude Latombe . 2012. Robot motion planning . Vol. 124 . Springer Science & Business Media . Jean-Claude Latombe. 2012. Robot motion planning. Vol. 124. Springer Science & Business Media."},{"volume-title":"Planning Algorithms","author":"LaValle S. M.","key":"e_1_3_2_1_21_1","unstructured":"S. M. LaValle . 2006. Planning Algorithms . Cambridge University Press , Cambridge, U.K. Available at http:\/\/planning.cs.uiuc.edu\/. S. M. LaValle. 2006. Planning Algorithms. Cambridge University Press, Cambridge, U.K. Available at http:\/\/planning.cs.uiuc.edu\/."},{"volume":"1","volume-title":"Robotics and Automation","author":"LaValle S. M.","key":"e_1_3_2_1_22_1","unstructured":"S. M. LaValle and J. J. Kuffner . 1999. Randomized kinodynamic planning . In Robotics and Automation , Vol. 1 . IEEE, 473--479. S. M. LaValle and J. J. Kuffner. 1999. Randomized kinodynamic planning. In Robotics and Automation, Vol. 1. IEEE, 473--479."},{"volume-title":"Random walk: a modern introduction","author":"Lawler Gregory F","key":"e_1_3_2_1_23_1","unstructured":"Gregory F Lawler and Vlada Limic . 2010. Random walk: a modern introduction . Vol. 123 . Cambridge University Press . Gregory F Lawler and Vlada Limic. 2010. Random walk: a modern introduction. Vol. 123. Cambridge University Press."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"J.L. Le Ny and G.J. Pappas. 2012. Sequential composition of robust controller specifications. In Robotics and Automation. 5190--5195. J.L. Le Ny and G.J. Pappas. 2012. Sequential composition of robust controller specifications. In Robotics and Automation. 5190--5195.","DOI":"10.1109\/ICRA.2012.6224797"},{"key":"e_1_3_2_1_25_1","unstructured":"Nimrod Megiddo. 1986. On the complexity of linear programming. IBM Thomas J. Watson Research Division. Nimrod Megiddo. 1986. On the complexity of linear programming. IBM Thomas J. Watson Research Division."},{"volume-title":"Markov chains and stochastic stability","author":"Meyn Sean P","key":"e_1_3_2_1_26_1","unstructured":"Sean P Meyn and Richard L Tweedie . 2012. Markov chains and stochastic stability . Springer Science & Business Media . Sean P Meyn and Richard L Tweedie. 2012. Markov chains and stochastic stability. Springer Science & Business Media."},{"volume-title":"Advanced Mathematical Tools for Automatic Control Engineers","author":"Poznyak Alexander S.","key":"e_1_3_2_1_27_1","unstructured":"Alexander S. Poznyak . 2009. Martingales . In Advanced Mathematical Tools for Automatic Control Engineers . Elsevier Inc ., 133--173. Alexander S. Poznyak. 2009. Martingales. In Advanced Mathematical Tools for Automatic Control Engineers. Elsevier Inc., 133--173."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11081-015-9286-x"},{"volume-title":"Principles of random walk","author":"Spitzer Frank","key":"e_1_3_2_1_29_1","unstructured":"Frank Spitzer . 2013. Principles of random walk . Vol. 34 . Springer Science & Business Media . Frank Spitzer. 2013. Principles of random walk. Vol. 34. Springer Science & Business Media."},{"volume-title":"Chance and decision. Stochastic control in discrete time","author":"Zabczyk Jerzy","key":"e_1_3_2_1_30_1","unstructured":"Jerzy Zabczyk . 1996. Chance and decision. Stochastic control in discrete time . Publications of the Scuola Normale Superiore . Jerzy Zabczyk. 1996. Chance and decision. Stochastic control in discrete time. Publications of the Scuola Normale Superiore."}],"event":{"name":"HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Porto Portugal","acronym":"HSCC '18"},"container-title":["Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3178149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T04:15:46Z","timestamp":1673410546000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,11]]},"references-count":30,"alternative-id":["10.1145\/3178126.3178149","10.1145\/3178126"],"URL":"https:\/\/doi.org\/10.1145\/3178126.3178149","relation":{},"subject":[],"published":{"date-parts":[[2018,4,11]]},"assertion":[{"value":"2018-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}