{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:06:48Z","timestamp":1761646008251,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160289","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"6950-6955","source":"Crossref","is-referenced-by-count":6,"title":["Matrix approach to boolean calculus"],"prefix":"10.1109","author":[{"given":"Daizhan","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yin","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangru","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.01.021"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(01)00023-6"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.70811"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF02366859"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(90)90174-N"},{"journal-title":"Discrete and Switching Functions","year":"1978","author":"davio","key":"15"},{"journal-title":"Logic Differential Calculus in Multi-Valued Logic Design","year":"1998","author":"yanushkevic","key":"34"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/78.510612"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-85729-097-7","author":"cheng","year":"2011","journal-title":"Analysis and Control of Boolean Networks A Semi-Tensor Product Approach"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1917-02991-6"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1581"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2050161"},{"key":"21","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1016\/j.camwa.2008.11.012","article-title":"Investigation of the globak dynamics of cellular automata using boolean derivatives","volume":"57","author":"pabitra","year":"2009","journal-title":"Comput Math Appl"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4371(00)00184-9"},{"journal-title":"Logic Foundations and Equations Binary Models for Computer Sciece","year":"2004","author":"posthoff","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1954.1057465"},{"journal-title":"Discrete Mathematics","year":"2003","author":"ross","key":"24"},{"key":"25","first-page":"177","article-title":"What can be expected from a boolean derivative?","volume":"7","author":"rudeanu","year":"2009","journal-title":"Ann St Univ Ovidius Constanta"},{"key":"26","first-page":"723","article-title":"On the design of discrete event dynamic systems bu means of the boolean differential calculus","volume":"2","author":"scheuring","year":"1991","journal-title":"Design Methods for Control Systems"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45638-1"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1971.223360"},{"key":"29","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10286-8","author":"thayse","year":"1981","journal-title":"Boolean Calculus of Differentces"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1137\/0107041"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2009.2024771"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2009.2039802"},{"journal-title":"Binary Polynomial Transforms and Nonlinear Digital Filters","year":"1995","author":"agaian","key":"1"},{"key":"30","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-13358-5","author":"thayse","year":"1984","journal-title":"P-functions and Boolean Matrix Factorization"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.03.006"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2008.2011359"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(95)00075-A"},{"journal-title":"Boolean Reasoning The Logic of Boolean Equations","year":"2003","author":"brown","key":"5"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/0096-3003(88)90120-8"},{"journal-title":"Boolean Differential Calculus","year":"1978","author":"bochmann","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2043294"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.10.036"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06160289.pdf?arnumber=6160289","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:20:08Z","timestamp":1497972008000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160289\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160289","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}