Logic Variable

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 84 Experts worldwide ranked by ideXlab platform

Andrew R. Teel - One of the best experts on this subject based on the ideXlab platform.

  • Quaternion-Based Hybrid Feedback for Robust Global Attitude Synchronization
    IEEE Transactions on Automatic Control, 2012
    Co-Authors: Christopher G. Mayhew, Ricardo G. Sanfelice, Jansen Sheng, Murat Arcak, Andrew R. Teel
    Abstract:

    We apply recent results on robust global asymptotic stabilization of the attitude of a single rigid body to the problem of globally synchronizing the attitude of a network of rigid bodies using a decentralized strategy. The proposed hybrid feedback scheme relies on the communication of a binary Logic Variable between each pair of neighboring rigid bodies that determines the orientation of a torque component acting to reduce their relative error. Through a hysteretic switch of this Logic Variable, the hybrid feedback achieves global synchronization under the assumption that the network is connected and acyclic. The hysteresis eliminates chattering while preventing the “unwinding phenomenon” apparent in some quaternion-based attitude control schemes. The results are exercised in a numerical example.

  • Robust global asymptotic attitude synchronization by hybrid control
    Proceedings of the 2010 American Control Conference, 2010
    Co-Authors: Christopher G. Mayhew, Ricardo G. Sanfelice, Murat Arcak, Andrew R. Teel
    Abstract:

    We apply recent results on robust global asymptotic stabilization of the attitude of a single rigid body to the problem of synchronizing the attitude of a network of rigid bodies using graph-local information. The proposed synchronization scheme relies on a hysteretic hybrid feedback based on the unit quaternion representation of rigid body attitude to achieve a global synchronization result that is robust to measurement noise. While the hysteretic feedback manages a trade-off between robustness to measurement noise and unwinding, the scheme necessitates the communication of a single binary Logic Variable between neighboring rigid bodies.

Yaozhi Jiang - One of the best experts on this subject based on the ideXlab platform.

  • dialectical Logic k model on multidimensional discrete dynamical sampling system and further properties of kirchhoff matrices
    Journal of Mathematics Research, 2018
    Co-Authors: Yaozhi Jiang
    Abstract:

    In order to solve the problem of multidimensional Logic Variable true value function remarked in the paper(Yaozhi Jiang., 2017), now author has used discrete multiple Fourier transform to deal with the problem remarked above, and obtained an theoretical formulations of discrete multidimensional Fourier transform for that  multidimensional Logic Variable true value function is unknown or we need the frequency properties of multidimensional Logic Variable true value function. Another problem is about further and deeper properties of Kirchhoff matrices defined in author’s paper(Yaozhi Jiang., 2017), author has established a series of matrix expression for Kirchhoff laws and some new properties of Kirchhoff matrices. These results are all compute-able and complicated.

  • dialectical Logic k model the discrete time dynamical sampling system multidimensional Logic Variable and associate database adb
    Journal of Mathematics Research, 2018
    Co-Authors: Yaozhi Jiang
    Abstract:

    Following the earlier works about dialectical Logic K-model by the author, in this succeed paper author described the three problems : the first is that discrete time dynamical sampling system to solve which the true-value function is unknown and need discrete time dynamical sampling system to obtain a series of sampled discrete time true-value function points to predict the continuous true-value function or we need some properties of true value function in the frequency domain, a several formulas for true-value function of single-dimensional Logic Variable via discrete Fourier transformation are explained; the second is the graph expression and matrices expression for the multidimensional Logic Variables in dialectical Logic K-model. Multidimensional Logic Variable is important that can be used in multidimensional contradictions and in multiple-person games. In fact, author also described the graph $G_K^p$ and corresponding matrices of the multidimensional Logic Variables; the third is the machine oriented database, associated database i.e. ADB, this is a new database for artificial intelligence, in present paper author describes theoretical properties and some features of ADB.

  • Dialectical Logic K-Model: A Mathematical Model for Machine
    Journal of Mathematics Research, 2017
    Co-Authors: Yaozhi Jiang
    Abstract:

    An axiom system for dialectical Logic K-model which based on Kirchhoff energy-method is established by author in the paper. The author describes that subjective-laws is the mirror imagine reflected from objective-laws and defines that the three-step which named by sensation, abstraction and thinking in artificial intelligence. At same time, describes that axiom system for dialectical Logic K-model, in which contains such as Logic-Variable energy conservation law, Mozi’s principle( mini-max principle) and forbidden law, etc. In the axiom system also contain such as a continuous true-value-function system valued on interval  and the K-graph for Logic-Variable. And describes the giving value method by matrix based on K-graph satisfied Kirchhoff laws to the Logic Variable. The author describes simply the linear and nonlinear Logic Variable system. And describes simply the Logic Variable involved three-dimension Euclidean space and topology networks space separately. Dialectical Logic K-model would supply an computation algorithm idea for machine so that the machine is able to think by dialectical Logic method, thus an important information-treated method maybe the dialectical Logic.

  • axiom system and some theorems for dialectical Logic k model
    Open Access Library Journal, 2017
    Co-Authors: Yaozhi Jiang
    Abstract:

    An axiom system for dialectical Logic K-model which is based on energy-method is established by author in the paper. Dialectical Logic K-model supplies a computation-idea for machine, so that it can be applied in many computations for artificial intelligence. This paper described that subjective-laws is the mirror imagine reflected from objective-laws, and defined the three-step which is named by sensation, abstraction and thinking separately in artificial intelligence. At the same time, the author described axiom system for dialectical Logic K-model which contains Logic-Variable energy conservation law, Mozi-principle (minimax principle) and forbidden law, etc. In the axiom system, it also contains a continuous-true-value function valued on interval [-1, 1], and the K-graph for Logic-Variable. Dialectical Logic K-model would supply a computation-idea for machine so that the machine is able to think by dialectical Logic method, thus an important information-treated method may be the dialectical Logic.

