scholarly journals Exploring the Limits of Floating-Point Resolution for Hardware-In-the-Loop Implemented with FPGAs

Electronics ◽  
2018 ◽  
Vol 7 (10) ◽  
pp. 219 ◽  
Author(s):  
Alberto Sanchez ◽  
Elías Todorovich ◽  
Angel de Castro

As the performance of digital devices is improving, Hardware-In-the-Loop (HIL) techniques are being increasingly used. HIL systems are frequently implemented using FPGAs (Field Programmable Gate Array) as they allow faster calculations and therefore smaller simulation steps. As the simulation step is reduced, the incremental values for the state variables are reduced proportionally, increasing the difference between the current value of the state variable and its increments. This difference can lead to numerical resolution issues when both magnitudes cannot be stored simultaneously in the state variable. FPGA-based HIL systems generally use 32-bit floating-point due to hardware and timing restrictions but they may suffer from these resolution problems. This paper explores the limits of 32-bit floating-point arithmetics in the context of hardware-in-the-loop systems, and how a larger format can be used to avoid resolution problems. The consequences in terms of hardware resources and running frequency are also explored. Although the conclusions reached in this work can be applied to any digital device, they can be directly used in the field of FPGAs, where the designer can easily use custom floating-point arithmetics.

Author(s):  
Eric Donald Dongmo ◽  
Kayode Stephen Ojo ◽  
Paul Woafo ◽  
Abdulahi Ndzi Njah

This paper introduces a new type of synchronization scheme, referred to as difference synchronization scheme, wherein the difference between the state variables of two master [slave] systems synchronizes with the state variable of a single slave [master] system. Using the Lyapunov stability theory and the active backstepping technique, controllers are derived to achieve the difference synchronization of three identical hyperchaotic Liu systems evolving from different initial conditions, as well as the difference synchronization of three nonidentical systems of different orders, comprising the 3D Lorenz chaotic system, 3D Chen chaotic system, and the 4D hyperchaotic Liu system. Numerical simulations are presented to demonstrate the validity and feasibility of the theoretical analysis. The development of difference synchronization scheme has increases the number of existing chaos synchronization scheme.


Electronics ◽  
2019 ◽  
Vol 8 (12) ◽  
pp. 1527
Author(s):  
María Sofía Martínez-García ◽  
Angel de Castro ◽  
Alberto Sanchez ◽  
Javier Garrido

One of the main techniques for debugging power converters is hardware-in-the-loop (HIL), which is used for real-time emulation. Field programmable gate arrays (FPGA) are the most common design platforms due to their acceleration capability. In this case, the widths of the signals have to be carefully chosen to optimize the area and speed. For this purpose, fixed-point arithmetic is one of the best options because although the design time is high, it allows the personalization of the number of bits in every signal. The representation of state variables in power converters has been previously studied, however other signals, such as feedback signals, can also have a big influence because they transmit the value of one state variable to the rest, and vice versa. This paper presents an analysis of the number of bits in the feedback signals of a boost converter, but the conclusions can be extended to other power converters. The purpose of this work is to study how many bits are necessary in order to avoid the loss of information, but also without wasting bits. Errors of the state variables are obtained with different sizes of feedback signals. These show that the errors in each state variable have similar patterns. When the number of bits increases, the error decreases down to a certain number of bits, where an almost constant error appears. However, when the bits decrease, the error increases linearly. Furthermore, the results show that there is a direct relation between the number of bits in feedback signals and the inputs of the converter in the global error. Finally, a design criterion is given to choose the optimum width for each feedback signal, without wasting bits.


2008 ◽  
Vol 57 (6) ◽  
pp. 901-907 ◽  
Author(s):  
H. Yasui ◽  
K. Komatsu ◽  
R. Goel ◽  
Y. Y. Li ◽  
T. Noike

For plant wide modelling of wastewater treatment, it is necessary to develop a suitable state variables interface for integrating state of the art models of ASM and ADM1. ADM1 currently describes such an interface, however, its suitability needs to be experimentally evaluated. In this study, we characterised activated sludge under aerobic and anaerobic conditions to obtain representative state variables for both models. ASM state variables of XS, XH and XI (as obtained from aerobic tests) and ADM1 state variables of XC and XI (as obtained from anaerobic tests) were then correlated to assess the suitability of current interface. Based on the seven datasets of this study and seven datasets from literatures, it was found that in general ASM state variables were well correlated to the state variables of ADM1. The ADM1 state variable of XC could be correlated to the sum of state variables of XS and XH, while XI in both the models showed direct correspondence. It was also observed that the degradation kinetics of XC under anaerobic condition could be better described by individual degradation kinetics of XS and XH. Therefore, to establish a one to one correspondence between ASM and ADM1 state variables and better description of degradation kinetics in ADM1, replacing the composite variable of XC by the state variables of XS and XH is recommended.


