{"id":"https://openalex.org/W3015056576","doi":"https://doi.org/10.1109/tcns.2020.2984699","title":"Pinning Controllability of $k$-ValuedLogical Systems","display_name":"Pinning Controllability of $k$-ValuedLogical Systems","publication_year":2020,"publication_date":"2020-04-02","ids":{"openalex":"https://openalex.org/W3015056576","doi":"https://doi.org/10.1109/tcns.2020.2984699","mag":"3015056576"},"language":"en","primary_location":{"id":"doi:10.1109/tcns.2020.2984699","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcns.2020.2984699","pdf_url":null,"source":{"id":"https://openalex.org/S2502544478","display_name":"IEEE Transactions on Control of Network Systems","issn_l":"2325-5870","issn":["2325-5870","2372-2533"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control of Network Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100763314","display_name":"Fangfei Li","orcid":"https://orcid.org/0000-0001-7978-8125"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Fangfei Li","raw_affiliation_strings":["Department of Mathematics, East China University of Science and Technology, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-7978-8125","affiliations":[{"raw_affiliation_string":"Department of Mathematics, East China University of Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Di Wang","orcid":"https://orcid.org/0000-0001-7345-1361"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Di Wang","raw_affiliation_strings":["Department of Mathematics, East China University of Science and Technology, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-7345-1361","affiliations":[{"raw_affiliation_string":"Department of Mathematics, East China University of Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028570509","display_name":"Yang Tang","orcid":"https://orcid.org/0000-0002-2750-8029"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Tang","raw_affiliation_strings":["Key Laboratory of Advanced Control and Optimization for Chemical Processes, Ministry of Education, East China University of Science and Technology, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-2750-8029","affiliations":[{"raw_affiliation_string":"Key Laboratory of Advanced Control and Optimization for Chemical Processes, Ministry of Education, East China University of Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I143593769"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100763314"],"corresponding_institution_ids":["https://openalex.org/I143593769"],"apc_list":null,"apc_paid":null,"fwci":1.0116,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81278463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"7","issue":"3","first_page":"1523","last_page":"1533"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.9030591249465942},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.6804675459861755},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6243248581886292},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5868699550628662},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.542209267616272},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4796319603919983},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.45516738295555115},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4549311399459839},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.45040732622146606},{"id":"https://openalex.org/keywords/logical-matrix","display_name":"Logical matrix","score":0.442631334066391},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4337994456291199},{"id":"https://openalex.org/keywords/constructive-proof","display_name":"Constructive proof","score":0.419310986995697},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41559910774230957},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3955657482147217},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35644447803497314},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.33532366156578064},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2304418385028839},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.1361677348613739},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12283504009246826},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09938475489616394},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.08339637517929077}],"concepts":[{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.9030591249465942},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6804675459861755},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6243248581886292},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5868699550628662},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.542209267616272},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4796319603919983},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.45516738295555115},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4549311399459839},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.45040732622146606},{"id":"https://openalex.org/C163561899","wikidata":"https://www.wikidata.org/wiki/Q1994977","display_name":"Logical matrix","level":3,"score":0.442631334066391},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4337994456291199},{"id":"https://openalex.org/C202854965","wikidata":"https://www.wikidata.org/wiki/Q3044470","display_name":"Constructive proof","level":2,"score":0.419310986995697},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41559910774230957},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3955657482147217},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35644447803497314},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.33532366156578064},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2304418385028839},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.1361677348613739},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12283504009246826},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09938475489616394},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.08339637517929077},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcns.2020.2984699","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcns.2020.2984699","pdf_url":null,"source":{"id":"https://openalex.org/S2502544478","display_name":"IEEE Transactions on Control of Network Systems","issn_l":"2325-5870","issn":["2325-5870","2372-2533"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control of Network Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G292605135","display_name":null,"funder_award_id":"61773161","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3722684068","display_name":null,"funder_award_id":"61751305","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8553267855","display_name":null,"funder_award_id":"18ZR1409800","funder_id":"https://openalex.org/F4320321885","funder_display_name":"Science and Technology Commission of Shanghai Municipality"},{"id":"https://openalex.org/G95768632","display_name":null,"funder_award_id":"61673176","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321885","display_name":"Science and Technology Commission of Shanghai Municipality","ror":"https://ror.org/03kt66j61"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1971224531","https://openalex.org/W1973749796","https://openalex.org/W1986987751","https://openalex.org/W1991720013","https://openalex.org/W1994619083","https://openalex.org/W1998479249","https://openalex.org/W2008275926","https://openalex.org/W2024273375","https://openalex.org/W2030235975","https://openalex.org/W2033041501","https://openalex.org/W2034356849","https://openalex.org/W2077053100","https://openalex.org/W2113627870","https://openalex.org/W2119620862","https://openalex.org/W2143549867","https://openalex.org/W2149869214","https://openalex.org/W2152563826","https://openalex.org/W2153364687","https://openalex.org/W2234752102","https://openalex.org/W2260463403","https://openalex.org/W2290618319","https://openalex.org/W2397970027","https://openalex.org/W2418465508","https://openalex.org/W2470303623","https://openalex.org/W2524770642","https://openalex.org/W2582973678","https://openalex.org/W2596414389","https://openalex.org/W2599951165","https://openalex.org/W2625665002","https://openalex.org/W2738693741","https://openalex.org/W2765411998","https://openalex.org/W2777024312","https://openalex.org/W2799931387","https://openalex.org/W2806174779","https://openalex.org/W2807290637","https://openalex.org/W2810218660","https://openalex.org/W6739524470"],"related_works":["https://openalex.org/W2954167023","https://openalex.org/W2064351239","https://openalex.org/W2949665548","https://openalex.org/W2114983089","https://openalex.org/W2950188642","https://openalex.org/W2028676759","https://openalex.org/W2257471395","https://openalex.org/W1589204344","https://openalex.org/W1968663039","https://openalex.org/W1780530600"],"abstract_inverted_index":{"The":[0,127,147,167],"control":[1,23,46,152,168],"problems":[2,24],"of":[3,11,25,129,143,185],"k-valued":[4,26,96,112,144],"logical":[5,27,59,97,113,145,148,164],"systems":[6],"have":[7],"gained":[8],"a":[9,43,70,76,111],"lot":[10],"research":[12],"attention":[13],"in":[14,67],"recent":[15],"years.":[16],"In":[17],"most":[18],"existing":[19],"works":[20],"about":[21],"the":[22,29,35,45,58,81,107,123,136,141,151,156,183,186],"systems,":[28],"controllers":[30],"are":[31,179],"injected":[32],"to":[33,79,135,181],"all":[34],"nodes":[36,83,131,154,158],"or":[37],"some":[38,163],"randomly":[39],"selected":[40],"nodes.":[41],"As":[42],"consequence,":[44],"objectives,":[47],"such":[48,91,117],"as":[49],"controllability":[50],"and":[51,84,140,155],"stabilization,":[52],"can":[53],"only":[54],"be":[55],"achieved":[56],"when":[57],"system":[60,114,157],"satisfies":[61],"certain":[62],"conditions.":[63],"Motivated":[64],"by":[65,161],"this,":[66],"this":[68],"article,":[69],"pinning":[71,82,130],"controller":[72,87],"design":[73,170],"algorithm,":[74],"including":[75],"constructive":[77],"method":[78],"select":[80],"Boolean":[85],"sequence":[86,169],"design,":[88],"is":[89,100,115,120,132,159,172],"proposed":[90,187],"that":[92,118],"for":[93,105,110],"any":[94],"given":[95,116,160],"system,":[98],"it":[99,119],"controllable.":[101],"First,":[102],"an":[103],"algorithm":[104,171],"reconstructing":[106],"transition":[108,125,138],"matrix":[109,139,165],"controllable":[121],"with":[122],"designed":[124,137],"matrix.":[126],"selection":[128],"considered":[133],"according":[134],"properties":[142],"systems.":[146],"relationship":[149],"between":[150],"input":[153],"solving":[162],"equations.":[166],"also":[173],"provided.":[174],"Finally,":[175],"two":[176],"numerical":[177],"examples":[178],"presented":[180],"illustrate":[182],"effectiveness":[184],"results.":[188]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}