CogniPilot

MODELICA LIBRARY · ENGINEERING REFERENCE

model

Tests.AidingHorizonRefusals.TightResidual

A residual bound tighter than one release window stops all aiding

Must NOT run. A measurement ripens on the first release at or after its own timestamp, so its residual reaches one release period by construction. A bound below that discards every measurement as stale while reporting a stale drop, which is a configuration error wearing a supervision code: aiding stops and nothing says the configuration was the cause.

Base classes

Tests.AidingHorizonRefusals.Arm

Follow base classes for inherited declarations; this page lists explicit declarations only.

Modelica declarations and implementation

Show parameters, interfaces and source

Parameters, inputs, outputs, defaults and equations from the source file.

model TightResidual
    "A residual bound tighter than one release window stops all aiding"
    extends Tests.AidingHorizonRefusals.Arm(
      maximumResidualAge_s = 0.5 * fusionPeriod_s);
    annotation(experiment(StartTime=0.0, StopTime=0.05,
      Tolerance=1.0e-8, Interval=0.00125),
      Documentation(info="<html>
      <p>Must NOT run. A measurement ripens on the first release at or after
      its own timestamp, so its residual reaches one release period by
      construction. A bound below that discards every measurement as stale
      while reporting a stale drop, which is a configuration error wearing a
      supervision code: aiding stops and nothing says the configuration was
      the cause.</p>
      </html>"));
  end TightResidual;