The problem
Sepsis kills 11 million people annually. Existing AI tools detect sepsis after clinical recognition — when the patient is already deteriorating. The pre-clinical trajectory has never been formally modelled. Point-in-time scores cannot reason about trajectory dynamics.
Vitacore approach
A formally specified physiological state machine for the pre-sepsis trajectory. The early warning problem framed as a reachability question in a timed automaton: can the system provably reach an alarm state before the patient reaches a critical clinical state?
Output
Target venue: Critical Care · The Lancet Digital Health · JMIR AI.
Framework paper: 8 weeks. Computational demonstration on open ICU databases.