{"id":53,"date":"2018-10-18T18:51:36","date_gmt":"2018-10-18T16:51:36","guid":{"rendered":"https:\/\/pole-acs.lis-lab.fr\/?p=53"},"modified":"2019-03-31T09:39:10","modified_gmt":"2019-03-31T07:39:10","slug":"zhiwu-li-xidian-university-china","status":"publish","type":"post","link":"https:\/\/pole-acs.lis-lab.fr\/?p=53","title":{"rendered":"ZhiWu Li  (Xidian University, China)"},"content":{"rendered":"<h3><a href=\"https:\/\/www.researchgate.net\/profile\/Zhiwu_Li\"><span style=\"color: #0b2161;\">ZhiWu Li<\/span><\/a><br \/>\n<span style=\"color: #0b2161;\"><a style=\"color: #0b2161;\" href=\"https:\/\/www.xidian.edu.cn\/\">Xidian University<\/a><\/span><br \/>\n<span style=\"color: #0b2161;\">China<\/span><\/h3>\n<p><span style=\"color: #0b2161;\">\u00a0<\/span><\/p>\n<p><span style=\"color: #0b2161;\">21 Juin 2018, 15.30<\/span><br \/>\n<span style=\"color: #0b2161;\">salle des commissions, b\u00e2t Polytech<\/span><br \/>\n<span style=\"color: #0b2161;\">Campus de St. J\u00e9r\u00f4me<\/span><\/p>\n<p>&nbsp;<\/p>\n<h3><span style=\"color: #0b2161;\"><em>Deadlock Analysis and Control of Resource Allocation Systems: Structural and Reachability Graph Approaches<\/em><\/span><\/h3>\n<p><em><span style=\"color: #0b2161;\">This talk exposes the recent advances of deadlock problems in resource<\/span><br \/>\n<span style=\"color: #0b2161;\">allocation systems using Petri nets. The pertinent methodologies are<\/span><br \/>\n<span style=\"color: #0b2161;\">categorized by structural analysis and reachability graph analysis<\/span><br \/>\n<span style=\"color: #0b2161;\">techniques. The former, without enumerating the reachable states of a<\/span><br \/>\n<span style=\"color: #0b2161;\">system, utilize structural objects to derive a liveness-enforcing<\/span><br \/>\n<span style=\"color: #0b2161;\">supervisor, while its structure can be compact. The latter can usually<\/span><br \/>\n<span style=\"color: #0b2161;\">lead to an optimal supervisor with a minimal control structure subject<\/span><br \/>\n<span style=\"color: #0b2161;\">to a full state enumeration and solution to integer linear programming<\/span><br \/>\n<span style=\"color: #0b2161;\">problems. Open issues in this area are outlined.<\/span><br \/>\n<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>ZhiWu Li Xidian University China \u00a0 21 Juin 2018, 15.30 salle des commissions, b\u00e2t Polytech Campus de St. J\u00e9r\u00f4me &nbsp; Deadlock Analysis and Control of Resource Allocation Systems: Structural and Reachability Graph Approaches This talk exposes the recent advances of deadlock problems in resource allocation systems using Petri nets. The pertinent methodologies are categorized by &hellip; <a href=\"https:\/\/pole-acs.lis-lab.fr\/?p=53\" class=\"more-link\">Continuer la lecture de <span class=\"screen-reader-text\">ZhiWu Li  (Xidian University, China)<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2,6],"tags":[3],"class_list":["post-53","post","type-post","status-publish","format-standard","hentry","category-2","category-st-jerome","tag-3"],"_links":{"self":[{"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/posts\/53","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=53"}],"version-history":[{"count":2,"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/posts\/53\/revisions"}],"predecessor-version":[{"id":57,"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=\/wp\/v2\/posts\/53\/revisions\/57"}],"wp:attachment":[{"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=53"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=53"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/pole-acs.lis-lab.fr\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=53"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}