{"id":11,"date":"2021-07-06T13:59:10","date_gmt":"2021-07-06T13:59:10","guid":{"rendered":"https:\/\/fujie.ece.ufl.edu\/?page_id=11"},"modified":"2025-12-11T14:16:47","modified_gmt":"2025-12-11T19:16:47","slug":"research","status":"publish","type":"page","link":"https:\/\/faculty.eng.ufl.edu\/fujie\/research\/","title":{"rendered":"Research"},"content":{"rendered":"<p>Our research group integrates control theory, formal methods, and game theory to construct robust and provably correct autonomous robots and cyber-physical systems with a holistic dynamic and epistemic model of the world.<\/p>\n<ul>\n<li><b>Control theory + Formal methods:&nbsp;<\/b>\u201cGiven the dynamic, uncontrollable environment of the robot, how to make intelligent decisions to achieve the task in high-level temporal logic\u201d<\/li>\n<li><b>Control theory + Learning: \u201c<\/b>Given a stochastic system with unknown dynamics, how to adapt the control strategy to achieve the optimal performance?\u201d<\/li>\n<li><b>Game theory + Information theory: \u201c<\/b>In the presence of adversarial environments, how to leverage the asymmetric information to ensure the security and safety of the robotic systems?\u201d \u201cHow to control the bi-directional information flow for planning&nbsp; in cooperative and noncooperative environments?\u201d<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h5>Our research is supported by the following:<\/h5>\n<table style=\"height: 146px\" width=\"620\">\n<tbody>\n<tr>\n<td><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-93\" src=\"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/NSF_4-Color_bitmap_Logo-298x300-1.png\" alt=\"\" width=\"298\" height=\"300\" srcset=\"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/NSF_4-Color_bitmap_Logo-298x300-1.png 298w, https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/NSF_4-Color_bitmap_Logo-298x300-1-150x150.png 150w\" sizes=\"auto, (max-width: 298px) 100vw, 298px\" \/><\/td>\n<td><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-95\" src=\"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/aro-seal-300x300-1.png\" alt=\"\" width=\"300\" height=\"300\" srcset=\"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/aro-seal-300x300-1.png 300w, https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/aro-seal-300x300-1-150x150.png 150w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/td>\n<td><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-97\" src=\"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/180926-F-F3456-001-300x300-1.jpeg\" alt=\"\" width=\"300\" height=\"300\" srcset=\"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/180926-F-F3456-001-300x300-1.jpeg 300w, https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/180926-F-F3456-001-300x300-1-150x150.jpeg 150w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/td>\n<td><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-99 size-full\" src=\"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2021\/07\/512px-DARPA-logo-300x165-1.png\" alt=\"\" width=\"300\" height=\"165\"><\/td>\n<td><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-99 size-full\" src=\"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-content\/uploads\/sites\/701\/2025\/10\/ARL_Logo-300x153.png\" alt=\"\" width=\"300\" height=\"165\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>Our research group integrates control theory, formal methods, and game theory to construct robust and provably correct autonomous robots and cyber-physical systems with a holistic dynamic and epistemic model of the world. Control theory + Formal methods:&nbsp;\u201cGiven the dynamic, uncontrollable environment of the robot, how to make intelligent decisions to achieve the task in high-level [&hellip;]<\/p>\n","protected":false},"author":1383,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/page-sidebar-none.php","meta":{"_acf_changed":false,"inline_featured_image":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-11","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-json\/wp\/v2\/pages\/11","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-json\/wp\/v2\/users\/1383"}],"replies":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-json\/wp\/v2\/comments?post=11"}],"version-history":[{"count":1,"href":"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-json\/wp\/v2\/pages\/11\/revisions"}],"predecessor-version":[{"id":559,"href":"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-json\/wp\/v2\/pages\/11\/revisions\/559"}],"wp:attachment":[{"href":"https:\/\/faculty.eng.ufl.edu\/fujie\/wp-json\/wp\/v2\/media?parent=11"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}