Unsolved problem
Phase transitions in engineering materials — steel fatigue, composite delamination, concrete micro-cracking — are described statistically. No formal automata model of phase-transition dynamics enables verified prediction of failure reachability.
Vitacore angle
Probabilistic timed automaton model of material phase-transition dynamics with formal verification of failure precursor detection.