自主系统的形式方法

该文介绍了应用形式方法于自治系统领域的最新研究，包括系统合成、不确定性、学习系统的行为界限、系统监测以及未来发展方向。