Modal Specifications for the Control Theory of Discrete Event Systems
Modal Specifications for the Control Theory of Discrete Event Systems
复制标题
离散事件系统控制理论的模态规范
DOI：
10.1007/s10626-006-0008-6
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
S. Pinchinat
中科院分区：
文献类型：
--
作者：
Guillaume Feuillade;S. Pinchinat
我们提出了一个由离散事件系统建模的反应系统控制理论的逻辑框架。该逻辑是合取 nu 微积分，是强大的 mu 微积分的表达片段。合取核微积分拥有基于模态规范的替代表示，具有简单的图形表示。我们利用模态规范来指定和解决基本的集中控制问题：我们的控制目标类别严格包含通常用于离散事件系统的经典控制理论的常规语言类别，但最大允许解决方案的存在仍然保留。
We propose a logical framework for the control theory of reactive systems modeled by discrete event systems. The logic is the conjunctive nu-calculus, an expressive fragment of the powerful mu-calculus. Conjunctive nu-calculus possesses an alternative presentation based on modal specifications, with simple graphical representations. We exploit modal specification to specify and to solve the basic centralized control problem: our class of control objectives strictly subsumes the class of regular languages, normally used in the classic control theory of discrete-event systems, but the existence of maximally permissive solutions is however preserved.