FCS 11(5) 文章 | 用于联合自动机建模与控制的代数状态空间法

导读

本文将基于矩阵半张量积理论发展而来的建模方法（逻辑动态系统的代数状态空间法）引入到自动机领域，研究了并行、串行和反馈方式的联合自动机的建模与控制问题。

通过把自动机的状态、输入和输出符号表示为向量形式，将转换和输出函数建立为状态和输入的代数方程。基于该代数描述，联合自动机的控制问题得到了解决（包括输出控制和状态控制），并且为可控性问题提出了两个充分必要条件。文章建立了两个算法，可以产生让联合自动机运行至目标状态或产生期望输出的所有控制字符序列。

本文的结论及研究方法为理解和分析联合自动机的动态行为提供了新的视角和途径。

---

---

文章精要

---

---

如需阅读本期推荐文章的全文，请点左下角的「阅读原文」链接。

精彩推荐

FCS 优青论坛 | MSVL：一种类型化时序逻辑程序设计语言

Xiaobing WANG, Cong TIAN, Zhenhua DUAN, Liang ZHAO

FCS 优青论坛 | 神经网络加速器研究综述

Zhen LI, Yuqing WANG, Tian ZHI, Tianshi CHEN

专题 | Smart Cities and Urban Computing

专题 | Deep Learning Applications in Computer Vision

专题 | Advances of Orange Technologies

Perspectives | Lifelong machine learning: a paradigm for continuous learning

Bing LIU

Perspectives | Urban computing: enabling urban intelligence with big data

Yu ZHENG

Perspectives | Computer Graphics 2.0: towards end-user-generated contents

Kun ZHOU

---

---

Frontiers of Computer Science

---

Frontiers of Computer Science 是由教育部主管、高等教育出版社和德国 Springer 公司共同出版的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为李未院士，执行主编为熊璋教授和周志华教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”。

---

长按二维码关注Frontiers of Computer Science公众号