Title :
Reachability and controllability of mix-valued control networks
Author :
Li, Zhiqiang ; Xiao, Huimi ; Song, Jinli
Author_Institution :
Dept. of Math. & Inf. Sci., Henan Univ. of Econ. & Law, Zhengzhou, China
Abstract :
In this paper, the reachability and controllability of mix-valued logical control systems are discussed. Using semitensor product and the vector form of multi-valued logical variables, the mix-valued logical control system is expressed as a bilinear discrete time system with respect to the state and control variables. The definitions of reachability and controllability for a mix-valued logical control network are introduced. Also, the necessary and sufficient conditions are obtained for testing the reachability and controllability.
Keywords :
bilinear systems; controllability; discrete time systems; reachability analysis; tensors; bilinear discrete time system; control variable; controllability; mix-valued logical control network; multivalued logical variable; necessary and sufficient condition; reachability; semitensor product; state variable; vector form; Biological system modeling; Controllability; Genetics; Integrated circuit modeling; Trajectory; Vectors;
Conference_Titel :
Advanced Mechatronic Systems (ICAMechS), 2012 International Conference on
Conference_Location :
Tokyo
Print_ISBN :
978-1-4673-1962-1
