摘要：以往的文章里,我曾经介绍过如何通过字符串替换来实现逻辑运算。一个很简单的字符串替换模型（如搜索字符串,看见120就换成012,看见021就换成210,看见1221就换成0000）,就能实现与、或、非、异或等逻辑运算。理论上说,用一个字符串替换系统可以设计出一台具有复杂功能的计算机来。

摘要：针对制造资源状态的时变性,以及制造资源状态、制造资源组合状态、任务状态之间存在非线性关系的问题,提出一种基于制造组合状态跃迁的制造系统建模方法。该方法通过建立制造资源在时序上与组合逻辑上的多层状态拓扑结构,定义了不同层次状态之间的跃迁函数,形成了制造组合状态之间的跃迁机制,实现了对制造系统内不同状态之间的非线性关系描述。以关联制造系统不同层次状态的制造组合状态跃迁为基础,建立了从制造资源个体状态、组合状态及任务状态的自动机模型,最终实现了制造系统建模。最后,利用所建的自动机模型对两个卫星箱体混线生产过程进行描述,验证了所提建模方法的有效性。

摘要：混杂系统理论和应用是近年来的一个研究热点.在介绍混杂系统概念的基础上,对混杂系统研究中的常用模型进行分类比较,并对混杂系统的性质分析和混杂控制设计中的主要内容和主要研究方法进行总结,最后对今后的研究方向做了总体展望.

摘要：针对大型航天测控系统的综合控制问题,依据航天测控系统的工作流程,参考分层递阶控制理论,设计了面向任务过程的分层协调控制结构;基于离散事件动态系统监控理论,采用逻辑层次的自动机建模方法,分别针对任务规划、过程协调、执行控制和系统监视建立各自的离散自动机控制模型。以简化的测控系统为例,验证了自动机控制模型的有效性,并基于分层协调控制结构描述了自动机模型的约束、输入输出关系。

摘要：本文建立了包含状态持续时间的离散事件系统的自动机模型,然后引入学习算法用以确定描述闭环系统行为的语言K,从而当控制指标是以时间形式给出时,仍能利用监控理论来设计离散事件系统。