Discrete approximation and supervisory control of continuous systems
Discrete approximation and supervisory control of continuous systems
复制标题
DOI：
10.1109/9.664160
复制
发表时间：
1998-04
期刊：
影响因子：
--
通讯作者：
J. Raisch;S. O'Young
中科院分区：
文献类型：
--
作者：
J. Raisch;S. O'Young
解决以下混合控制问题：将通过符号输出反馈测量和控制信号“实时”在有限的符号集上控制一个连续的植物（其状态在欧几里得空间中演变）。我们采用以下方法：通过（非确定）有限状态机器近似连续的植物模型，将混合问题转化为纯粹的离散问题。考虑到过去的测量和控制符号，可以提高近似精度并根据规范要求进行调整。然后，应用了离散事件系统（DES）的监督控制理论，以找到执行规格的最佳控制器。由于保证近似自动机的行为包含基本连续植物模型的行为，因此控制器还迫使后者遵守规格。
Addresses the following hybrid control problem: a continuous plant (its state evolving in Euclidean space) is to be controlled via symbolic output feedback-both measurement and control signal "live" on finite sets of symbols. We adopt the following approach: the hybrid problem is first translated into a purely discrete problem by approximating the continuous plant model by a (nondeterministic) finite-state machine. By taking into account past measurement and control symbols, approximation accuracy can be improved and adjusted to the specification requirements. Supervisory control theory for discrete-event systems (DES) is then applied to find the optimal controller which enforces the specifications. As the behavior of the approximating automaton is guaranteed to contain the behavior of the underlying continuous plant model, the controller also forces the latter to obey the specifications.