Finite-Horizon Reliability-Oriented Synthesis of Cumulative Up/Down-Counter Fault-Confirmation Monitors
Up/down counters are ubiquitous in the alarm and fault-confirmation logic of electro-mechanical systems. In aircraft, several electro-mechanical modules provide position feedback for flight control; the Linear Variable Differential Transformer (LVDT) is a representative one, converting mechanical displacement into an e...