线性控制系统分析的数学基础是（），主要数学模型是（）。