《Introduction to discrete event systems》学习笔记---第二章

2.1 INTRODUCTION

1.在研究DES时，我们的首要任务是开发适当的模型，该模型既可以充分描述这些系统的行为，又可以提供分析技术的框架，以满足设计，控制和性能评估的目标。

---

2.在考虑DES的状态演变时，我们首先要关注的是访问状态的顺序以及引起这些状态转换的相关事件。首先，我们不会担心系统何时进入特定状态或系统在该状态下停留多长时间的问题。我们将假定DES的行为是按照事件序列e1e2···en的形式描述的。该格式的序列指定了各种事件随时间发生的顺序，但未提供与这些事件的发生相关的时刻。这是Sect中讨论的非定时或逻辑级别的抽象。第1.3.3节。 1，其中系统的行为由语言建模。因此，本章的第一个目标是讨论DES的语言模型，并介绍将在本章和下一章中广泛使用的语言操作。

---

3.本章的第二个目标是介绍和描述本书中考虑的代表语言（自动机）的DES的两种非定时建模形式中的第一种。自动机是DES模型的最基本类别。正如我们将在本章中看到的那样，它们很直观，易于使用，适合于合成运算，也适合于分析（在有限状态下）。另一方面，它们缺乏结构，因此在对复杂系统建模时可能导致非常大的状态空间。尽管如此，对离散事件系统的任何研究控制理论必须从对自动机的研究开始。本书考虑的第二种建模形式主义，Petri网，将在第四章中介绍。

---

本章的第三个目标是介绍在研究DES时遇到的一些基本逻辑行为问题。我们希望有一种系统的方法来完全测试系统的逻辑行为，并保证它总是按照其预期的方式工作。使用自动机形式主义，我们将提出针对三种验证问题的解决方案技术，这些问题包括安全性（即避免非法行为），活动性（即避免死锁和活锁）和诊断性（即检测事件发生的能力）。不可观察的事件）。这些是研究复杂自动化系统的控制系统的软件实现中最常见的验证问题。

2.2 THE CONCEPTS OF LANGUAGES AND AUTOMATA

2.2.1 Language Models of Discrete Event Systems

研究DES逻辑行为的正式方法之一是基于语言和自动机的理论。起点是以下事实：任何DES都有与之关联的基础事件集E。集合E被认为是一种语言的“字母”，而事件序列被认为是该语言的“单词”。

---

让我们考虑一个简单的例子。假设有一台我们通常每天打开一到两次的机器（例如汽车，影印机或台式计算机），并且我们想设计一个简单的系统来执行以下基本任务：打开机器时，它应该首先发出一个信号来告诉我们它实际上已经打开，然后给我们提供一些简单的状态报告（例如，对于汽车，“一切正常”，“检查机油”或“我需要加油” ），并以另一个信号结束，以告知我们“状态报告已完成”。这些信号中的每一个都定义一个事件，机器可以发出的所有可能的信号都定义一个字母（事件集）。因此，我们的系统具有受这些事件驱动的DES。该DES负责识别事件，并对接收到的任何特定序列进行正确的解释。例如，事件序列：“我在”，“一切正常”，“状态报告完成”成功完成了我们的任务。另一方面，事件序列：“我在”，“状态报告已完成”，中间没有任何实际状态报告，应解释为异常情况，需要特别注意。因此，我们可以将机器发出的信号组合视为属于该机器所讲特定语言的单词。在此特定示例中，目标语言应为仅包含三个事件的单词。始终以“我打开”开始，以“状态报告完成”结束。当我们构建的DES看到这样的单词时，就知道任务已完成。当它看到其他任何单词时，就知道出了点问题。我们将在示例2.10中返回到这种类型的系统，并查看如何构建简单的DES来执行“状态检查”任务。

语言符号和定义

我们首先以字母形式查看DES的事件集E。我们将假设E是有限的。从该字母中取出的一系列事件形成一个“单词”或“字符串”（“事件字符串”的缩写）。在本书中，我们将使用“字符串”一词；注意，在文献中也使用了术语“迹线”。没有事件的字符串称为空字符串，用ε表示。 （不要将符号ε与E的元素的通用符号e混淆。）字符串的长度是其中包含的事件数，计算同一事件的多次出现。如果s是一个字符串，我们将用**| s |表示其长度**。按照惯例，将空字符串ε的长度设为零。
定义：

