Linearization is the procedure of rewriting a process term into a linear form, which consist only of basic operators of the process language. This procedure is interesting both from a theoretical and a practical point of view. In particular, a linearization algorithm is needed for the Compositional Interchange Format (CIF), an automaton based modeling language. The problem of devising efficient...

The 0-1 cubic knapsack problem (CKP), a generalization of the classical quadratic problem, is an extremely challenging NP-hard combinatorial optimization problem. An effective exact solution strategy for CKP to reformulate nonlinear into equivalent linear form that can then be solved using standard mixed-integer programming solver. We consider linearization method and propose variant more recen...

background: photon attenuation as an inevitable physical phenomenon influences on the diagnostic information of spect images and results to errors in accuracy of quantitative measurements. this can be corrected via different physical or mathematical approaches. as the correction equation in mathematical approaches is nonlinear, in this study a new method of linearization called ‘piece wise line...

In this study, the dynamics and control aspects of a spherical robot rolling without slipping on an inclined plane are investigated. The planar dynamic model of the robot rolling ahead on an inclined plane is derived using Lagrangian dynamics. Based on the equivalent control method and Lyapunov stability theorem, a decoupled sliding mode control approach is presented for stable control of the p...

The two control design methods for stabilizing discrete time systems are based on the notion of exact linearization with diffemorphism and feedback. On the one hand, the first method consists in developing a polynomial control law based on the exact linearization approach. This approach was developed by considering the concept of relative degree. On the other hand, the second method is based on...