A construction method of optimum integer-to-integer transform based on an error propagation model

2013 ◽  
Author(s):  
Daisuke Takago ◽  
Ryo Sakai ◽  
Shuitsu Matsumura ◽  
Tsuyoshi Takebe
Keyword(s):  
Error Propagation ◽  
Construction Method ◽  
Propagation Model ◽  
Integer Transform

On the state independency and log-linearity of error propagation for discrete group affine systems with application to attitude estimation

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Jiaolong Wang ◽  
Chengxi Zhang ◽  
Jin Wu
Keyword(s):  
Error Propagation ◽  
Discrete Group ◽  
Attitude Estimation ◽  
The State ◽  
Propagation Model ◽  
Rigorous Proof ◽  
Affine Systems ◽  
Content Type ◽  
Physical Systems ◽  
Propagation Properties

Purpose This paper aims to propose a general and rigorous study on the propagation property of invariant errors for the model conversion of state estimation problems with discrete group affine systems. Design/methodology/approach The evolution and operation properties of error propagation model of discrete group affine physical systems are investigated in detail. The general expressions of the propagation properties are proposed together with the rigorous proof and analysis which provide a deeper insight and are beneficial to the control and estimation of discrete group affine systems. Findings The investigation on the state independency and log-linearity of invariant errors for discrete group affine systems are presented in this work, and it is pivotal for the convergence and stability of estimation and control of physical systems in engineering practice. The general expressions of the propagation properties are proposed together with the rigorous proof and analysis. Practical implications An example application to the attitude dynamics of a rigid body together with the attitude estimation problem is used to illustrate the theoretical results. Originality/value The mathematical proof and analysis of the state independency and log-linearity property are the unique and original contributions of this work.

Automated Transformation of UML/SysML Behavioral Diagrams for Stochastic Error Propagation Analysis of Autonomous Systems

2021 ◽  
Author(s):  
Andrey Morozov ◽  
Thomas Mutzke ◽  
Kai Ding
Keyword(s):  
Error Propagation ◽  
System Modeling ◽  
Dual Graph ◽  
Medical Patient ◽  
Transformation Method ◽  
Propagation Model ◽  
Probabilistic Model Checking ◽  
Model Based ◽  
Propagation Analysis ◽  
Error Propagation Analysis

Abstract Modern technical systems consist of heterogeneous components, including mechanical parts, hardware, and the extensive software part that allows the autonomous system operation. The heterogeneity and autonomy require appropriate models that can describe the mutual interaction of the components. UML and SysML are widely accepted candidates for system modeling and model-based analysis in early design phases, including the analysis of reliability properties. UML and SysML models are semi-formal. Thus, transformation methods to formal models are required. Recently, we introduced a stochastic Dual-graph Error Propagation Model (DEPM). This model captures control and data flow structures of a system and allows the computation of advanced risk metrics using probabilistic model checking techniques. This article presents a new automated transformation method of an annotated State Machine Diagram, extended with Activity Diagrams, to a hierarchical DEPM. This method will help reliability engineers to keep error propagation models up to date and ensure their consistency with the available system models. The capabilities and limitations of transformation algorithm is described in detail and demonstrated on a complete model-based error propagation analysis of an autonomous medical patient table.

Ballistic error propagation algorithm for glide trajectory based on perturbation theory

2016 ◽  
Vol 231 (9) ◽  
pp. 1574-1592 ◽  
Author(s):  
Huan Zhou ◽  
Wei Zheng ◽  
Guojian Tang
Keyword(s):  
Perturbation Theory ◽  
Error Propagation ◽  
Propagation Model ◽  
Coordinate Frame ◽  
Propagation Mechanism ◽  
State Variables ◽  
Propagation Algorithm ◽  
Proposed Model ◽  
Sufficient Precision ◽  
Perturbation Equations

A ballistic error propagation algorithm for glide trajectories of a hypersonic glide vehicle is originally proposed based on the perturbation theory. Perturbation equations that treat perturbations as external inputs and flight state deviations as state variables are established. Based on the reasonable simplification assumptions, the analytic expression of the state transition matrix is deduced and thus the ballistic error propagation model is established. A transposed coordinate frame is introduced to simplify the development of the perturbation equations and the error propagation model. By employing the gravity anomaly as the single perturbation factor, the proposed algorithm is validated and verified by numerical experiments. When compared with the traditional method, the proposed method takes only just a quarter computational costs and restrains the method errors beneath 10% of the total terminal deviations. It is an effort that initially focuses on the error propagation mechanism of the glide trajectory and the proposed model has sufficient precision for the analysis of modeling deviations, thus laying the foundation of correcting the modeling deviations and enhancing the accuracy of vehicle’s flight states.

Quality Diagnosis and Error Compensation Based on Integrated SPC/EPC in MMPs

2011 ◽  
Vol 314-316 ◽  
pp. 415-418
Author(s):  
Jia Feng ◽  
Ping Yu Jiang
Keyword(s):  
Error Compensation ◽  
Error Propagation ◽  
Control Method ◽  
Propagation Model ◽  
Machining Process ◽  
Machining Processes ◽  
Machining Error ◽  
Mapping Model ◽  
Propagation Network ◽  
Quality Diagnosis

In the multistage machining processes (MMPs), SPC is widely utilized to control the quality of machining processes and diagnose the processing error. But there is a defect, that it can not compensate the error when the machining process is abnormal. For this issue, a new method of quality diagnosis and error compensation is proposed based on EPC (engineering process control). A new framework for processes quality diagnosis and error compensation about the description of machining processes and controlling mechanism of machining process quality is proposed first. And the mapping model of machining error propagation is introduced to explore the model of the error compensation decision. From theoretical level, modeling level and solution level, the mapping model from the decision model based on EPC to SPC is studied, in which the key technologies are the machining error propagation model and the error compensation model. Therefore, the machining error propagation network is utilized to build the error propagation model, and an adaptive control method based on the stability theory is introduced to make error coordination optimization.

Sign in / Sign up

Export Citation Format

Share Document