Bistable-Cert: Certified Selective Writing in Diffusively Coupled Bistable Graph Networks
The software certifies storage of prescribed binary patterns (Theorem A) and branch-safe switching of a selected node by a constant pulse (Theorem B) in networks of diffusively coupled bistable cells. Certificate decisions are based on explicit sufficient conditions and do not require numerical integration of the diffe...