Conference Program of WCICA 2012

Conference Program WCICA 2012
Li, Zhiqiang
Song, Jinli
Henan Univ. of Economics & Law
Henan Univ. of Economics & Law
In this paper, using semi-tensor product and the vector form of Boolean
logical variables, the Boolean control network (BCN) is expressed as a
bilinear discrete time system about state and control variables. Based
on the algebraic form, the reachability and controllability of BCNs are
discussed. Also, the necessary and sufficient conditions for reachability
and controllability are given. At last, the control sequence that steers
one state to another is constructed. The reachability and controllability
discussed here are under certain constraint, where the trajectory of
states are avoiding some undesirable states set. The definitions discussed
in this paper have practical meaning.
SuA09 13:30–15:30 Room 311A
Invited Session: control problems for stochastic systems
Chair: Zhang, Huanshui
Co-Chair: Wang, Guangchen
Shandong Univ.
Shandong Univ.
◮ SuA09-1 13:30–13:50
Optimal Control for Stochastic Discrete-time Systems with Multiple
Input-delays, pp.1529–1534
Wang, Hongxia
Zhang, Huanshui
Wang, Xuan
Harbin Insititute of Tech.
Shandong Univ.
Harbin Inst. of Tech.
The main purpose of the paper is to settle the stochastic linear quadratic
optimal control problem for systems with multiple input-delays which
is very intractable and remains to be solved. We introduce a different
version of stochastic discrete-time maximum principle(SDMP) where it
is shown that the auxiliary variable depends on the optimal system s-
tate through a stochastic matrix and the expectation of the relationship
matrix happens to be the solution to the standard generalized Riccati
equation with the same dimension as the origin system. The relationship
explores the key difference of stochastic LQ from the deterministic
one. It enables us to obtain the kernel of the optimal cost function
for stochastic control and further the analytical and explicit solution to
the stochastic linear quadratic (LQ) control problem with multiple inputdelays.
◮ SuA09-2 13:50–14:10
Output feedback control for high-order stochastic nonlinear time-delay
systems, pp.1541–1546
Liu, Liang
Xie, Xue-Jun
Qufu Normal Univ.
Qufu Normal Univ.
This paper considers output feedback stabilization problem for a class
of high-order stochastic nonlinear time-delay systems. By introducing
the adding a power integrator technique in the stochastic case and
a rescaling transformation, and choosing an appropriate Lyapunov-
Krasoviskii functional, an output feedback controller is constructed to
render the closed-loop system globally asymptotically stable in probability
and the output can be regulated to the origin almost surely.
◮ SuA09-3 14:10–14:30
On detectability and observability of discrete-time stochastic Markov
jump systems with state-dependent noise, pp.1644–1649
Zhang, Weihai
Tan, Cheng
Shandong Univ. of Sci. & Tech.
Shandong Univ. of Sci. & Tech.
This paper mainly studies the notions of detectability and observability
for discrete-time stochastic Markov jump systems with state-dependent
noise. Two concepts called “W-detectability” and “W-observability”
for such systems are introduced, which are shown to coincide with
exact detectability and exact observability reported recently in literatures.
Moreover, some criteria and interesting properties for both W-
detectability and W-observability are obtained.
◮ SuA09-4 14:30–14:50
Partial information LQ optimal control of backward stochastic differential
equations, pp.1694–1697
Wang, Guangchen
Wu, Zhen
Shandong Univ.
Shandong Univ.
Xiong, Jie
Univ. of Tennessee
This paper is concerned with a class of linear-quadratic (LQ, for short)
optimal control problems for backward stochastic differential equations
(BSDEs, for short) with partial information. By virtue of stochastic
filtering and the existence of forward-backward stochastic differential e-
quations (FBSDEs, for short), the optimal solution is explicitly obtained.
◮ SuA09-5 14:50–15:10
Nonsmooth Adaptive Control Design for Uncertain Stochastic Nonlinear
Systems, pp.1779–1784
Zhang, Jian
Liu, Yungang
Shandong Univ.
Shandong Univ.
This paper investigates the problem of the global stabilization via state
feedback and adaptive technique for a class of high-order stochastic
nonlinear systems with more uncertainties/unknowns. First of all, two
stochastic stability concepts are slightly extended to allow the systems
with more than one solution. To solve the problem, a lot of substantial
technical obstacles should be overcome since the presence of severe
uncertainties/unknowns and stochastic noise. By introducing the appropriate
control Lyapunov function and suitable adaptive updated law
for an unknown design parameter, and by using the method of adding
a power integrator, an adaptive continuous (nonsmooth) state feedback
controller without overparameterization is successfully designed, which
guarantees that the closed-loop states are bounded and the original
system states eventually converge to zero, both with probability one.
SuA10 13:30–15:30 Room 311B
Invited Session: Intelligent information processing
Chair: Wang, Biao
Co-Chair: Duan, Haibin
Nanjing Univ. of Aeronautics & Astronautics
Beihang Univ.
◮ SuA10-1 13:30–13:50
Similarity Matching Algorithm for Ontology-Based Similarity Matching
Algorithm for Ontology-Based, pp.758–763
Gao, Qian
Shandong Polytechnic Univ.
In recent years the extreme growth of digital documents brought to light
the need for novel approaches and more efficient techniques to improve
the precision and the recall of IR systems. In this paper I proposed a
novel Similarity Matching Algorithm for Ontology-Based Semantic Information
Retrieval Model to measure whether two ontologies are matching
or not from the name, the attribute and the theme of the concepts.
Simulation shows that for the same recall, the proposed algorithm can
increase the precision and flexibility compared with the traditional semantic
similarity matching methods.
◮ SuA10-2 13:50–14:10
Hybrid Artificial Bee Colony and Particle Swarm Optimization Approach
to Protein Secondary Structure Prediction, pp.5040–5044
LI, Mengwei
Duan, Haibin
Shi, Dalong
Beihang Univ.
Beihang Univ.
Beihang Univ.
Proteins are crucial in the biological process, and their structure determines
whether they can function well or not. Since the theory presented
by Anfinsen that proteins’space structure is entirely determined by the
primary structure came out, it is possible for us to predict the structure
of proteins through their primary structure without any experiment. In
order to reach this target, the prediction problem can be formulated as
an optimization problem that is set to find the lowest free energy conformation.
In this work, a hybrid Artificial Bee Colony(ABC) with Particle
Swarm Optimization(PSO) Algorithm is used to solve this problem.
Considering that the two algorithms have complementary characteristics,
we combine them together and find out a better optimization results
through this new approach. Experimental results have demonstrated
the feasibility and effectiveness of our proposed approach
◮ SuA10-3 14:10–14:30
Static H∞Loop-Shaping Control for Unmanned Helicopter, pp.2882–
2886
Tang, Jie
Wei, Chen
Beihang Univ.
Beijing Univ. of Aeronautics & Astronautics
212