Henrique C Ferreira - One of the best experts on this subject based on the ideXlab platform.

  • robust global bimodal rest to rest attitude control of rigid body using unit quaternion
    Journal of The Franklin Institute-engineering and Applied Mathematics, 2017
    Co-Authors: Paulo P M Magro, Joao Y Ishihara, Henrique C Ferreira
    Abstract:

    Abstract This work proposes a hysteresis-based controller with two binary Logic Variables for the rest-to-rest control of attitude represented by quaternions. The control system has a hybrid nature given by the presence of a switching Logic Variable that indicates which quaternion representation of the reference attitude should be followed and by a second Logic Variable which indicates the chattering prone region and has the overall effect of adapting the hysteresis width. It is presented a formal proof that the proposed bimodal control leads to global stability without unwinding and is robust against chattering for any measurement noise with magnitude less than or equal to a given maximum value. Simulation results indicate that the proposed adaptive hysteresis width controller can be advantageous when the initial and final angular velocities have small magnitudes as is the case of the rest-to-rest attitude control problem.

Christopher G. Mayhew - One of the best experts on this subject based on the ideXlab platform.

  • Quaternion-Based Hybrid Feedback for Robust Global Attitude Synchronization
    IEEE Transactions on Automatic Control, 2012
    Co-Authors: Christopher G. Mayhew, Ricardo G. Sanfelice, Jansen Sheng, Murat Arcak, Andrew R. Teel
    Abstract:

    We apply recent results on robust global asymptotic stabilization of the attitude of a single rigid body to the problem of globally synchronizing the attitude of a network of rigid bodies using a decentralized strategy. The proposed hybrid feedback scheme relies on the communication of a binary Logic Variable between each pair of neighboring rigid bodies that determines the orientation of a torque component acting to reduce their relative error. Through a hysteretic switch of this Logic Variable, the hybrid feedback achieves global synchronization under the assumption that the network is connected and acyclic. The hysteresis eliminates chattering while preventing the “unwinding phenomenon” apparent in some quaternion-based attitude control schemes. The results are exercised in a numerical example.

  • Robust global asymptotic attitude synchronization by hybrid control
    Proceedings of the 2010 American Control Conference, 2010
    Co-Authors: Christopher G. Mayhew, Ricardo G. Sanfelice, Murat Arcak, Andrew R. Teel
    Abstract:

    We apply recent results on robust global asymptotic stabilization of the attitude of a single rigid body to the problem of synchronizing the attitude of a network of rigid bodies using graph-local information. The proposed synchronization scheme relies on a hysteretic hybrid feedback based on the unit quaternion representation of rigid body attitude to achieve a global synchronization result that is robust to measurement noise. While the hysteretic feedback manages a trade-off between robustness to measurement noise and unwinding, the scheme necessitates the communication of a single binary Logic Variable between neighboring rigid bodies.

Jyh-horng Wen - One of the best experts on this subject based on the ideXlab platform.

  • An adaptive fuzzy-Logic Variable forgetting factor RLS algorithm
    VTC-2005-Fall. 2005 IEEE 62nd Vehicular Technology Conference 2005., 1
    Co-Authors: Hsuan-yu Lin, Jyh-horng Wen
    Abstract:

    We propose a fuzzy forgetting factor recursive leastsquares (RLS) algorithm, in which a time-varying forgetting factor is chosen by a fuzzy inference system (FIS), to achieve a faster convergence rate and a lower steady-state meansquared error (MSE). Simulations of a DS-CDMA interference suppression receiver demonstrate the bit-error-rate (BER) and convergence/tracking superiority of the proposed RLS algorithm with various RLS algorithms and receiving antenna sizes.