2017 ◽  
Vol 15 (2) ◽  
pp. 60 ◽  
Author(s):  
Matti Harjula ◽  
Jarmo Malinen ◽  
Antti Rasila

The question model of STACK provides an easy way for building automatically assessable questions with mathematical content, but it requires that the questions and their assessment logic depend only on the current input, given by the student at a single instant. However, the present STACK question model already has just the right form to be extended with state variables that would remove this limitation. In this article, we report our recent work on the state-variable extension for STACK, and we also discuss combining the use of state variables with our previous work on conditional output processing. As an outcome, we propose an expansion to the STACK question model, allowing the questions to act as state machines instead of pure functions of a single input event from the studentWe present a model question using the state variable extension of STACK that demonstrates some of the new possibilities that open up for the question author. This question is based on a finite state machine in its assessment logic, and it demonstrates aspects of strategic planning to solve problems of recursive nature. The model question also demonstrates how the state machine can interpret the solution path taken by the student, so as to dynamically modify the question behaviour and progress by, e.g., asking additional questions relevant to the path. We further explore the future possibilities from the point of view of learning strategic competencies in mathematics (Kilpatrick et al., 2001; Rasila et al., 2015).


1992 ◽  
Vol 114 (2) ◽  
pp. 158-174 ◽  
Author(s):  
G. Chryssolouris ◽  
M. Domroese ◽  
P. Beaulieu

When a human controls a manufacturing process he or she uses multiple senses to monitor the process. Similarly, one can consider a control approach where measurements of process variables are performed by several sensing devices which in turn feed their signals into process models. Each of these models contains mathematical expressions based on the physics of the process which relate the sensor signals to process state variables. The information provided by the process models should be synthesized in order to determine the best estimates for the state variables. In this paper two basic approaches to the synthesis of multiple sensor information are considered and compared. The first approach is to synthesize the state variable estimates determined by the different sensors and corresponding process models through a mechanism based on training such as a neural network. The second approach utilizes statistical criteria to estimate the best synthesized state variable estimate from the state variable estimates provided by the process models. As a “test bed” for studying the effectiveness of the above sensor synthesis approaches turning has been considered. The approaches are evaluated and compared for providing estimates of the state variable tool wear based on multiple sensor information. The robustness of each scheme with respect to noisy and inaccurate sensor information is investigated.


Author(s):  
Mohammad H. Elahinia ◽  
Hashem Ashrafiuon ◽  
Mehdi Ahmadian ◽  
Daniel J. Inman

This paper presents a robust nonlinear control that uses a state variable estimator for control of a single degree of freedom rotary manipulator actuated by Shape Memory Alloy (SMA) wire. A model for SMA actuated manipulator is presented. The model includes nonlinear dynamics of the manipulator, a constitutive model of the Shape Memory Alloy, and the electrical and heat transfer behavior of SMA wire. The current experimental setup allows for the measurement of only one state variable which is the angular position of the arm. Due to measurement difficulties, the other three state variables, arm angular velocity and SMA wire stress and temperature, cannot be directly measured. A model-based state estimator that works with noisy measurements is presented based on the Extended Kalman Filter (EKF). This estimator predicts the state vector at each time step and corrects its prediction based on the angular position measurements. The estimator is then used in a nonlinear and robust control algorithm based on Variable Structure Control (VSC). The VSC algorithm is a control gain switching technique based on the arm angular position (and velocity) feedback and EKF estimated SMA wire stress and temperature. The state vector estimates help reduce or avoid the undesirable and inefficient overshoot problem in SMA one-way actuation control.


2005 ◽  
Vol 127 (3) ◽  
pp. 285-291 ◽  
Author(s):  
Mohammad H. Elahinia ◽  
Hashem Ashrafiuon ◽  
Mehdi Ahmadian ◽  
Hanghao Tan

