自己修正機能を有する自律分散システムの数理モデル作成とその数理解析