从一组事件E构建字符串（从而构建语言）所涉及的关键操作是串联。 L1中的字符串abb是字符串ab与事件（或长度为一的字符串）b的串联； ab本身是a和b的串联。两个字符串u和v的串联uv是新字符串，该字符串由u中的事件紧随其后的v中的事件组成。空字符串ε是串联的标识元素：uε=εu= u对于任何字符串u成立。
让我们用E 表示E元素的所有有限字符串的集合，包括空字符串ε*； 操作称为Kleene闭包。观察到集合E ∗是无限大的，因为它包含任意长*的字符串。

有时我们会使用符号s / t（在t之后读为“ s”）来表示s在其前缀t之后的后缀。如果t不是s的前缀，则未定义s / t。
观察到ε和s都是s的前缀（子字符串，后缀）。

Operations on Languages

请注意，在涉及对语言的几种操作的表达式中，应首先应用前缀闭包和Kleene闭包，并且连接始终优先于诸如并集，交集和集合差之类的操作。 （在上面的L *定义中暗含了此假设。）

example1

注：L一把相当于两个字符串的拼接

Projections of Strings and Languages

经常在字符串和语言上执行的另一种类型的操作是所谓的自然映射，或简单地从一组事件El中投影，或者从较小的一组事件Es中投影，其中Es⊂El。自然投影用字母P表示；为了清楚起见，通常在添加多个下标时指定一个Es或两个Eland Es。在当前的讨论中，我们假设两组Eland Es是固定的，并且使用不带下标的字母P。
我们还将使用相应的逆映射

给定集合A，符号2^A表示A的幂集，即A的所有子集的集合。
给定较小事件集（Es）中的事件串，​​逆投影P^-1将所有事件的集合从以P投影的较大事件集（El）返回给定串。

Example 2.2 (Projection)

自然映射在DES的研究中起着重要作用。它们将在本章和下一章中广泛使用。我们陈述自然投影的一些有用特性。他们的证明来自P和P^-1的定义以及集合论。

Properties of natural projections

Representation of Languages

可以将语言视为描述DES行为的正式方式。它指定了DES能够“处理”或“生成”的所有可接受的事件序列，而无需任何其他结构。

2.2.2 Automata

自动机是一种能够根据明确定义的规则表示语言的机器。本节重点介绍自动机的形式定义。语言和自动机之间的联系将在下一部分中进行。表示自动机概念的最简单方法是考虑其有向图表示或状态转移图。

Example 2.3 (A simple automaton)

我们定义：

f (y,a)= x表示如果自动机处于状态y，则在事件a“发生”时，自动机将立即过渡到状态x。事件a的发生原因无关紧要；事件可以是自动机建模的系统的外部输入，也可以是自动机建模的系统自发“生成”的事件。
注：
1.关于示例2.3，有三点值得考虑。首先，事件可能会发生而不改变状态，如f（x，a）= x。其次，在给定状态下可能会发生两个不同的事件，从而导致完全相同的跃迁，如f（z，a）= f（z，g）= y。关于后一个事实的有趣之处在于，我们可能无法仅通过观察从状态z到状态y的转变来区分事件a和事件g。第三，函数f是在其域X×E上的部分函数，​​也就是说，不必为X的每个状态下的E中的每个事件定义一个过渡。例如，未定义f（x，b）和 f（y，g）。

2.要完全定义一个自动机，还需要另外两个要素：用x0表示的初始状态，和表示X的已标记状态的X的子集X。 X_m集的作用将在本章的其余部分以及第三章中变得很明显。 当需要在状态上赋予特殊含义时，请标记状态。标记状态也称为“接受”状态或“最终”状态。在本书的图中，初始状态将由指向它的箭头标识，而属于X_m的状态将由双圆圈标识。

Definition----Deterministic automaton