Normal form of general logic mappings

Proceedings of the 30th Chinese Control Conference, CCC 2011

Volumn , Issue , 2011, Pages 6368-6373

  Cheng, Daizhan ^a   Zhao, Yin ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Adequate set; Algebraic expression of logic; k valued logic; Mix valued logic; Normal form

Indexed keywords

ADEQUATE SET; ALGEBRAIC EXPRESSION; K-VALUED LOGIC; MIX-VALUED LOGIC; NORMAL FORM;

ALGORITHMS;

MAPPING;

EID: 80053055203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. D. Cheng, H. Qi. Semi-tensor Product of Matrices - Theory and Applications[M]. Beijing: Science Press, 2007.
2. A.G. Hamilton. Logic for Mathematicians[M], Revised Ed. Cambridge: Cambridge Univ. Press, 1988.
3. D. Cheng, H. Qi. A linear representation of dynamics of Boolean networks[J]. IEEE Trans. Aut. Contr., 2010, 55(10): 2251-2258.
4. D. Cheng. Disturbance decoupling of Boolean control networks[ J]. IEEE Trans. Aut. Contr., 2011, 56(1): 2-10.
5. Z. Li, D. Cheng. Algebraic Approach to Dynamics of Multi-valued Networks[J]. Int. J. Bifurcat. Chaos, 2010, 20(3): 561-582.
6. A. Adamatzky. On dynamically non-trivial three-valued logics: oscillatory and bifurcatory species[J]. Chaos Solitons & Fractals, 2003, 18: 917-936.
7. Y. Mu, L. Guo. Optimization and identification in a non-equilibrium dynamic game[C]// Proc. CDC-CCC'09, Shanghai, 2009: 5750-5755.
8. Y. Zhao, Z. Li, D. Cheng. Optimal control of logical control networks[J]. IEEE Trans. Aut. Contr., Doi:10.1109/TAC.2010.2092290, to appear.
9. D. Cheng, H. Qi, Z. Li. Analysis and Control of Boolean Networks - A Semi-tensor Product Approach[M]. London: Springer, 2011.