{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T20:36:10Z","timestamp":1777926970261,"version":"3.51.4"},"reference-count":22,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2012,10,4]],"date-time":"2012-10-04T00:00:00Z","timestamp":1349308800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering"],"published-print":{"date-parts":[[2013,2]]},"abstract":"<jats:p>In this paper, a novel method is developed to control hybrid dynamical systems which contain both continuous and discrete dynamics. The objective of the controller is to drive the system from its initial state to the desired final state. The hybrid controller consists of two independent parts. To design the first part, the abstract controller, a regular mesh of the continuous state space is constructed. Then, a behaviour graph of the system is derived by choosing a finite family of control signals and considering the discrete dynamic of the system. Subsequent application of the Floyd\u2013Warshall algorithm, which was originally developed to find the minimum length path in a graph, allows the abstract controller to be constructed. A new algorithm is proposed to derive the control command for the second part, which constructs a bisimulation relation and finalizes the control process. Finally, the controller is applied to a dynamic system, and the obtained results show the effectiveness of the proposed control methodology.<\/jats:p>","DOI":"10.1177\/0959651812450981","type":"journal-article","created":{"date-parts":[[2012,10,5]],"date-time":"2012-10-05T00:38:04Z","timestamp":1349397484000},"page":"252-263","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Application of graph theory in hybrid control systems using state space mesh"],"prefix":"10.1177","volume":"227","author":[{"given":"Esmaeel","family":"Khanmirza","sequence":"first","affiliation":[{"name":"School of Mechanical Engineering, University of Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aghil","family":"Yousefi-Koma","sequence":"additional","affiliation":[{"name":"School of Mechanical Engineering, University of Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2012,10,4]]},"reference":[{"key":"bibr1-0959651812450981","first-page":"365","volume-title":"Proceedings of the 1999 American Society of Mechanical Engineers congress and exposition","author":"Tomlin CJ"},{"key":"bibr2-0959651812450981","first-page":"3284","volume-title":"The American control conference","author":"Zongxuan S"},{"key":"bibr3-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1109\/TADVP.2005.858454"},{"key":"bibr4-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"bibr5-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"},{"key":"bibr6-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"bibr7-0959651812450981","first-page":"3182","volume-title":"The 48th IEEE conference on decision and control","author":"Yordanov B"},{"key":"bibr8-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"bibr9-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0029-9"},{"key":"bibr10-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"bibr11-0959651812450981","author":"Lygeros J","year":"1999","journal-title":"EECS 291E lecture notes and class projects, EECS Department, University of California, Berkeley"},{"key":"bibr12-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_9"},{"key":"bibr13-0959651812450981","first-page":"2249","volume-title":"The 38th IEEE conference on decision and control","author":"Lygeros J"},{"key":"bibr14-0959651812450981","volume-title":"Principles of model checking","author":"Baier C","year":"2008"},{"key":"bibr15-0959651812450981","volume-title":"The finite element method: basis and fundamentals","author":"Zienkiewicz OC","year":"2005"},{"key":"bibr16-0959651812450981","first-page":"239","volume-title":"The 47th IEEE conference on decision and control","author":"Girard A"},{"key":"bibr17-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"bibr18-0959651812450981","volume-title":"Modern control systems","author":"Khaki Sedigh A","year":"2004"},{"key":"bibr19-0959651812450981","first-page":"20","author":"Asarin E","year":"2000","journal-title":"Approximate reachability analysis of piecewise-linear dynamical systems"},{"key":"bibr20-0959651812450981","volume-title":"Introduction to algorithms","author":"Cormen TH","year":"2001","edition":"2"},{"key":"bibr21-0959651812450981","doi-asserted-by":"publisher","DOI":"10.2307\/2313914"},{"key":"bibr22-0959651812450981","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2004.04.004"}],"container-title":["Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0959651812450981","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0959651812450981","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0959651812450981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T22:30:27Z","timestamp":1777674627000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0959651812450981"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,4]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["10.1177\/0959651812450981"],"URL":"https:\/\/doi.org\/10.1177\/0959651812450981","relation":{},"ISSN":["0959-6518","2041-3041"],"issn-type":[{"value":"0959-6518","type":"print"},{"value":"2041-3041","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,4]]}}}