Advances in application of logical dynamical systems
随书光盘：
简介
本书主要介绍逻辑动态系统在应用方面的最新研究进展，特别关注在下列领域的应用研究：有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域，本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域，本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题，以及图的结构分解在运筹学中的应用，例如多轨道任务分配问题的可解性条件等。在布尔网络方面，本书着重分析了布尔网络预测集的辨识问题以及代数化简等问题。
