Multiestimation-Based Adaptive Control of Robotic Manipulators With Applications to Master Slave Tandems

Size: px
Start display at page:

Download "Multiestimation-Based Adaptive Control of Robotic Manipulators With Applications to Master Slave Tandems"

Transcription

1 Multietimation-Baed Adaptive Control of Robotic Manipulator With Application to Mater Slave andem A. IBEAS and M. de la SEN Intituto de Invetigación y Dearrollo de Proceo Facultad de Ciencia Campu de Leioa Apdo. 644, Bilbao SPAIN Abtract: A multietimation-baed adaptive controller i deigned for robotic manipulator. Multietimation baed technique can improve the tranient repone of adaptive ytem by witching between the variou etimation cheme. he witching proce i ubject to a minimum dwell or reidence time in order to guarantee tability. hen, the multietimation cheme i applied to the teleoperation of robotic manipulator. he robot are controlled by uing an impedance type control, which i a typical architecture of control in teleoperation procee. Keyword: adaptive control, robot control, uperviion, witching, impedance control, teleoperation. Introduction Nowaday, robotic manipulator are enively ued in the indutrial field. he deire of a high-peed or a high-preciion performance for thi ind of mechanical ytem ha led to reearch into improved control ytem. hee high performance control ytem need, in general, the dynamical model of the robotic manipulator in order to generate the control input []. Robotic manipulator are highly nonlinear and coupled multivariable dynamical ytem. Modelling error may be preent due to the uncertainty in the inertia mae of the ytem or in the tatic and dynamic friction force at the manipulator joint. Moreover, the parameter of the ytem may not be nown in advance ince it may handle variable payload during the operation cycle. Adaptive control i an alternative for the deign of high performance robotic manipulator controller []. However, adaptive control cheme may lead to a poor tranient repone in term of reference output deviation due to a wrong initialization of the parameter. In thi wor, a multietimation-baed adaptive cheme i ued to improve the tranient repone of adaptive robotic manipulator controller by online electing the appropriate etimate and adaptive controller parameterization from a finite et of identification-adaptive controller parameterization pair. Multietimation-baed controller have been ued in [3,4] in order to improve the tranient performance of continuo and dicrete time linear adaptive ytem. In the general problem etting, there exit a et of parameter etimation algorithm running in parallel. At each time, each etimation algorithm give the etimate parameter vector of the ytem. A higher level witching tructure between the variou etimation cheme decide the etimation algorithm that parameterize the adaptive controller in real time. he witching tructure act a an intelligent upervior of the ytem deciding at each time the identifier that would lead to a performance improvement and parameteriing the adaptive controller with it. A minimum dwelling or reidence time between conecutive witching i tated in order to guarantee tability [3,4]. Multietimation-baed adaptive control improve the poor tranient repone of adaptive ytem due to an inadequate initialization of the etimation algorithm. In a econd tage, multietimation-baed technique are applied to teleoperation ytem. eleoperation ytem are widely tudied and implemented nowaday ince they can end the human reach and manipulation capabilitie to remote place or hazardou location. eleoperation can be found in a broad variety of application lie in pace and underea exploration, nuclear operation or medical application [5]. A typical teleoperation ytem i formed by two robot, namely the mater and the lave manipulator, the human operator and the remote environment. he aim of the teleoperation ytem i the remote control of the lave manipulator. hi ta ha two tage. he firt one i to decide the way in which the mater and the lave manipulator hare their information and the nature of thi, i.e., which variable are tranmitted between them: poition, force or both. Several approache have been given to deal with thi problem [6]. hu, the control ytem can be of poition-poition, force-force, or force-poition type. For example, the force-poition type cheme i uch that the mater robot end it poition to the lave robot and thi one end the force meaured in it end effector to the mater robot. he econd tage i the deign of the controller for each robot. Depite the diverity of approache given in the literature, it i poible to claify mot of then into two major categorie [7], namely:

2 Impedance Control [8,9]. Hybrid poition/force control [0]. In thi paper, an impedance control technique i choen for deigning the control ytem. A tranient repone improvement can be achieved by uing multietimation-baed technique a it i hown in computer imulation. l q Plant Decription A robotic manipulator with n degree of freedom i characterized by a et of n generalized coordinate q = [ q q q n ] which define the o-called joint pace. ypically, thee coordinate are defined by the angle between two conecutive lin of the inematic chain. he general dynamical equation of a generic robotic manipulator can be written in the joint pace a : τ = M( qq ) + V( qq, ) + Fq ( ) + Gq ( ) + J ( q) f () n n where M ( q) R i the o called inertia matrix, which it i n poitive definite, V( q, q ) R i a vector containing the Corioli n and centripetal term, Fq ( ) R repreent the tatic and n dynamic friction term, Gq ( ) R i the gravity vector, n r J R, where r i the number of degree of freedom of the manipulator in the ta pace, i the Jacobian of the manipulator, r f R ( r 6) are the ernal force (and torque) and n τ R i the joint torque vector. A uual, a upercript dot dq denote the time derivative, q. Equation () repreent a et dt of nonlinear differential equation. An important property of Equation () i that it can be repreented in a linear in the parameter form a: τ = W P + J f () n p where W ( qqq,, ) R i the o called regreion matrix, p P R, where p i the number of parameter, i.e., mae, length and friction parameter from Equation (). hi i an important and ueful property that will be ued in the adaptive control algorithm deign. he main purpoe of thi paper i to how how multietimation baed technique improve the tranient repone of adaptive ytem. hu, the two degree of freedom robotic manipulator hown in Figure i ued. Y l q Figure. Robot manipulator. hi manipulator i the implet one that ha all the element neceary for a repreentative decription of the problem. wo generalized coordinate are then needed q = [ q q] and are choen to be the angle defined in Figure. hi robotic manipulator alo ha two degree of freedom in the ta pace, i.e. x, y. hu, J R in thi cae. he dynamical model of the robot can be obtained by uing the Newton-Euler method or the Lagrange method from the analytical dynamic. he following aumption are made in order to obtain a dynamical model of the ytem: X Mae m, m of both element are concentrated in the dital point of each one. Inertia tenor are zero for both element, i.e., ma i uppoed to be concentrated and not ditributed. he robot bae i fixed to ground. here i no gravitational effect ince the manipulator i aumed to operate in a horizontal plane. Gravitational effect can be added to the model with minor difficulty although they have not been conidered in order to clarify the multietimation proce. Friction term will be modeled by a vicou friction term, proportional to q i, plu a Coulomb type friction, which i proportional to ign( q i ). By uing the above aumption, the dynamical model for the robot manipulator lead to the following dynamical matrice: lm + llmc + l ( m+ m) lm + llmc M ( q ) = lm + llmc lm V( q, q ) = mllq mllqq mllq [ ν q ign q ν q ign q ] Fq ( ) = + ( ) + ( ) where = in( q), c = co( q) and o on, i the typical notation in robotic. hee equation can be rewritten according () by chooing the following decription for the regreor matrix and the parameter vector:

