【摘要】利用矩阵半张量积,论文将逻辑动态系统表示为代数状态空间动力系统.并在这个框架下,讨论并解决或部分解决了切换布尔网络的能控能观性,混合值逻辑系统的干扰解耦,以及基于混合值逻辑的队列控制问题.论文第一章,作为预备知识介绍了布尔网络,队列控制,半张量积的背景知识和研究现状.第二章介绍了布尔网络的模型,半张量积定义和性质以及将逻辑运算形式的布尔网络动态方程代数化的方法.第三章研究了切换布尔网络的能 […]