Industrial control systems increasingly face adversarial threats, timing drift, transport manipulation, and multi-modal inconsistency. Traditional PLC, DCS, and SIS architectures assume benign timing, trusted networks, and deterministic sensor fusion—assumptions that no longer hold. This paper in troduces SIS-10 (2026), a formally complete, adversary-resilient, transport-authentic, and liveness guaranteed Safety Intelligence Kernel. SIS-10 integrates typed signal semantics, drift-aware temporal algebra, deterministic Byzantine consensus over (value, timestamp), monotonic SIL logic, invariant preserving semantic compression, deterministic ML fallback, predictive shutdown optimization, authenticated transport with global DAG ordering, and a weighted ∆-norm Safety Twin. We prove that SIS-10 satisfies the Indestructibility Condition: no state exists where (valid ∧ safe ∧ admissible) but the system is undefined, ambiguous, or forgeable. SIS-10 is shown to be complete, minimal, and non-improvable without expanding its scope, and maps cleanly onto PLC, DCS, and SIS layers..
Building similarity graph...
Analyzing shared references across papers
Loading...
Usman Zafar
Building similarity graph...
Analyzing shared references across papers
Loading...
Usman Zafar (Fri,) studied this question.
synapsesocial.com/papers/6a002162c8f74e3340f9c4aa — DOI: https://doi.org/10.5281/zenodo.20078832