3 [ m m ν ν ] P = lq W q 0 ignq ( ) 0 W = 0 W 0 q 0 ign( q ) where: W = l ( q + q ) + llc( q + q ) + lq llq llqq and W = ll c q + l ( q + q ) + ll q 3 Control Algorithm he control algorithm i baed on an impedance type control. hi algorithm conit on the following. he inematic model of a robot can be written in the form: y = hq ( ) where y define the vector of ta variable, containing the carteian poition and orientation, q denote the vector of joint variable and h ( ) i the direct inematic function that can be derived for any robot manipulator by uing well etablihed technique. he manipulator end-effector velocity in the ta pace i related to the joint rate via the Jacobian tranformation: y = J( q) q aing the time derivative, we obtain, at configuration at which the Jacobian i non-ingular that: y = J q + Jq q = J( q) ( a J q ) (3) where a y i the acceleration vector in the ta pace. he Jacobian i a quare matrix if the degree of freedom of the manipulator in the joint pace and in the ta pace are equal. If J i a non-quare matrix with full column ran with n r (non le articulation than degree of freedom in the ta pace), then the invere of the Jacobian ha to be replaced with the peudoinvere ( ) # J = J JJ in (3). Replacing the joint acceleration (3) in the robot dynamic (), we obtain: τ = M( q) J ( a J q) + V( q, q ) + F( q ) + G( q) + J f (4) If we chooe now the control law to be: τ = M( q) J ( w J q) + V( q, q ) + F( q ) + G( q) + J f (5) the carteian-pace robot dynamic ha been reduced to the decoupled form: y = a = w (6) hu, the manipulator mut avoid Jacobian ingularitie in order to maintain the control law (5) non-ingular. In [], a virtual pring baed method i ued to avoid ingularity proximity. It i typical in control algorithm involving teleoperation technique to develop an impedance baed control, [5,6]. he baic idea of thi method i to mae the robotic manipulator to behave a an impedance device. hi mean that under an ernal force f, we want the robot to behave a the ma-damped reference ytem decribed with the linear matrix differential equation: M y + By + K y = f (7) where the matrice M = M > 0, B = B 0, K = K 0 [ > 0 ( 0) tand for poitive definite (emidefinite) matrice] are choen to be diagonal in order to decouple the robot dynamic in the ta pace and mae the behavior of the ytem intuitive for the operator. In fact, a linear reference model for the manipulator i choen through Eq. (3) and (5) where the nonlinear effect are cancelled (6). aing the Laplace tranform in equation (7) with zero initial condition and maintaining the ame notation for function and their tranform except the argument t or, we obtain: K M + B + d() = () v F (8) which relate the deired velocity of the ytem to the ernal force. Equation (8) can be rewritten a: K - vd() = M+ B+ F() = Z () F () for all complex uch that the invere exit, where Z () i generically the o called impedance. he deired ta pace acceleration i obtained from (8) a: - ad() = vd() = Z () F () and taing the invere Laplace tranform: - ad() t = L Z () F () (9) Note that if given an ernal force f, we calculate the acceleration defined above while maing w = a d, then the robotic manipulator behave a the impedance device defined by the equation (7). hu, (9) i the reference acceleration for (6). 4 Single Etimation Algorithm When the robot parameter are unnown, parameter etimation ha to be ued. For the implementation of the control algorithm a well a the parameter etimation, a digital(dicrete) etimation algorithm will be ued. Denote the ampling period a. At each ampling time t = the joint torque, and joint poition, velocitie and acceleration are meaured. he etimated robot parameter value are initialized by a vector P ˆ0. At each ampling time, the parameter vector i updated by the following etimation algorithm: FW E P P (0) ˆ ˆ τ + = + c + WFW FW W F + = F ζ c + WFW F where ζ ( 0,] i the forgetting factor of the etimation algorithm, and F0 = F0 > 0. he calar free-deign parameter c ( 0, ) act modifying the adaptation rate. hi parameter 3

