On computing Optimal Controllers for Finite State Systems

被引：0

作者：

Tronci, E ^{[1
]}

机构：

[1] Univ Aquila, Dipartimento Matemat Pura & Applicata, I-67100 Laquila, Italy

来源：

PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5 | 1997年

关键词：

optimal control; finite state systems; discrete event systems; supervisory control; hybrid systems; manufacturing systems; boolean symbolic programming; boolean first order logic; binary decision diagrams;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

From a computational point of view many control problems involve synthesis of controllers for Finite State Systems (FSSs). In this paper we address the problem of automatic synthesis of Optimal Controllers (OCs) for FSSs. Such problem has been widely studied and many algorithms are known for it. However, because of state explosion their use is limited to quite small dynamical system. We devised a symbolic algorithm for automatic synthesis of OCs for FSSs. In this paper we show practical usefulness of our techniques by giving experimental results on the use of our symbolic algorithm to synthesize a C program implementing an OC for a semiconductor manufacturing facility. This entails computing OCs for plants with about 31*10(9) states. To the best of our knowledge no previous algorithm can handle systems of such size.

引用

页码：3592 / 3593

页数：2