![]() ![]() The rounding makes the model non-linear.ĭepending on the type of sensors (range, measurement uncertainty, etc) a typical voting algorithm needs to be configured by setting different constants(thresholds etc). If one disregards the floating point rounding, the latches and the output have piecewise linear definitions. The output is computed from the input of the three sensors and from these latches. The sensor voter model can be thought of as consisting of a set of floating point latches that are updated at every reading. The voting mechanism averages/centers the set of three input values over time to avoid being overly affected by a single faulty sensor. To create a reliable signal, the outputs of three identical sensors are composed into a single signal by a voting component. ![]() In order to meet high redundancy requirements in avionics, a common technique is to use triple redundant sensor voters. ![]() We have tested the performance in real world industrial examples and in this blog post we will take a look at the floating point performance of PSL on a real world problem from avionics. In a previous blog post, a playful concrete example was given to show off PSL’s newly added support for IEEE 754 floating point calculations. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |