Presented accepted paper in International Conference on Control, Automation and Diagnosis (ICCAD’26).