Rajagopalan Devanathan

Learn More
Abstruct-A unifying temporal logic framework is proposed for modelling, specifying, and analyzing mechanical assembly sequences. Propositional temporal logic of Manna and Pneuli is the assertion language used for representing and analyzing all constraints or conditions that assembly sequences must satisfy. The generalization of the existing representations(More)
For a nonlinear system with a control input, a generalized form of the homological equation can be formulated to reduce the system to its normal form. In this paper, it has been shown that for a linearly controllable system with an appropriate choice of state feedback, the generalized homological equation can be solved to give an explicit solution, of a(More)
The introduction of state equation model of the electrical machine based on direct and quadrature axes variables has paved the way for powerful control theories to be brought to bear on the problem of control of electric machines. Exact linearization has been applied to the control of permanent magnet synchronous motor (PMSM). In this paper, application of(More)