In the present paper,with the help of the resolvent operator and some analytic methods,the exact controllability and continuous dependence are investigated for a fractional neutral integro-differential equations with ...In the present paper,with the help of the resolvent operator and some analytic methods,the exact controllability and continuous dependence are investigated for a fractional neutral integro-differential equations with state-dependent delay.As an application,we also give one example to demonstrate our results.展开更多
This paper has two sections which deals with a second order stochastic neutral partial differential equation with state dependent delay. In the first section the existence and uniqueness of mild solution is obtained b...This paper has two sections which deals with a second order stochastic neutral partial differential equation with state dependent delay. In the first section the existence and uniqueness of mild solution is obtained by use of measure of non-compactness. In the second section the conditions for approximate controllability are investigated for the distributed second order neutral stochastic differential system with respect to the approximate controllability of the corresponding linear system in a Hilbert space. Our method is an extension of co-author N. Sukavanam’s novel approach in [22]. Thereby, we remove the need to assume the invertibility of a controllability operator used by authors in [5], which fails to exist in infinite dimensional spaces if the associated semigroup is compact. Our approach also removes the need to check the invertibility of the controllability Gramian operator and associated limit condition used by the authors in [20], which are practically difficult to verify and apply. An example is provided to illustrate the presented theory.展开更多
In developing distributed systems, conformance testing is required to determine whether an implementation under test （IUT） conforms to its specification. With distributed test architectures involving multiple remote...In developing distributed systems, conformance testing is required to determine whether an implementation under test （IUT） conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine （FSM） representation of the system＇s specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method.展开更多
This paper deals with the optimal control problems of systems governed by a parabolic variational inequality coupled with a semilinear parabolic differential equations. The maximum principle and some kind of approxima...This paper deals with the optimal control problems of systems governed by a parabolic variational inequality coupled with a semilinear parabolic differential equations. The maximum principle and some kind of approximate controllability are studied.展开更多
A new modeling tool, algebraic state space approach to logical dynamic systems, which is developed recently based on the theory of semi-tensor product of matrices （STP）, is applied to the automata field. Using the S...A new modeling tool, algebraic state space approach to logical dynamic systems, which is developed recently based on the theory of semi-tensor product of matrices （STP）, is applied to the automata field. Using the STE this paper investigates the modeling and controlling problems of combined automata constructed in the ways of parallel, serial and feedback. By representing the states, input and output symbols in vector forms, the transition and output functions are expressed as algebraic equations of the states and inputs. Based on such algebraic descriptions, the control problems of combined automata, including output control and state control, are considered, and two necessary and sufficient conditions are presented for the controllability, by which two algorithms are established to find out all the control strings that make a combined automaton go to a target state or produce a desired output. The results are quite different from existing methods and provide a new angle and means to understand and analyze the dynamics of combined automata.展开更多
This paper discusses not a point of equilibrium to free system,but a certain family of equilibrium state of dynami- cal system with inputs.This equilibrium state depends on the input,so it is called the dynamic equili...This paper discusses not a point of equilibrium to free system,but a certain family of equilibrium state of dynami- cal system with inputs.This equilibrium state depends on the input,so it is called the dynamic equilibrium state.The expression of the dynamic equilibrium state can be given under some certain condition.With deductions and proofs in linear control system,es- tablish the expression of the dynamic equilibrium state in two cases,where the linear systems are nonsingular or singular.Also pre- sent the concept and the condition of the controllability of the dynamic equilibrium state.The controllability of the dynamic equilib- rium state is different from the controllability of the state to system,but these two are closely related.展开更多
文摘In the present paper,with the help of the resolvent operator and some analytic methods,the exact controllability and continuous dependence are investigated for a fractional neutral integro-differential equations with state-dependent delay.As an application,we also give one example to demonstrate our results.
基金supported by Ministry of Human Resource and Development(MHR-02-23-200-429/304)
文摘This paper has two sections which deals with a second order stochastic neutral partial differential equation with state dependent delay. In the first section the existence and uniqueness of mild solution is obtained by use of measure of non-compactness. In the second section the conditions for approximate controllability are investigated for the distributed second order neutral stochastic differential system with respect to the approximate controllability of the corresponding linear system in a Hilbert space. Our method is an extension of co-author N. Sukavanam’s novel approach in [22]. Thereby, we remove the need to assume the invertibility of a controllability operator used by authors in [5], which fails to exist in infinite dimensional spaces if the associated semigroup is compact. Our approach also removes the need to check the invertibility of the controllability Gramian operator and associated limit condition used by the authors in [20], which are practically difficult to verify and apply. An example is provided to illustrate the presented theory.
基金Project supported by the National Natural Science Foundation of China （Grant No.60673115）, and the Open Foundation of State Key Laboratory of Software Engineering （Grant No.SKLSE05-13）
文摘In developing distributed systems, conformance testing is required to determine whether an implementation under test （IUT） conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine （FSM） representation of the system＇s specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method.
基金This work was partially supported by the NutionalNatural Science Foundation of China
文摘This paper deals with the optimal control problems of systems governed by a parabolic variational inequality coupled with a semilinear parabolic differential equations. The maximum principle and some kind of approximate controllability are studied.
基金Acknowledgements This work was supported by Key Scientific Research Program of the Higher Education Institutions of Henan Educational Committee （15A416005）, the 2015 Science Foundation of Henan University of Science and Technology for Youths （2015QN016）, and the National Natural Science Foundation of China （Grant Nos. 61573199, 61473115, and U1404610）. The authors would like to express their thanks to Prof. Y G Hong for his helpful suggestions.
文摘A new modeling tool, algebraic state space approach to logical dynamic systems, which is developed recently based on the theory of semi-tensor product of matrices （STP）, is applied to the automata field. Using the STE this paper investigates the modeling and controlling problems of combined automata constructed in the ways of parallel, serial and feedback. By representing the states, input and output symbols in vector forms, the transition and output functions are expressed as algebraic equations of the states and inputs. Based on such algebraic descriptions, the control problems of combined automata, including output control and state control, are considered, and two necessary and sufficient conditions are presented for the controllability, by which two algorithms are established to find out all the control strings that make a combined automaton go to a target state or produce a desired output. The results are quite different from existing methods and provide a new angle and means to understand and analyze the dynamics of combined automata.
基金Supported by the National Science Foundation of China(60274056)
文摘This paper discusses not a point of equilibrium to free system,but a certain family of equilibrium state of dynami- cal system with inputs.This equilibrium state depends on the input,so it is called the dynamic equilibrium state.The expression of the dynamic equilibrium state can be given under some certain condition.With deductions and proofs in linear control system,es- tablish the expression of the dynamic equilibrium state in two cases,where the linear systems are nonsingular or singular.Also pre- sent the concept and the condition of the controllability of the dynamic equilibrium state.The controllability of the dynamic equilib- rium state is different from the controllability of the state to system,but these two are closely related.
