{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T16:13:05Z","timestamp":1783527185141,"version":"3.55.0"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62072233"],"award-info":[{"award-number":["62072233"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["NS2019057"],"award-info":[{"award-number":["NS2019057"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004750","name":"Aeronautical Science Foundation of China","doi-asserted-by":"publisher","award":["201919052002"],"award-info":[{"award-number":["201919052002"]}],"id":[{"id":"10.13039\/501100004750","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2023,1]]},"DOI":"10.1109\/tii.2022.3192085","type":"journal-article","created":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T20:38:06Z","timestamp":1658176686000},"page":"1107-1116","source":"Crossref","is-referenced-by-count":26,"title":["Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9888-6975","authenticated-orcid":false,"given":"Zhibin","family":"Yang","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Linquan","family":"Xing","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4228-2774","authenticated-orcid":false,"given":"Zonghua","family":"Gu","sequence":"additional","affiliation":[{"name":"Department of Applied Physics and Electronics, Umeå University, Umeå, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yingmin","family":"Xiao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yong","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6843-1892","authenticated-orcid":false,"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lei","family":"Xue","sequence":"additional","affiliation":[{"name":"Shanghai Aerospace Electronic Technology Institute, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0179351"},{"key":"ref10","first-page":"1","article-title":"Spacecraft rendezvous guidance in cluttered environments via reinforcement learning","author":"broida","year":"2019","journal-title":"Proc 29th AAS\/AIAA Space Flight Mech Meeting Amer Astronaut Soc"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CCDC49329.2020.9163988"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2514\/6.2021-0668"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8463189"},{"key":"ref14","first-page":"1889","article-title":"Trust region policy optimization","author":"schulman","year":"2015","journal-title":"Proc Int Conf Mach Learn"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2021.3063489"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-017-0468-y"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3036719"},{"key":"ref18","article-title":"Model-based reinforcement learning for atari","author":"kaiser","year":"0","journal-title":"Proc 8th Int Conf Learn Representations"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2018.05.007"},{"key":"ref28","first-page":"813","article-title":"Spacecraft rendezvous guidance in cluttered environments via artificial potential functions and reinforcement learning","author":"gaudet","year":"0","journal-title":"Proc AAS\/AIAA Astrodyn Spec Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2021.3050039"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/DASC43569.2019.9081748"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2936167"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2020.3021024"},{"key":"ref29","first-page":"831","article-title":"POMDPs.jl: A framework for sequential decision making under uncertainty","volume":"18","author":"egorov","year":"2017","journal-title":"J Mach Learn Res"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2020.3001095"},{"key":"ref8","article-title":"Proximal policy optimization algorithms","author":"schulman","year":"2017","journal-title":"arXiv 1707 06347"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2514\/1.A34838"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2379639"},{"key":"ref9","article-title":"Continuous control with deep reinforcement learning","author":"lillicrap","year":"0","journal-title":"Proc 4th Int Conf Learn Representations"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2514\/1.47645"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2514\/1.31158"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2514\/4.861550"},{"key":"ref21","first-page":"1599","article-title":"Formal security analysis of neural networks using symbolic intervals","author":"wang","year":"2018","journal-title":"Proc 27th USENIX Secur Symp"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.cja.2013.07.042"},{"key":"ref25","first-page":"6369","article-title":"Efficient formal safety analysis of neural networks","author":"wang","year":"2018","journal-title":"Proc 32nd Int Conf Neural Inf Process Syst"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9424\/9944026\/09832819.pdf?arnumber=9832819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:40:20Z","timestamp":1670874020000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9832819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1]]},"references-count":30,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tii.2022.3192085","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1]]}}}