PILOGIC

Manifest

Exact fault diagnosis for spacecraft electrical systems, in milliseconds.

Get in touch
01020304050 MIN 01

Milliseconds. Telemetry to verdict.

Proud to work with
AFRL — The Air Force Research Laboratory NASA United States Space Force

A current channel goes to noise in a simulated run. Someone has to find out why.

From that one channel, a threshold can only say the numbers look wrong. Manifest reads every sensor on the bus together, so it can say what happened: a routine power-source switch, and one sensor failing at the same moment. The spacecraft is healthy.

The verdict arrives in milliseconds, on a single CPU core.

What it does

Built from your schematic. Running on your hardware.

Manifest watches every sensor as telemetry arrives, ranks every possible cause with an exact probability, and runs onboard or on the ground.

Schematic · SimulatedManifest · Model
01

Model

Automated model production turns your system diagram into a working model of your exact spacecraft.

How it works ›Under a day
Telemetry · SimulatedManifest · Verdict
02

Monitor

Weighs every reading against the whole system model as the telemetry comes in.

NASA Ames research ›Onboard or ground
EPS · SimulatedManifest · Diagnosis
Switch 5 · stuck open0.941
Sensor 8 · stuck0.023
SW2 relay · weld0.019
Bus regulator · degraded0.011
Σ P = 1.000exact
03

Diagnose

Ranks every possible cause with an exact probability and shows the evidence behind each number.

How it works

Your schematic in. An exact model out.

Four automated steps from your diagram to a model that answers in milliseconds. Under a day for the first, about 30 minutes per variant after.

Stage 01 · InputEPS · Simulated
BATTBATTRLYRLY INVRLYRLYLOADLOAD CURRCURRSENSSENSVOLTVOLT DEP1DEP2DEP1_switchDEP2_switch ConverterPB1_switchPB2_switchMB1MB2 WIRE BATTRLYINVLOADLOAD CURRSENSVOLTWIRE
spec.jsonJSON · UTF-8
{
  "evidence": [
    "<sensObs>"
  ],
  "posteriors": [
    "<compHealth>",
    "<compGlitch>"
  ],
  "components": [
    {
      "name": "DEP1",
      "type": "rbattery",
      "modelHealth": true
    },
    {
      "name": "DEP1_switch_Isense",
      "type": "current-sensor",
      "glitchProb": 0.001,
      "brokenProb": 0.0001,
      "monterm": "DEP1_switch.0",
      "direction": "PULL"
    }
  ]
}
DEP1healthDEP1_switchhealthDEP1_switchcmdConverterhealthsensObsDEP1sensObsDEP2DEP1_switch.0currentbatteries_to_converterConverter.1voltageIsenseglitch P=.001Isensebroken P=1e-4DEP2 Isenseglitch P=.001evidenceposteriorcause DEP1DEP1_switchConvertersensObscurrentbusglitch .001broken 1e-4
+××++++××××××λθλθλθλθλθλθ¬glitch .999broken 1e-4health .98glitch .0010.99980.97920.02060.99910.9991e-4ADAPT, 2010 · 503 nodes · 579 edges · MPE 0.26 ms meanmax-product trace ×++×××λθλθλθ¬glitch .999broken 1e-4health .980.97920.99911e-4max-product trace

Don’t guess.
Compute.

Models Manifest Resolve
Company Company Careers
Resources Research News Contact
Compliance Privacy Policy Terms
PILOGIC Exact AI for aerospace
and defense.
© 2026 PiLogic · pilogic.ai