Design, analysis and verification of recurrent neural dynamics for handling time-variant augmented Sylvester linear system.