离散控制系统的稳定性分析数学基础是（），利用的主要数学模型是（）。