{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:45:53Z","timestamp":1771699553215,"version":"3.50.1"},"reference-count":126,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61273013 and 61333001"],"award-info":[{"award-number":["61273013 and 61333001"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Un. Sys."],"published-print":{"date-parts":[[2016,1]]},"abstract":"<jats:p>This paper gives a comprehensive introduction to logical control systems (LCSs), including its history, the logical background, the expression, the fundamental mathematical tool, and the analyzing method. Particularly, it is emphasized on the major achievements on logical dynamic systems (LDSs) and their control theory in last few years, consisting of (i) the topological structure of LDSs; (ii) controllability, observability, stability and stabilization, disturbance decoupling, optimal control, identification of logical (control) systems; (iii) the extension of the results about Boolean systems to k-valued and mix-valued logical (control) systems. These results form the foundation of logical control system theory (LCST). In addition, the concepts, notations, and the fundamental method\/tool have been formally normalized. Some current developments of LCST and its applications or potential applications are discussed in detail. Some open problems and possible research directions are introduced.<\/jats:p>","DOI":"10.1142\/s2301385016400100","type":"journal-article","created":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T07:00:36Z","timestamp":1456729236000},"page":"97-116","source":"Crossref","is-referenced-by-count":6,"title":["A Survey on Logical Control Systems"],"prefix":"10.1142","volume":"04","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5088-3209","authenticated-orcid":false,"given":"Daizhan","family":"Cheng","sequence":"first","affiliation":[{"name":"Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Liu","sequence":"additional","affiliation":[{"name":"Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2016,3,15]]},"reference":[{"key":"S2301385016400100BIB001","volume-title":"Engineering Cybernetics","author":"Tsien H. S.","year":"1980","edition":"2"},{"key":"S2301385016400100BIB002","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"S2301385016400100BIB003","volume-title":"Complexity","author":"Waldrop M. M.","year":"1992"},{"key":"S2301385016400100BIB004","volume-title":"At Home in the Universe: The Search for Laws of Self-organization and Complexity","author":"Kauffman S. A.","year":"1995","edition":"3"},{"key":"S2301385016400100BIB005","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2006.09.023"},{"key":"S2301385016400100BIB006","doi-asserted-by":"publisher","DOI":"10.1038\/nature01254"},{"key":"S2301385016400100BIB007","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511780448.011"},{"key":"S2301385016400100BIB008","volume-title":"Logic for Mathematicians","author":"Hamilton A. G.","year":"1988"},{"key":"S2301385016400100BIB009","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2010.07.022"},{"key":"S2301385016400100BIB010","doi-asserted-by":"publisher","DOI":"10.1089\/cmb.2011.0031"},{"key":"S2301385016400100BIB011","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298731"},{"key":"S2301385016400100BIB012","doi-asserted-by":"publisher","DOI":"10.1007\/s12555-013-0187-5"},{"key":"S2301385016400100BIB013","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.94.088701"},{"key":"S2301385016400100BIB014","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2004.824262"},{"key":"S2301385016400100BIB015","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127403006765"},{"key":"S2301385016400100BIB016","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-097-7_2"},{"key":"S2301385016400100BIB017","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127410025892"},{"key":"S2301385016400100BIB018","volume-title":"Matrix Analysis and Applications","author":"Zhang X.","year":"2004"},{"key":"S2301385016400100BIB019","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.03.006"},{"key":"S2301385016400100BIB020","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2043294"},{"key":"S2301385016400100BIB021","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2101430"},{"key":"S2301385016400100BIB022","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-097-7"},{"issue":"2","key":"S2301385016400100BIB023","first-page":"167","volume":"30","author":"Khatri C. G.","year":"1968","journal-title":"The Indian Journal of Statistics, Series A (1961-2002)"},{"key":"S2301385016400100BIB024","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2231592"},{"key":"S2301385016400100BIB025","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2008.2011359"},{"key":"S2301385016400100BIB026","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2050161"},{"key":"S2301385016400100BIB028","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2009.2039802"},{"key":"S2301385016400100BIB029","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.027"},{"key":"S2301385016400100BIB030","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2294821"},{"key":"S2301385016400100BIB031","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.03.022"},{"key":"S2301385016400100BIB032","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.04.038"},{"key":"S2301385016400100BIB033","doi-asserted-by":"publisher","DOI":"10.1137\/110844660"},{"key":"S2301385016400100BIB034","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.04.038"},{"key":"S2301385016400100BIB035","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2251819"},{"key":"S2301385016400100BIB036","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2015.04.007"},{"key":"S2301385016400100BIB037","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.07.016"},{"key":"S2301385016400100BIB038","doi-asserted-by":"publisher","DOI":"10.1007\/s11768-012-1178-4"},{"key":"S2301385016400100BIB039","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2259957"},{"key":"S2301385016400100BIB040","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2013.0096"},{"key":"S2301385016400100BIB041","volume-title":"Transient Analysis of Power Systems via Semi-Tensor Product","author":"Mei S.","year":"2010"},{"key":"S2301385016400100BIB043","doi-asserted-by":"publisher","DOI":"10.1007\/s11431-008-0076-y"},{"key":"S2301385016400100BIB044","doi-asserted-by":"publisher","DOI":"10.1016\/j.physleta.2012.08.037"},{"key":"S2301385016400100BIB045","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2012.2190094"},{"key":"S2301385016400100BIB046","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2012.06.071"},{"key":"S2301385016400100BIB047","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2238092"},{"key":"S2301385016400100BIB048","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.08.029"},{"key":"S2301385016400100BIB049","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.01.021"},{"key":"S2301385016400100BIB050","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.03.024"},{"key":"S2301385016400100BIB051","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.008"},{"issue":"5","key":"S2301385016400100BIB052","doi-asserted-by":"crossref","first-page":"1313","DOI":"10.1002\/asjc.656","volume":"15","author":"Feng J.","year":"2013","journal-title":"Asian J. Control"},{"key":"S2301385016400100BIB053","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2012.12.004"},{"key":"S2301385016400100BIB054","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2012.06.002"},{"key":"S2301385016400100BIB055","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2011.09.019"},{"key":"S2301385016400100BIB056","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127413500594"},{"issue":"10","key":"S2301385016400100BIB057","first-page":"108201","volume":"56","author":"Zhang L.","year":"2013","journal-title":"Sci. China Ser. F"},{"key":"S2301385016400100BIB058","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2013.2246187"},{"key":"S2301385016400100BIB059","doi-asserted-by":"publisher","DOI":"10.1007\/s11768-014-0137-7"},{"key":"S2301385016400100BIB060","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.88.062706"},{"key":"S2301385016400100BIB061","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2014.12.030"},{"key":"S2301385016400100BIB062","author":"Zhong J.","year":"2015","journal-title":"Sci. China Ser. F"},{"key":"S2301385016400100BIB063","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.09.002"},{"key":"S2301385016400100BIB065","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2438424"},{"key":"S2301385016400100BIB066","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2015.11.004"},{"key":"S2301385016400100BIB067","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61607-5"},{"key":"S2301385016400100BIB068","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1581"},{"key":"S2301385016400100BIB070","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2092290"},{"key":"S2301385016400100BIB071","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2419874"},{"key":"S2301385016400100BIB072","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2011.2106512"},{"key":"S2301385016400100BIB073","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0069008"},{"key":"S2301385016400100BIB074","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.083"},{"key":"S2301385016400100BIB075","volume-title":"Theory and Applications of Multi-Valued Logic","author":"Luo Z.","year":"1992"},{"key":"S2301385016400100BIB076","doi-asserted-by":"publisher","DOI":"10.1016\/S0960-0779(03)00063-8"},{"key":"S2301385016400100BIB077","doi-asserted-by":"publisher","DOI":"10.1142\/8323"},{"key":"S2301385016400100BIB078","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.2.261"},{"key":"S2301385016400100BIB079","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.95.048701"},{"key":"S2301385016400100BIB080","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4429-6"},{"issue":"12","key":"S2301385016400100BIB081","first-page":"1632","volume":"31","author":"Cheng D.","year":"2014","journal-title":"Contr. Theory Appl."},{"key":"S2301385016400100BIB082","doi-asserted-by":"publisher","DOI":"10.1002\/mma.2773"},{"key":"S2301385016400100BIB083","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.09.016"},{"key":"S2301385016400100BIB084","doi-asserted-by":"publisher","DOI":"10.1088\/1674-1056\/20\/3\/036401"},{"key":"S2301385016400100BIB085","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-013-2047-z"},{"key":"S2301385016400100BIB086","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2012.0362"},{"key":"S2301385016400100BIB087","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.040"},{"key":"S2301385016400100BIB088","doi-asserted-by":"publisher","DOI":"10.1007\/s00034-014-9900-8"},{"key":"S2301385016400100BIB089","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2010.0558"},{"key":"S2301385016400100BIB090","first-page":"1","volume":"2013","author":"Shi W.","year":"2013","journal-title":"Abstr. Appl. Anal."},{"key":"S2301385016400100BIB091","doi-asserted-by":"publisher","DOI":"10.1016\/j.physleta.2013.10.002"},{"key":"S2301385016400100BIB092","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2014.11.028"},{"key":"S2301385016400100BIB093","doi-asserted-by":"publisher","DOI":"10.1016\/j.nonrwa.2011.07.003"},{"key":"S2301385016400100BIB094","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2013.08.076"},{"key":"S2301385016400100BIB095","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.09.023"},{"key":"S2301385016400100BIB096","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2014.0536"},{"key":"S2301385016400100BIB098","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2050161"},{"key":"S2301385016400100BIB099","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.05.053"},{"key":"S2301385016400100BIB100","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.10.010"},{"key":"S2301385016400100BIB101","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2014.07.008"},{"key":"S2301385016400100BIB102","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.02.039"},{"key":"S2301385016400100BIB103","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.10.036"},{"issue":"99","key":"S2301385016400100BIB104","first-page":"1","author":"Zhao Y.","year":"2015","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"S2301385016400100BIB105","first-page":"142","volume":"32","author":"Song J.","year":"2015","journal-title":"Control Theory Appl."},{"key":"S2301385016400100BIB106","first-page":"1","volume":"2012","author":"Chen H.","year":"2012","journal-title":"J. Appl. Math."},{"issue":"674571","key":"S2301385016400100BIB108","first-page":"1","volume":"2013","author":"Gao B.","year":"2013","journal-title":"Math. Probl. Eng."},{"key":"S2301385016400100BIB109","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2404471"},{"key":"S2301385016400100BIB110","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.05.005"},{"key":"S2301385016400100BIB111","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2013.2293149"},{"key":"S2301385016400100BIB112","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2013.787550"},{"key":"S2301385016400100BIB113","first-page":"1","volume":"2014","author":"Meng M.","year":"2014","journal-title":"J. Appl. Math."},{"key":"S2301385016400100BIB114","doi-asserted-by":"publisher","DOI":"10.1007\/s11768-014-0153-7"},{"key":"S2301385016400100BIB115","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.013"},{"key":"S2301385016400100BIB116","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2013.0104"},{"key":"S2301385016400100BIB117","author":"Ouyang C.","year":"2013","journal-title":"Chinese J. Electron."},{"key":"S2301385016400100BIB118","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2011.2174243"},{"issue":"8","key":"S2301385016400100BIB119","first-page":"998","volume":"30","author":"Ge A.","year":"2013","journal-title":"Control Theory Appl."},{"key":"S2301385016400100BIB121","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-014-3425-y"},{"key":"S2301385016400100BIB122","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.05.004"},{"key":"S2301385016400100BIB123","doi-asserted-by":"publisher","DOI":"10.1109\/JSEE.2015.00018"},{"key":"S2301385016400100BIB124","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34038-3_33"},{"key":"S2301385016400100BIB125","doi-asserted-by":"publisher","DOI":"10.1007\/s11426-013-5037-z"},{"key":"S2301385016400100BIB126","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.014"},{"key":"S2301385016400100BIB127","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-013-2047-z"},{"key":"S2301385016400100BIB129","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"S2301385016400100BIB130","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385014300029"},{"key":"S2301385016400100BIB131","doi-asserted-by":"publisher","DOI":"10.1561\/2600000001"},{"key":"S2301385016400100BIB132","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"S2301385016400100BIB133","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.10.008"},{"key":"S2301385016400100BIB134","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2013.07.004"}],"container-title":["Unmanned Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S2301385016400100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T17:35:43Z","timestamp":1718386543000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S2301385016400100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":126,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2016,3,15]]},"published-print":{"date-parts":[[2016,1]]}},"alternative-id":["10.1142\/S2301385016400100"],"URL":"https:\/\/doi.org\/10.1142\/s2301385016400100","relation":{},"ISSN":["2301-3850","2301-3869"],"issn-type":[{"value":"2301-3850","type":"print"},{"value":"2301-3869","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1]]}}}