4 can be upervied by a cloed-loop performance algorithm in order to get a fine tuning of it []. he adaptation error E τ i defined a E = ˆ τ τ - τ where ˆτ i defined for all time a: ˆ ˆ ( ) ˆ(, ) ˆ( ) ˆ τ = M qq + V qq + Fq + Gq ( ) + J f () or ˆ ˆ τ = WP+ J f where ˆP i the etimate of P via (0) with analogy to the plant model (). Conidering Equation () and (), the adaptation error i reduced to: ˆ E ˆ M( ) J ( J ) Mˆ τ = τ τ = q a ( ) d q q q () which will be ued in the etimation algorithm. he adaptive control law i generated by ubtituting the etimated robot parameter in equation (5): ˆ ( ) ˆ(, ) ˆ( ) ˆ τ = M q J a J q + V q q + F q + G( q) + J f (3) ( d ) 5 Multietimation Scheme If the etimation algorithm tart running with an etimate parameter vector far away from the real plant parameter vector, then the tranient will have large deviation from the deired output reulting in a bad performance. We have choen a parallel multietimation cheme in order to improve the tranient repone of the adaptive ytem. he architecture of the adaptive ytem i decribed in Figure. Figure. Multietimation cheme. here exit N e etimation algorithm running in parallel. Each one, i different from another in what i concerned with the etimate parameter vector initialization and/or the ind of etimation algorithm and integrate the o called etimation cheme. It alo exit an adaptive controller uch that it i parameterized at each time intant by one etimation algorithm which i choen from the parallel multietimation cheme. Denote by c K = {,,..., Ne} the integer that define the etimation algorithm which parameterize the adaptive controller at the ampling time t =. A witching rule baed on the identification error E (i) τ ( i Ne ) of the N e identification algorithm, chooe at each ampling time the identifier that parameterize the adaptive control law defined in (3) via (0). he adaptation error at t = ξ, E i defined a: ξ (i) τξ i ( d ) ( Mˆ ˆ ˆ ˆ ) () i () ˆ (c ξ ) ˆ ( ) ˆ(c ξ ) (, ) ˆ (c ξ ) Eτξ = τ τ = M q J a J q + V q q + F ( q ) + ˆ(c ξ ) (i) (i) (i) (i) + G ( q) ( q) q+ V ( q, q) + F ( q) + G ( q) (4) where all the quantitie are taen in the ampling time tξ = ξ. A performance index baed on the above identification error, i propoed in order to evaluate the performance of each identifier with the aim of chooing through time the bet one, via appropriate witching, to parameterize the adaptive controller. he propoed performance index of the uperviion ha the form: () i ξ () i () i ( ) λ τξ ξ τξ ξ = NC J = E Q E (5) where N c > 0 i the horizon ize of the uperviory index (5) and Q ξ i an at leat poitive emidefinite matrix which allow to weight in a different way each robotic degree of freedom. Equation (5) i a meaure of the long term accuracy of each identification algorithm, where the forgetting factor of the performance index (5), λ ( 0,] (which may be in general ample dependent) etablihe the effective memory of the index. hi i the dicrete time verion becaue of the digital implementation of the etimation algorithm and control. Once the uperviory index ha been tated, the witching rule for the adaptive controller reparameteriation i obtained from the performance index (5) a follow. If the time interval (or the number of ample in the digital cae) pat ince the lat witching i maller than the reidence time (reidence number of ample), then the witching i not allowed and the ame etimation algorithm i ued to parameterize the adaptive controller. he reidence time interval, within no witching i allowed, ha to be repected becaue of tability conideration. he reidence time i ubject to a minimum lower-bound in order to guarantee cloed-loop tability, [4]. If the time interval paed ince the lat witching, i more or equal than the reidence time, then the witching i allowed. In thi cae, the identifier choen from the multietimation cheme i uch that it generate the minimum performance index (5) for all etimation algorithm available. If (eventually) two etimator poe the ame index (what i an event of zero probability), then that with the mallet poition in the ordered et K i choen. If π denote the lat ample in which a witching happened, the witching map c at a ample, ( > π ) can be tated a: c π < ND c = ( ζ ) ( r) j j = min { ζ J ( ) = min { J ( ) r K } π ND where N D (poitive integer) i the dwell (or reidence) number of ample where the witching proce between etimator i not allowed from the preceding witching. he reidence time i then given by D = N D S. Multietimation cheme allow to improve the tranient repone of the adaptive ytem a it i hown in the following imulation example. 4

5 6 Simulation Reult Simulation example in which the tranient repone i improved by uing multietimation compared with ingle etimation are now preented. hee example illutrate the uefulne of the propoed cheme. In order to compare the tracing efficiency performance of each control cheme, the following tracing performance index ha been propoed: [ ξ ξ ] [ ξ ξ ] J ( ) = q ( ) q ( ) K q ξ ( ) q ( ) (6) p de de ξ = where K ξ i a ymmetric (at leat) poitive emidefinite matrix. q ( ξ ) i the joint acceleration vector in the ampling intant tξ = ξ and q de ( ξ ) i the deired joint acceleration vector defined in the deired ta pace acceleration through equation (3). he parameter of the etimation algorithm are ζ = 0.95 and c = c = for all 0. Qξ = Kξ = I in the performance indice (5)-(6). N D = ample while = 0.00ec. he real plant parameter vector i P = [ ] and l = l = meter. he multietimation cheme i formed in thi cae by two etimator running in parallel. hee etimator are () initialized by P ˆ 0 = [ ] and () P ˆ 0 = [ ] while the adaptation 0 matrix i initialized by F0 = 0 I 6 6 in both cae. he controller i initialized by the firt etimation algorithm. All value are given in MKS unit. he conventional adaptive cheme compoed by a () ingle etimation algorithm i initialized by ˆP 0. he reference input, i.e., the ernal force f R, ha been choen to be a ine ignal for each degree of freedom in the firt example and a random ignal paed through a low-pa filter for the econd example. he reference model i the ame for each degree of v () f () = for freedom in the ta pace, i.e., di i ( ) i = x, y. he following imulation are obtained. Example : Figure 4. Multietimation cheme output. Figure 5. Performance index for both cheme. Figure 3. Single etimation output. Figure 6. Multietimation cheme witching map. 5

6 Example : he witching map i the ame in both example (ee Fig. 6) becaue the ytem witche to the better controller when the retriction impoed by the reidence time i fulfilled. Comparing imulation in Figure (3)-(4) and (7)-(8) above, it can be oberved that a tranient repone improvement can be achieved by uing thi ind of method. Firt, the performance index propoed (6) i maller in the multietimation cheme than in the conventional ingle-etimation one (ee Figure 5 and 9). Second, the plant output deviation from the deired output during the tranient are alo maller in the multietimation cae. he tracing performance improvement i achieved by the witching to a better controller parameterization when the reidence time allow the witching proce, a it can be oberved from the witching map (Fig. 6) and the tracing performance index (Fig. 5 and 9). Figure 7. Single etimation output. Figure 8. Multietimation cheme output. 7 Application to eleoperation a In thi ection, the multietimation-baed adaptive control cheme i applied to teleoperation procee. he robotic ytem i formed by two robot, namely, the mater and the lave robot. If only the mater motion and/or force are tranmitted to the lave, then the teleoperation ytem i called unilateral. If, the lave motion and/or force are tranmitted to the mater a well, then the teleoperation ytem i called bilateral [3]. A traditional claification of the teleoperation control architecture i baed on the information tranmitted between both manipulator. hu, the control ytem can be either of poition-poition, force-force, or force-poition type. From a theoretical point of view, it i alo poible to implement a poition-force control but it ha been little ued. here are two important propertie of the teleoperation ytem namely tability and tranparency. A every control algorithm, the cloed loop ytem mut remain table. he tranparency property i referred to the fidelity with which the mater manipulator reproduce force meaured in the lave robot end effector. he above teleoperation control algorithm have different propertie in what i concerned with tability and tranparency condition. he poition-poition type controller i the mot table one but it ha a poor tranparency. On the other hand, the force-force type algorithm i the leat table but it can achieve a greater tranparency. In thi wor, a force-force control cheme ha been choen to implement the teleoperation architecture [4]. he Figure 0 repreent the control algorithm chema. Figure 9. Performance index for both cheme. 6

7 Figure 0. eleoperation architecture. he force made by the operator i tranmitted to the lave robot and the force meaured by the lave robot in it end effector i tranmitted to the mater one, defining a bilateral control algorithm. For each robot, there exit a multietimation-baed adaptive controller a that defined in the above ection. Each controller i independent for each robot and they can be tuned eparately. Alo, the mater and the lave robot may potentially be of different type, i.e., they may have different power, different inematic configuration or even a different number of degree of freedom lie in the cae of teleoperation with redundant robot. are the ame a before for both manipulator. here are two etimation cheme for each robot initialized by ˆ () P0 m = [ ] ˆ () P0 m = [ ] ˆ () P0 = [ ] ˆ () P 0 [ = ] while the ingle () etimation cheme i initialized by ˆ () P 0 m and P ˆ 0 repectively. Note that ince the controller deign and the etimation parameter are the ame for the above Example and and for the mater manipulator of thi example, the above imulation can be interpreted a the mater robot behavior for thi cheme. hu, the above imulation in Section 6 are completed now with imulation concerning the lave robot a well. Multietimation adaptive controller i independent from one robot to another and thu, reidence time, number of etimation cheme and free deign parameter can be choen independently for each one. he following imulation reult are obtained: Example 3: 8 eleoperation Simulation Reult Simulation example for the teleoperation ytem in which the tranient repone i improved by uing multietimation compared with ingle etimation are now preented. he ame tracing performance index a above (6) i ued for evaluating the reult. he lave movement i uppoe to be free in the pace, i.e. it doe not intercept any obtacle. Alo, the operator impedance i aumed to be much maller than the mater impedance. In the preented imulation both robot (mater and lave) and their reference model are the ame, although in a real teleoperation ytem each robot may be of different power or even have a different inematic configuration. A multietimation-baed adaptive controller i deigned for each one. he parameter for each adaptive controller can be choen independently. In thi cae, the etimation algorithm parameter are the ame a before for both robot. he real parameter for each robot are (a ubcript m i ued for denoting the mater device and a ubcript i ued for denoting the lave robot) for the mater robot P and for the lave, m = [ ] [ ] P =. Note that the m parameter i different from one robot to another. hi fact can be interpreted a that the lave robot i puhing a ma load of value 35g guided by the mater robot. he reference input i the ame ine ignal a ued in the above Example and the reference model Figure. Single etimation output for the lave robot. 7

8 Figure. Multietimation output for the lave robot. Figure 3. Performance index for both cheme, lave manipulator. previou one. In the cae when the parameter of any of the manipulator change their value, a reet mechanim for the etimation algorithm mut be included in the multietimation cheme. If the input ignal to the plant i peritently exited, then all the etimate parameter vector converge to the ame limit which i the real plant parameter vector. hu, all the etimation algorithm become identical and the multietimation cheme degenerate to the ame identification algorithm repeated N e time. he reet mechanim carrie the etimate parameter vector to their original location and the adaptive matrix gain to their original value. It i aumed that change between different plant parameterization are far enough from each other in order to efficiently apply a time invariant identification algorithm between change to the globally time varying ytem. he reet algorithm i formed by two tage. he firt one conit on deciding when the ytem ha reached to a table regimen. When the ytem reache a tationary tate, the identification performance indice (5) do not change ignificantly. hu, teting whether thi indice are almot invariant, the permanent regimen can characterized. he econd tage conit on detecting when the parameter ha changed. For thi purpoe, the ame quality indice (5) are ued. When the ytem detect an abrupt change in the indice (5), once a table regimen ha been reached, it activate the reet mechanim. he following imulation have been obtained for the lave manipulator (the mater manipulator behavior i the ame a in Section 6 ince no force reflection i conidered ). Example 4: Figure 4. Switching map for the lave multietimation cheme. he multietimation baed adaptive controller improve the tranient repone of the adaptive ytem by the witching to a better controller during the tranient repone (Fig. and ). hu, the lave tracing performance i improved for the teleoperation ytem (ee Fig. 3). he etimation controller parameterization witching map i the ame a in the above example concerning the mater robot (Fig. 6) ince the witching logic witche to the bet controller parameterization according to the bet identification performance (5) when the reidence time contraint i fulfilled. Since the reidence time i the ame for both multietimation cheme, the witching proce occur at the ame ampling intant. In the following Example 4, the lave m parameter change abruptly in time. At the time t = 0.5ec the real plant parameter vector change to P = [ ]. hi can be interpreted a that lave robot tart puhing a new ma load added to the Figure 5. Single etimation output for the lave with abrupt change. 8

9 between parameterization far enough one from each other, the multietimation cheme improve the ytem behavior by accommodating the current controller to the new ituation. Acnowledgement: he author are grateful to MEC and to the UPV-EHU by it partial upport of thi wor through project DPI and UPV /UPV/EHU 00I06.I06.30 EB 835/000. A. Ibea i very grateful to MECD by it upport of thi wor through the FPU grant P Figure 6. Multietimation cheme output for the lave with a reet mechanim included. Figure 7. Switching map for the lave multietimation cheme. When the parameter of the robot manipulator change, the reet mechanim i activated and the multietimation cheme witche to the adequate controller (Fig. 7) improving the ytem behavior (ee Fig. 5 and 6). 9 Concluion In thi paper, a multietimation-baed adaptive controller ha been deigned for robotic manipulator. hi ind of technique can improve the tranient repone of the adaptive ytem by the appropriate witching between controller parameterization form the parallel multietimation cheme. he witching proce typically reduce plant output deviation during the tranient repone through the implementation of the witching operation between appropriate identifier and aociate controller parameterization. hen, the multietimation cheme ha been applied to the cae of teleoperation ytem a well.an impedancetype control ha been deigned in order to mae the robotic mechanical ytem to behave a an impedance type device. When the plant parameter change abruptly through time with change Reference: [] M.W. Spong, F.L. Lewi and C.. Abdallah, Robot Control, IEEE Pre, 993. [] J.J. Craig, Adaptive Control of Mechanical Manipulator. Addion-Weley Reading, MA. [3] K.S. Narendra, J. Balarihnan, Improving tranient repone of adaptive control ytem uing multiple model and witching. IEEE ran. on Aut. Contr. Vol. 39, nº 9, pp , 994. [4] A. Ibea, M. de la Sen and S. Alono-Queada, Adaptive Stabilization of dicrete linear ytem via a multietimation cheme. Inter. Math. J. Vol. 3,nº, 4, pp , 003. [5].B. Sheridan. elerobotic, Automatica, vol. 5, no. 4, pp ,989. [6] D.A. Lawrence. Stability and ranparency in Bilateral eleoperation. IEEE ran. Robotic and Automation, vol. 9, no.5, pp , 993. [7] C.C. Cheah and D. Wang. Learning Impedance Control for Robotic Manipulator. IEEE ran. Robotic and Automation, vol. 4, no. 3, pp , 998. [8] N. Hogan, Impedance Control: An Approach to Manipulation, Part I-III, Jour. of Dynamic Sytem, Meaurement and Control, Vol. 07, pp. -4, March, 985. [9] K. Hatrudi-Zaad and S.E. Salcudean, Analyi of Control Architecture for eleoperation Sytem with Impedance/Admittance Mater and Slave Manipulator. Inter. Jour. of Rob. Re. Vol. 0, nº 6, pp , 00. [0] M.H. Raibert and J.J. Craig, Hybrid poition/force control of manipulator. ASME J. Dyn. Syt. Mea. Contr. vol. 0, pp. 6, 98. [] E. Sánchez, A. Rubio and A. Avello. An Intuitive Force Feedbac to Avoid Singularity Proximity and Worpace Boundarie in Bilateral Controlled Sytem Baed on Virtual Spring. Proc. Of the IEEE Inter. Conf. on Intelligent Robot and Sytem. Vol., pp , 00. [] M. de la Sen and A. Almana, Adaptive control of manipulator with uperviion of the ampling rate and free deign parameter of the adaptation algorithm. Cybernetic and Sytem, Vol. 33, pp , 00. [3] W. H. Zhu and S. E. Salcudean. Stability Guaranteed eleoperation: an Adaptive Motion/Force Control Approach. IEEE ran. on Automatic Contr. vol. 45, no., pp , 000. [4] H. Kazerooni,. ay and K. Hollerbach. A Controller Deign Framewor for elerobotic Sytem. IEEE ran. on Cont. Sy. ech. Vol., no.,

Motion Control (wheeled robots)

Motion Control (wheeled robots) 3 Motion Control (wheeled robot) Requirement for Motion Control Kinematic / dynamic model of the robot Model of the interaction between the wheel and the ground Definition of required motion -> peed control,

More information

Kinematics Programming for Cooperating Robotic Systems

Kinematics Programming for Cooperating Robotic Systems Kinematic Programming for Cooperating Robotic Sytem Critiane P. Tonetto, Carlo R. Rocha, Henrique Sima, Altamir Dia Federal Univerity of Santa Catarina, Mechanical Engineering Department, P.O. Box 476,

More information

Design of a Stewart Platform for General Machining Using Magnetic Bearings

Design of a Stewart Platform for General Machining Using Magnetic Bearings eign of a Stewart Platform for eneral Machining Uing Magnetic earing Jeff Pieper epartment of Mechanical and Manufacturing Engineering Univerity of algary algary lberta anada N N4 pieper@ucalgary.ca Preented

More information

Modeling of underwater vehicle s dynamics

Modeling of underwater vehicle s dynamics Proceeding of the 11th WEA International Conference on YTEM, Agio Nikolao, Crete Iland, Greece, July 23-25, 2007 44 Modeling of underwater vehicle dynamic ANDRZEJ ZAK Department of Radiolocation and Hydrolocation

More information

Performance of a Robust Filter-based Approach for Contour Detection in Wireless Sensor Networks

Performance of a Robust Filter-based Approach for Contour Detection in Wireless Sensor Networks Performance of a Robut Filter-baed Approach for Contour Detection in Wirele Senor Network Hadi Alati, William A. Armtrong, Jr., and Ai Naipuri Department of Electrical and Computer Engineering The Univerity

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each type of circuit will be implemented in two

More information

Chapter 13 Non Sampling Errors

Chapter 13 Non Sampling Errors Chapter 13 Non Sampling Error It i a general aumption in the ampling theory that the true value of each unit in the population can be obtained and tabulated without any error. In practice, thi aumption

More information

Planning of scooping position and approach path for loading operation by wheel loader

Planning of scooping position and approach path for loading operation by wheel loader 22 nd International Sympoium on Automation and Robotic in Contruction ISARC 25 - September 11-14, 25, Ferrara (Italy) 1 Planning of cooping poition and approach path for loading operation by wheel loader

More information

Universität Augsburg. Institut für Informatik. Approximating Optimal Visual Sensor Placement. E. Hörster, R. Lienhart.

Universität Augsburg. Institut für Informatik. Approximating Optimal Visual Sensor Placement. E. Hörster, R. Lienhart. Univerität Augburg à ÊÇÅÍÆ ËÀǼ Approximating Optimal Viual Senor Placement E. Hörter, R. Lienhart Report 2006-01 Januar 2006 Intitut für Informatik D-86135 Augburg Copyright c E. Hörter, R. Lienhart Intitut

More information

[N309] Feedforward Active Noise Control Systems with Online Secondary Path Modeling. Muhammad Tahir Akhtar, Masahide Abe, and Masayuki Kawamata

[N309] Feedforward Active Noise Control Systems with Online Secondary Path Modeling. Muhammad Tahir Akhtar, Masahide Abe, and Masayuki Kawamata he 32nd International Congre and Expoition on Noie Control Engineering Jeju International Convention Center, Seogwipo, Korea, Augut 25-28, 2003 [N309] Feedforward Active Noie Control Sytem with Online

More information

Representations and Transformations. Objectives

Representations and Transformations. Objectives Repreentation and Tranformation Objective Derive homogeneou coordinate tranformation matrice Introduce tandard tranformation - Rotation - Tranlation - Scaling - Shear Scalar, Point, Vector Three baic element

More information

Advanced Encryption Standard and Modes of Operation

Advanced Encryption Standard and Modes of Operation Advanced Encryption Standard and Mode of Operation G. Bertoni L. Breveglieri Foundation of Cryptography - AES pp. 1 / 50 AES Advanced Encryption Standard (AES) i a ymmetric cryptographic algorithm AES

More information

Compressed Sensing Image Processing Based on Stagewise Orthogonal Matching Pursuit

Compressed Sensing Image Processing Based on Stagewise Orthogonal Matching Pursuit Senor & randucer, Vol. 8, Iue 0, October 204, pp. 34-40 Senor & randucer 204 by IFSA Publihing, S. L. http://www.enorportal.com Compreed Sening Image Proceing Baed on Stagewie Orthogonal Matching Puruit

More information

ES205 Analysis and Design of Engineering Systems: Lab 1: An Introductory Tutorial: Getting Started with SIMULINK

ES205 Analysis and Design of Engineering Systems: Lab 1: An Introductory Tutorial: Getting Started with SIMULINK ES05 Analyi and Deign of Engineering Sytem: Lab : An Introductory Tutorial: Getting Started with SIMULINK What i SIMULINK? SIMULINK i a oftware package for modeling, imulating, and analyzing dynamic ytem.

More information

The norm Package. November 15, Title Analysis of multivariate normal datasets with missing values

The norm Package. November 15, Title Analysis of multivariate normal datasets with missing values The norm Package November 15, 2003 Verion 1.0-9 Date 2002/05/06 Title Analyi of multivariate normal dataet with miing value Author Ported to R by Alvaro A. Novo . Original by Joeph

More information

Multi-Target Tracking In Clutter

Multi-Target Tracking In Clutter Multi-Target Tracking In Clutter John N. Sander-Reed, Mary Jo Duncan, W.B. Boucher, W. Michael Dimmler, Shawn O Keefe ABSTRACT A high frame rate (0 Hz), multi-target, video tracker ha been developed and

More information

A System Dynamics Model for Transient Availability Modeling of Repairable Redundant Systems

A System Dynamics Model for Transient Availability Modeling of Repairable Redundant Systems International Journal of Performability Engineering Vol., No. 3, May 05, pp. 03-. RAMS Conultant Printed in India A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem

More information

See chapter 8 in the textbook. Dr Muhammad Al Salamah, Industrial Engineering, KFUPM

See chapter 8 in the textbook. Dr Muhammad Al Salamah, Industrial Engineering, KFUPM Goal programming Objective of the topic: Indentify indutrial baed ituation where two or more objective function are required. Write a multi objective function model dla a goal LP Ue weighting um and preemptive

More information

else end while End References

else end while End References 621-630. [RM89] [SK76] Roenfeld, A. and Melter, R. A., Digital geometry, The Mathematical Intelligencer, vol. 11, No. 3, 1989, pp. 69-72. Sklanky, J. and Kibler, D. F., A theory of nonuniformly digitized

More information

SLA Adaptation for Service Overlay Networks

SLA Adaptation for Service Overlay Networks SLA Adaptation for Service Overlay Network Con Tran 1, Zbigniew Dziong 1, and Michal Pióro 2 1 Department of Electrical Engineering, École de Technologie Supérieure, Univerity of Quebec, Montréal, Canada

More information

Aspects of Formal and Graphical Design of a Bus System

Aspects of Formal and Graphical Design of a Bus System Apect of Formal and Graphical Deign of a Bu Sytem Tiberiu Seceleanu Univerity of Turku, Dpt. of Information Technology Turku, Finland tiberiu.eceleanu@utu.fi Tomi Weterlund Turku Centre for Computer Science

More information

A METHOD OF REAL-TIME NURBS INTERPOLATION WITH CONFINED CHORD ERROR FOR CNC SYSTEMS

A METHOD OF REAL-TIME NURBS INTERPOLATION WITH CONFINED CHORD ERROR FOR CNC SYSTEMS Vietnam Journal of Science and Technology 55 (5) (017) 650-657 DOI: 10.1565/55-518/55/5/906 A METHOD OF REAL-TIME NURBS INTERPOLATION WITH CONFINED CHORD ERROR FOR CNC SYSTEMS Nguyen Huu Quang *, Banh

More information

Comparison of Methods for Horizon Line Detection in Sea Images

Comparison of Methods for Horizon Line Detection in Sea Images Comparion of Method for Horizon Line Detection in Sea Image Tzvika Libe Evgeny Gerhikov and Samuel Koolapov Department of Electrical Engineering Braude Academic College of Engineering Karmiel 2982 Irael

More information

REVERSE KINEMATIC ANALYSIS OF THE SPATIAL SIX AXIS ROBOTIC MANIPULATOR WITH CONSECUTIVE JOINT AXES PARALLEL

REVERSE KINEMATIC ANALYSIS OF THE SPATIAL SIX AXIS ROBOTIC MANIPULATOR WITH CONSECUTIVE JOINT AXES PARALLEL Proceeding of the ASME 007 International Deign Engineering Technical Conference & Computer and Information in Engineering Conference IDETC/CIE 007 September 4-7, 007 La Vega, Nevada, USA DETC007-34433

More information

/06/$ IEEE 364

/06/$ IEEE 364 006 IEEE International ympoium on ignal Proceing and Information Technology oie Variance Etimation In ignal Proceing David Makovoz IPAC, California Intitute of Technology, MC-0, Paadena, CA, 95 davidm@ipac.caltech.edu;

More information

Domain-Specific Modeling for Rapid System-Wide Energy Estimation of Reconfigurable Architectures

Domain-Specific Modeling for Rapid System-Wide Energy Estimation of Reconfigurable Architectures Domain-Specific Modeling for Rapid Sytem-Wide Energy Etimation of Reconfigurable Architecture Seonil Choi 1,Ju-wookJang 2, Sumit Mohanty 1, Viktor K. Praanna 1 1 Dept. of Electrical Engg. 2 Dept. of Electronic

More information

How to Select Measurement Points in Access Point Localization

How to Select Measurement Points in Access Point Localization Proceeding of the International MultiConference of Engineer and Computer Scientit 205 Vol II, IMECS 205, March 8-20, 205, Hong Kong How to Select Meaurement Point in Acce Point Localization Xiaoling Yang,

More information

Distributed Packet Processing Architecture with Reconfigurable Hardware Accelerators for 100Gbps Forwarding Performance on Virtualized Edge Router

Distributed Packet Processing Architecture with Reconfigurable Hardware Accelerators for 100Gbps Forwarding Performance on Virtualized Edge Router Ditributed Packet Proceing Architecture with Reconfigurable Hardware Accelerator for 100Gbp Forwarding Performance on Virtualized Edge Router Satohi Nihiyama, Hitohi Kaneko, and Ichiro Kudo Abtract To

More information

Anisotropic filtering on normal field and curvature tensor field using optimal estimation theory

Anisotropic filtering on normal field and curvature tensor field using optimal estimation theory Aniotropic filtering on normal field and curvature tenor field uing optimal etimation theory Min Liu Yuhen Liu and Karthik Ramani Purdue Univerity, Wet Lafayette, Indiana, USA Email: {liu66 liu28 ramani}@purdue.edu

More information

Service and Network Management Interworking in Future Wireless Systems

Service and Network Management Interworking in Future Wireless Systems Service and Network Management Interworking in Future Wirele Sytem V. Tountopoulo V. Stavroulaki P. Demeticha N. Mitrou and M. Theologou National Technical Univerity of Athen Department of Electrical Engineering

More information

Refining SIRAP with a Dedicated Resource Ceiling for Self-Blocking

Refining SIRAP with a Dedicated Resource Ceiling for Self-Blocking Refining SIRAP with a Dedicated Reource Ceiling for Self-Blocking Mori Behnam, Thoma Nolte Mälardalen Real-Time Reearch Centre P.O. Box 883, SE-721 23 Väterå, Sweden {mori.behnam,thoma.nolte}@mdh.e ABSTRACT

More information

Modeling the Effect of Mobile Handoffs on TCP and TFRC Throughput

Modeling the Effect of Mobile Handoffs on TCP and TFRC Throughput Modeling the Effect of Mobile Handoff on TCP and TFRC Throughput Antonio Argyriou and Vijay Madietti School of Electrical and Computer Engineering Georgia Intitute of Technology Atlanta, Georgia 3332 25,

More information

Focused Video Estimation from Defocused Video Sequences

Focused Video Estimation from Defocused Video Sequences Focued Video Etimation from Defocued Video Sequence Junlan Yang a, Dan Schonfeld a and Magdi Mohamed b a Multimedia Communication Lab, ECE Dept., Univerity of Illinoi, Chicago, IL b Phyical Realization

More information

Drawing Lines in 2 Dimensions

Drawing Lines in 2 Dimensions Drawing Line in 2 Dimenion Drawing a traight line (or an arc) between two end point when one i limited to dicrete pixel require a bit of thought. Conider the following line uperimpoed on a 2 dimenional

More information

An Intro to LP and the Simplex Algorithm. Primal Simplex

An Intro to LP and the Simplex Algorithm. Primal Simplex An Intro to LP and the Simplex Algorithm Primal Simplex Linear programming i contrained minimization of a linear objective over a olution pace defined by linear contraint: min cx Ax b l x u A i an m n

More information

Computer Arithmetic Homework Solutions. 1 An adder for graphics. 2 Partitioned adder. 3 HDL implementation of a partitioned adder

Computer Arithmetic Homework Solutions. 1 An adder for graphics. 2 Partitioned adder. 3 HDL implementation of a partitioned adder Computer Arithmetic Homework 3 2016 2017 Solution 1 An adder for graphic In a normal ripple carry addition of two poitive number, the carry i the ignal for a reult exceeding the maximum. We ue thi ignal

More information

UC Berkeley International Conference on GIScience Short Paper Proceedings

UC Berkeley International Conference on GIScience Short Paper Proceedings UC Berkeley International Conference on GIScience Short Paper Proceeding Title A novel method for probabilitic coverage etimation of enor network baed on 3D vector repreentation in complex urban environment

More information

INVERSE DYNAMIC SIMULATION OF A HYDRAULIC DRIVE WITH MODELICA. α Cylinder chamber areas ratio... σ Viscous friction coefficient

INVERSE DYNAMIC SIMULATION OF A HYDRAULIC DRIVE WITH MODELICA. α Cylinder chamber areas ratio... σ Viscous friction coefficient Proceeding of the ASME 2013 International Mechanical Engineering Congre & Expoition IMECE2013 November 15-21, 2013, San Diego, California, USA IMECE2013-63310 INVERSE DYNAMIC SIMULATION OF A HYDRAULIC

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each circuit will be decribed in Verilog and implemented

More information

Integration of Digital Test Tools to the Internet-Based Environment MOSCITO

Integration of Digital Test Tools to the Internet-Based Environment MOSCITO Integration of Digital Tet Tool to the Internet-Baed Environment MOSCITO Abtract Current paper decribe a new environment MOSCITO for providing acce to tool over the internet. The environment i built according

More information

SIMIT 7. Profinet IO Gateway. User Manual

SIMIT 7. Profinet IO Gateway. User Manual SIMIT 7 Profinet IO Gateway Uer Manual Edition January 2013 Siemen offer imulation oftware to plan, imulate and optimize plant and machine. The imulation- and optimizationreult are only non-binding uggetion

More information

Routing Definition 4.1

Routing Definition 4.1 4 Routing So far, we have only looked at network without dealing with the iue of how to end information in them from one node to another The problem of ending information in a network i known a routing

More information

Hassan Ghaziri AUB, OSB Beirut, Lebanon Key words Competitive self-organizing maps, Meta-heuristics, Vehicle routing problem,

Hassan Ghaziri AUB, OSB Beirut, Lebanon Key words Competitive self-organizing maps, Meta-heuristics, Vehicle routing problem, COMPETITIVE PROBABIISTIC SEF-ORGANIZING MAPS FOR ROUTING PROBEMS Haan Ghaziri AUB, OSB Beirut, ebanon ghaziri@aub.edu.lb Abtract In thi paper, we have applied the concept of the elf-organizing map (SOM)

More information

CENTER-POINT MODEL OF DEFORMABLE SURFACE

CENTER-POINT MODEL OF DEFORMABLE SURFACE CENTER-POINT MODEL OF DEFORMABLE SURFACE Piotr M. Szczypinki Iintitute of Electronic, Technical Univerity of Lodz, Poland Abtract: Key word: Center-point model of deformable urface for egmentation of 3D

More information

MAT 155: Describing, Exploring, and Comparing Data Page 1 of NotesCh2-3.doc

MAT 155: Describing, Exploring, and Comparing Data Page 1 of NotesCh2-3.doc MAT 155: Decribing, Exploring, and Comparing Data Page 1 of 8 001-oteCh-3.doc ote for Chapter Summarizing and Graphing Data Chapter 3 Decribing, Exploring, and Comparing Data Frequency Ditribution, Graphic

More information

Maneuverable Relays to Improve Energy Efficiency in Sensor Networks

Maneuverable Relays to Improve Energy Efficiency in Sensor Networks Maneuverable Relay to Improve Energy Efficiency in Senor Network Stephan Eidenbenz, Luka Kroc, Jame P. Smith CCS-5, MS M997; Lo Alamo National Laboratory; Lo Alamo, NM 87545. Email: {eidenben, kroc, jpmith}@lanl.gov

More information

Topics. Lecture 37: Global Optimization. Issues. A Simple Example: Copy Propagation X := 3 B > 0 Y := 0 X := 4 Y := Z + W A := 2 * 3X

Topics. Lecture 37: Global Optimization. Issues. A Simple Example: Copy Propagation X := 3 B > 0 Y := 0 X := 4 Y := Z + W A := 2 * 3X Lecture 37: Global Optimization [Adapted from note by R. Bodik and G. Necula] Topic Global optimization refer to program optimization that encompa multiple baic block in a function. (I have ued the term

More information

Karen L. Collins. Wesleyan University. Middletown, CT and. Mark Hovey MIT. Cambridge, MA Abstract

Karen L. Collins. Wesleyan University. Middletown, CT and. Mark Hovey MIT. Cambridge, MA Abstract Mot Graph are Edge-Cordial Karen L. Collin Dept. of Mathematic Weleyan Univerity Middletown, CT 6457 and Mark Hovey Dept. of Mathematic MIT Cambridge, MA 239 Abtract We extend the definition of edge-cordial

More information

A SIMPLE IMPERATIVE LANGUAGE THE STORE FUNCTION NON-TERMINATING COMMANDS

A SIMPLE IMPERATIVE LANGUAGE THE STORE FUNCTION NON-TERMINATING COMMANDS A SIMPLE IMPERATIVE LANGUAGE Eventually we will preent the emantic of a full-blown language, with declaration, type and looping. However, there are many complication, o we will build up lowly. Our firt

More information

Trainable Context Model for Multiscale Segmentation

Trainable Context Model for Multiscale Segmentation Trainable Context Model for Multicale Segmentation Hui Cheng and Charle A. Bouman School of Electrical and Computer Engineering Purdue Univerity Wet Lafayette, IN 47907-1285 {hui, bouman}@ ecn.purdue.edu

More information

Edits in Xylia Validity Preserving Editing of XML Documents

Edits in Xylia Validity Preserving Editing of XML Documents dit in Xylia Validity Preerving diting of XML Document Pouria Shaker, Theodore S. Norvell, and Denni K. Peter Faculty of ngineering and Applied Science, Memorial Univerity of Newfoundland, St. John, NFLD,

More information

( ) subject to m. e (2) L are 2L+1. = s SEG SEG Las Vegas 2012 Annual Meeting Page 1

( ) subject to m. e (2) L are 2L+1. = s SEG SEG Las Vegas 2012 Annual Meeting Page 1 A new imultaneou ource eparation algorithm uing frequency-divere filtering Ying Ji*, Ed Kragh, and Phil Chritie, Schlumberger Cambridge Reearch Summary We decribe a new imultaneou ource eparation algorithm

More information

Modeling and Analysis of Slow CW Decrease for IEEE WLAN

Modeling and Analysis of Slow CW Decrease for IEEE WLAN Modeling and Analyi of Slow CW Decreae for IEEE 82. WLAN Qiang Ni, Imad Aad 2, Chadi Barakat, and Thierry Turletti Planete Group 2 Planete Group INRIA Sophia Antipoli INRIA Rhône-Alpe Sophia Antipoli,

More information

FPGA Implementation of Closed Loop Control of Pan Tilt Mechanism

FPGA Implementation of Closed Loop Control of Pan Tilt Mechanism IJCTA, 9(39), 206, pp. 295-302 International Science Pre Cloed Loop Control of Soft Switched Forward Converter Uing Intelligent Controller 295 FPGA Implementation of Cloed Loop Control of Pan Tilt Mechanim

More information

ANALYSIS OF THE FIRST LAYER IN WEIGHTLESS NEURAL NETWORKS FOR 3_DIMENSIONAL PATTERN RECOGNITION

ANALYSIS OF THE FIRST LAYER IN WEIGHTLESS NEURAL NETWORKS FOR 3_DIMENSIONAL PATTERN RECOGNITION ANALYSIS OF THE FIRST LAYER IN WEIGHTLESS NEURAL NETWORKS FOR 3_DIMENSIONAL PATTERN RECOGNITION A. Váque-Nava * Ecuela de Ingeniería. CENTRO UNIVERSITARIO MEXICO. DIVISION DE ESTUDIOS SUPERIORES J. Figueroa

More information

Finite Elements Method in Split Hopkinson Pressure Bar developing process

Finite Elements Method in Split Hopkinson Pressure Bar developing process 6th WSEAS International Conference on SYSTEM SCIENCE and SIMULATION in ENGINEERING, Venice, Italy, November 1-3, 007 63 Finite Element Method in Split Hopkinon Preure Bar developing proce ROTARIU ADRIAN

More information

Trajectory Generation and Control of a 9 axis CNC Micromachining Center

Trajectory Generation and Control of a 9 axis CNC Micromachining Center Trajectory Generation and Control of a 9 axi CNC Micromachining Center A. Yuen, Y. Altinta (1)* Manufacturing Automation Laboratory, Department of Mechanical Engineering, The Univerity of Britih Columbia,

More information

On successive packing approach to multidimensional (M-D) interleaving

On successive packing approach to multidimensional (M-D) interleaving On ucceive packing approach to multidimenional (M-D) interleaving Xi Min Zhang Yun Q. hi ankar Bau Abtract We propoe an interleaving cheme for multidimenional (M-D) interleaving. To achieved by uing a

More information

Temporal Abstract Interpretation. To have a continuum of program analysis techniques ranging from model-checking to static analysis.

Temporal Abstract Interpretation. To have a continuum of program analysis techniques ranging from model-checking to static analysis. Temporal Abtract Interpretation Patrick COUSOT DI, École normale upérieure 45 rue d Ulm 75230 Pari cedex 05, France mailto:patrick.couot@en.fr http://www.di.en.fr/ couot and Radhia COUSOT LIX École polytechnique

More information

The Association of System Performance Professionals

The Association of System Performance Professionals The Aociation of Sytem Performance Profeional The Computer Meaurement Group, commonly called CMG, i a not for profit, worldwide organization of data proceing profeional committed to the meaurement and

More information

A Multi-objective Genetic Algorithm for Reliability Optimization Problem

A Multi-objective Genetic Algorithm for Reliability Optimization Problem International Journal of Performability Engineering, Vol. 5, No. 3, April 2009, pp. 227-234. RAMS Conultant Printed in India A Multi-objective Genetic Algorithm for Reliability Optimization Problem AMAR

More information

Sensorless Robot Collision Detection and Hybrid Force/Motion Control

Sensorless Robot Collision Detection and Hybrid Force/Motion Control Proceeding of the 25 IEEE International Conference on Robotic and Automation Barcelona, Spain, April 25 Senorle Robot Colliion Detection and Hybrid Force/Motion Control Aleandro De Luca Raffaella Mattone

More information

Performance Evaluation of an Advanced Local Search Evolutionary Algorithm

Performance Evaluation of an Advanced Local Search Evolutionary Algorithm Anne Auger and Nikolau Hanen Performance Evaluation of an Advanced Local Search Evolutionary Algorithm Proceeding of the IEEE Congre on Evolutionary Computation, CEC 2005 c IEEE Performance Evaluation

More information

3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES

3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES MAKARA, TEKNOLOGI, VOL. 9, NO., APRIL 5: 3-35 3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES Mochammad Zulianyah Informatic Engineering, Faculty of Engineering, ARS International Univerity,

More information

Analysis of the results of analytical and simulation With the network model and dynamic priority Unchecked Buffer

Analysis of the results of analytical and simulation With the network model and dynamic priority Unchecked Buffer International Reearch Journal of Applied and Baic Science 218 Available online at www.irjab.com ISSN 2251-838X / Vol, 12 (1): 49-53 Science Explorer Publication Analyi of the reult of analytical and imulation

More information

Increasing Throughput and Reducing Delay in Wireless Sensor Networks Using Interference Alignment

Increasing Throughput and Reducing Delay in Wireless Sensor Networks Using Interference Alignment Int. J. Communication, Network and Sytem Science, 0, 5, 90-97 http://dx.doi.org/0.436/ijcn.0.50 Publihed Online February 0 (http://www.scirp.org/journal/ijcn) Increaing Throughput and Reducing Delay in

More information

Security Analysis of the Efficient Chaos Pseudo-random Number Generator Applied to Video Encryption

Security Analysis of the Efficient Chaos Pseudo-random Number Generator Applied to Video Encryption Journal of Electronic Teting (2018) 34:709 715 http://doi.org/10.1007/10836-018-5767-0 Security Analyi of the Efficient Chao Peudo-random Number Generator Applied to Video Encryption Dragan Lambić 1 Alekandar

More information

New Structural Decomposition Techniques for Constraint Satisfaction Problems

New Structural Decomposition Techniques for Constraint Satisfaction Problems New Structural Decompoition Technique for Contraint Satifaction Problem Yaling Zheng and Berthe Y. Choueiry Contraint Sytem Laboratory Univerity of Nebraka-Lincoln Email: yzheng choueiry@ce.unl.edu Abtract.

More information

Minimum congestion spanning trees in bipartite and random graphs

Minimum congestion spanning trees in bipartite and random graphs Minimum congetion panning tree in bipartite and random graph M.I. Otrovkii Department of Mathematic and Computer Science St. John Univerity 8000 Utopia Parkway Queen, NY 11439, USA e-mail: otrovm@tjohn.edu

More information

x y z Design variable positions A

x y z Design variable positions A COMMUNICATIONS IN NUMERICAL METHODS IN ENGINEERING Commun. Numer. Meth. Engng 2001 00:1{7 [Verion: 2000/03/22 v1.0] A tabilied peudo-hell approach for urface parametriation in CFD deign problem O. Soto,R.Lohner

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each circuit will be decribed in VHL and implemented

More information

DAROS: Distributed User-Server Assignment And Replication For Online Social Networking Applications

DAROS: Distributed User-Server Assignment And Replication For Online Social Networking Applications DAROS: Ditributed Uer-Server Aignment And Replication For Online Social Networking Application Thuan Duong-Ba School of EECS Oregon State Univerity Corvalli, OR 97330, USA Email: duongba@eec.oregontate.edu

More information

A note on degenerate and spectrally degenerate graphs

A note on degenerate and spectrally degenerate graphs A note on degenerate and pectrally degenerate graph Noga Alon Abtract A graph G i called pectrally d-degenerate if the larget eigenvalue of each ubgraph of it with maximum degree D i at mot dd. We prove

More information

(12) Patent Application Publication (10) Pub. No.: US 2011/ A1

(12) Patent Application Publication (10) Pub. No.: US 2011/ A1 (19) United State US 2011 0316690A1 (12) Patent Application Publication (10) Pub. No.: US 2011/0316690 A1 Siegman (43) Pub. Date: Dec. 29, 2011 (54) SYSTEMAND METHOD FOR IDENTIFYING ELECTRICAL EQUIPMENT

More information

E-APPLAB #1

E-APPLAB #1 E-APPLAB-93-069850 #1 Ultrafat tomography experiment etup at D-1 Beamline at CHESS The experiment etup conit of three major part: x-ray ource, injection chambe and detecto a hown chematically in Fig. EPAPS1a.

More information

IMPROVED JPEG DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION. Tak-Shing Wong, Charles A. Bouman, and Ilya Pollak

IMPROVED JPEG DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION. Tak-Shing Wong, Charles A. Bouman, and Ilya Pollak IMPROVED DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION Tak-Shing Wong, Charle A. Bouman, and Ilya Pollak School of Electrical and Computer Engineering Purdue Univerity ABSTRACT We propoe

More information

A Load Balancing Model based on Load-aware for Distributed Controllers. Fengjun Shang, Wenjuan Gong

A Load Balancing Model based on Load-aware for Distributed Controllers. Fengjun Shang, Wenjuan Gong 4th International Conference on Machinery, Material and Computing Technology (ICMMCT 2016) A Load Balancing Model baed on Load-aware for Ditributed Controller Fengjun Shang, Wenjuan Gong College of Compute

More information

Image authentication and tamper detection using fragile watermarking in spatial domain

Image authentication and tamper detection using fragile watermarking in spatial domain International Journal of Advanced Reearch in Computer Engineering & Technology (IJARCET) Volume 6, Iue 7, July 2017, ISSN: 2278 1323 Image authentication and tamper detection uing fragile watermarking

More information

An Approach to a Test Oracle for XML Query Testing

An Approach to a Test Oracle for XML Query Testing An Approach to a Tet Oracle for XML Query Teting Dae S. Kim-Park, Claudio de la Riva, Javier Tuya Univerity of Oviedo Computing Department Campu of Vieque, /n, 33204 (SPAIN) kim_park@li.uniovi.e, claudio@uniovi.e,

More information

Practical Analog and Digital Filter Design

Practical Analog and Digital Filter Design Practical Analog and Digital Filter Deign Artech Houe, Inc. Le Thede 004 Thi text i dedicated to my wife who keep me grounded, and to my grandchildren who know no bound. Content Preface xi Chapter Introduction

More information

Keywords: Defect detection, linear phased array transducer, parameter optimization, phased array ultrasonic B-mode imaging testing.

Keywords: Defect detection, linear phased array transducer, parameter optimization, phased array ultrasonic B-mode imaging testing. Send Order for Reprint to reprint@benthamcience.ae 488 The Open Automation and Control Sytem Journal, 2014, 6, 488-492 Open Acce Parameter Optimization of Linear Phaed Array Tranducer for Defect Detection

More information

SIMIT 7. Component Type Editor (CTE) User manual. Siemens Industrial

SIMIT 7. Component Type Editor (CTE) User manual. Siemens Industrial SIMIT 7 Component Type Editor (CTE) Uer manual Siemen Indutrial Edition January 2013 Siemen offer imulation oftware to plan, imulate and optimize plant and machine. The imulation- and optimizationreult

More information

A TOPSIS based Method for Gene Selection for Cancer Classification

A TOPSIS based Method for Gene Selection for Cancer Classification Volume 67 No17, April 2013 A TOPSIS baed Method for Gene Selection for Cancer Claification IMAbd-El Fattah,WIKhedr, KMSallam, 1 Department of Statitic, 3 Department of Deciion upport, 2 Department of information

More information

Tracking High Speed Skater by Using Multiple Model

Tracking High Speed Skater by Using Multiple Model Vol. 2, No. 26 Tracing High Speed Sater by Uing Multiple Model Guojun Liu & Xianglong Tang School of Computer Science & Engineering Harbin Intitute of Technology Harbin 5000, China E-mail: hitliu@hit.edu.cn

More information

Analysis of Surface Wave Propagation Based on the Thin Layered Element Method

Analysis of Surface Wave Propagation Based on the Thin Layered Element Method ABSTACT : Analyi of Surface Wave Propagation Baed on the Thin ayered Element Method H. AKAGAWA 1 and S. AKAI 1 Engineer, Technical Centre, Oyo Corporation, Ibaraki, Japan Profeor, Graduate School of Engineering,

More information

How to. write a paper. The basics writing a solid paper Different communities/different standards Common errors

How to. write a paper. The basics writing a solid paper Different communities/different standards Common errors How to write a paper The baic writing a olid paper Different communitie/different tandard Common error Reource Raibert eay My grammar point Article on a v. the Bug in writing Clarity Goal Conciene Calling

More information

Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compensation

Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compensation Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compenation A. J. Healey Profeor and Director Center for AUV Reearch Naval Potgraduate School Monterey, CA 93953 healey@me.np.navy.mil

More information

Key Terms - MinMin, MaxMin, Sufferage, Task Scheduling, Standard Deviation, Load Balancing.

Key Terms - MinMin, MaxMin, Sufferage, Task Scheduling, Standard Deviation, Load Balancing. Volume 3, Iue 11, November 2013 ISSN: 2277 128X International Journal of Advanced Reearch in Computer Science and Software Engineering Reearch Paper Available online at: www.ijarce.com Tak Aignment in

More information

A Linear Interpolation-Based Algorithm for Path Planning and Replanning on Girds *

A Linear Interpolation-Based Algorithm for Path Planning and Replanning on Girds * Advance in Linear Algebra & Matrix Theory, 2012, 2, 20-24 http://dx.doi.org/10.4236/alamt.2012.22003 Publihed Online June 2012 (http://www.scirp.org/journal/alamt) A Linear Interpolation-Baed Algorithm

More information

Data Mining with Linguistic Thresholds

Data Mining with Linguistic Thresholds Int. J. Contemp. Math. Science, Vol. 7, 22, no. 35, 7-725 Data Mining with Linguitic Threhold Tzung-Pei Hong Department of Electrical Engineering National Univerity of Kaohiung Kaohiung, Taiwan, R.O.C.

More information

Operational Semantics Class notes for a lecture given by Mooly Sagiv Tel Aviv University 24/5/2007 By Roy Ganor and Uri Juhasz

Operational Semantics Class notes for a lecture given by Mooly Sagiv Tel Aviv University 24/5/2007 By Roy Ganor and Uri Juhasz Operational emantic Page Operational emantic Cla note for a lecture given by Mooly agiv Tel Aviv Univerity 4/5/7 By Roy Ganor and Uri Juhaz Reference emantic with Application, H. Nielon and F. Nielon,

More information

Lecture 14: Minimum Spanning Tree I

Lecture 14: Minimum Spanning Tree I COMPSCI 0: Deign and Analyi of Algorithm October 4, 07 Lecture 4: Minimum Spanning Tree I Lecturer: Rong Ge Scribe: Fred Zhang Overview Thi lecture we finih our dicuion of the hortet path problem and introduce

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier a a The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each b c circuit will be decribed in Verilog

More information

IMPLEMENTATION OF AREA, VOLUME AND LINE SOURCES

IMPLEMENTATION OF AREA, VOLUME AND LINE SOURCES December 01 ADMS 5 P503I1 IMPEMENTATION OF AREA, VOUME AND INE SOURCES The Met. Office (D J Thomon) and CERC 1. INTRODUCTION ADMS model line ource, and area and volume ource with conve polgon bae area.

More information

Analyzing Hydra Historical Statistics Part 2

Analyzing Hydra Historical Statistics Part 2 Analyzing Hydra Hitorical Statitic Part Fabio Maimo Ottaviani EPV Technologie White paper 5 hnode HSM Hitorical Record The hnode i the hierarchical data torage management node and ha to perform all the

More information

Through the Diversity of Bandwidth-Related Metrics, Estimation Techniques and Tools: An Overview

Through the Diversity of Bandwidth-Related Metrics, Estimation Techniques and Tools: An Overview I. J. Computer Network and Information Security, 08, 8, -6 Publihed Oine Augut 08 in MECS (http://www.mec-pre.org/) DOI: 0.585/icni.08.08.0 Through the Diverity of Bandwidth-Related Metric, Etimation Technique

More information

Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part II

Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part II IEEE INFOCO 2002 1 Ditributed Partial Information anagement (DPI) Scheme for Survivable Network - Part II Dahai Xu Chunming Qiao Department of Computer Science and Engineering State Univerity of New York

More information

Computing C-space Entropy for View Planning

Computing C-space Entropy for View Planning Computing C-pace Entropy for View Planning for a Generic Range Senor Model Pengpeng Wang (pwangf@c.fu.ca) Kamal Gupta (kamal@c.fu.ca) Robotic Lab School of Engineering Science Simon Fraer Univerity Burnaby,

More information

EE4308 Advances in Intelligent Systems & Robotics

EE4308 Advances in Intelligent Systems & Robotics EE4308 Advance in Intelligent Sytem & Robotic Part 2: Unmanned Aerial Vehicle Ben M. Chen Profeor & Provot Chair Department of Electrical & Computer Engineering Office: E4 06 08, Phone: 6516 2289 Email:

More information

Research on Star Image Noise Filtering Based on Diffusion Model of Regularization Influence Function

Research on Star Image Noise Filtering Based on Diffusion Model of Regularization Influence Function 016 Sith International Conference on Intrumentation & Meaurement Computer Communication and Control Reearch on Star Image Noie Filtering Baed on Diffuion Model of Regularization Influence Function SunJianming

More information