This paper presents a robust nonlinear control that uses a state variable estimator for control of a single degree of freedom rotary manipulator actuated by shape memory alloy (SMA) wire. A model for SMA actuated manipulator is presented. The model includes nonlinear dynamics of the manipulator, a constitutive model of the shape memory alloy, and the electrical and heat transfer behavior of SMA wire. The current experimental setup allows for the measurement of only one state variable which is the angular position of the arm. Due to measurement difficulties, the other three state variables, arm angular velocity and SMA wire stress and temperature, cannot be directly measured. A model-based state estimator that works with noisy measurements is presented based on the extended Kalman filter (EKF). This estimator estimates the state vector at each time step and corrects its estimation based on the angular position measurements. The estimator is then used in a nonlinear and robust control algorithm based on variable structure control (VSC). The VSC algorithm is a control gain switching technique based on the arm angular position (and velocity) feedback and EKF estimated SMA wire stress and temperature. Using simulation it is shown that the state vector estimates help reduce or avoid the undesirable and inefficient overshoot problem in SMA one-way actuation control.


2015 ◽  
Vol 202 (3) ◽  
pp. 2159-2162 ◽  
Author(s):  
Takahiro Hatano

Abstract Friction laws, which are a key to the understanding of the diversity of earthquakes, are considered theoretically. Using dimensional analysis, the logarithmic dependence of the friction coefficient on the slip velocity and the state variable is derived without any knowledge of the underlying physical processes on the frictional surface. This is based on a simple assumption that the friction coefficient is expressed as the difference from a reference state. Therefore, the functional form of the rate and state dependent friction law itself does not necessarily mean that thermal activation processes dominate friction. It is also shown that if there are two (or more) state variables having the same dimension, we need not assume the logarithmic dependence on the state variables.


Agronomy ◽  
2020 ◽  
Vol 10 (3) ◽  
pp. 446 ◽  
Author(s):  
Andreas Tewes ◽  
Holger Hoffmann ◽  
Gunther Krauss ◽  
Fabian Schäfer ◽  
Christian Kerkhoff ◽  
...  

The assimilation of LAI measurements, repeatedly taken at sub-field level, into dynamic crop simulation models could provide valuable information for precision farming applications. Commonly used updating methods such as the Ensemble Kalman Filter (EnKF) rely on an ensemble of model runs to update a limited set of state variables every time a new observation becomes available. This threatens the model’s integrity, as not the entire table of model states is updated. In this study, we present the Weighted Mean (WM) approach that relies on a model ensemble that runs from simulation start to simulation end without compromising the consistency and integrity of the state variables. We measured LAI on 14 winter wheat fields across France, Germany and the Netherlands and assimilated these observations into the LINTUL5 crop model using the EnKF and WM approaches, where the ensembles were created using one set of crop component (CC) ensemble generation variables and one set of soil and crop component (SCC) ensemble generation variables. The model predictions for total aboveground biomass and grain yield at harvest were evaluated against measurements collected in the fields. Our findings showed that (a) the performance of the WM approach was very similar to the EnKF approach when SCC variables were used for the ensemble generation, but outperformed the EnKF approach when only CC variables were considered, (b) the difference in site-specific performance largely depended on the choice of the set of ensemble generation variables, with SCC outperforming CC with regard to both biomass and grain yield, and (c) both EnKF and WM improved accuracy of biomass and yield estimates over standard model runs or the ensemble mean. We conclude that the WM data assimilation approach is equally efficient to the improvement of model accuracy, compared to the updating methods, but it has the advantage that it does not compromise the integrity and consistency of the state variables.


Author(s):  
Hemza Redjimi ◽  
József K. Tar

Multiple variable systems often have to be so controlled that in the lack of appropriate sensors no satisfactory information is available for the complete estimation of their state variables. Normally only their certain components are kept under observation and control, while the other ones evolve according to the consequences of the exerted control signal. In control-based treatment of patients suffering from "Type 1 Diabetes Mellitus (T1DM)", the only directly measured quantity is the subcutaneous glucose concentration in the blood controlled by a single control signal, the insulin ingress rate. The applied model may use several components in the state variable. The traditional "Receding Horizon Controller (RHC)" requires the estimation of the complete state variable for the calculation of the control signal. In this paper preliminary simulations are persented in which the operation of the RHC is studied in the control of two vertically connected, oscillating masspoints so coupled by springs that only the state of the upper one is observed and directly controlled. Instead sensor-based observations, the lower point’s coordinate is calculated by the use of an available "rough" model. Preliminary calculations were made for a particular human glucose-insulin model, too. In the implementation of the RHC special simplifications were introduced. In our further work we wish to apply this method for investigating various T1DM treatment models.


Sign in / Sign up

Export Citation Format

Share Document