Optimal supervisory control of regular languages

• Autorzy: Ray A. , Fu J. , Lagoa C.
• Języki publikacji: EN

Abstrakty

EN

This paper presents an algorithm for optimal control of regular languages, realized as deterministic finite state automata (DFSA), with (possible) penalty on event disabling. A signed real measure quantifies the behavior of controlled sublanguages based on a state transition cost matrix and a characteristic vector as reported in an earlier publication. The performance index for the proposed optimal policy is obtained by combining the measure of the supervised plant language with the cost of disabled controllable event(s). Synthesis of this optimal control policy requires at most n iterations, where n is the number of states of the DFSA model generated from the unsupervised regular language. The computational complexity of the optimal control synthesis is polynomial in n. The control algorithms are illustrated with an application example of a twin-engine surveillance aircraft.

Słowa kluczowe

EN

discrete event supervisory control; performance measure; formal languages; linear operators; regular languages

PL

język formalny; sterowanie nadrzędne; operatory linearne

• Wydawca: De Gruyter
• Czasopismo: Demonstratio Mathematica
• Rocznik: 2004
• Tom: Vol. 37, nr 4
• Strony: 991--1013
• Opis fizyczny: Bibliogr. 11 poz., rys., tab.

Twórcy

autor

Ray A.

• Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA 16802, USA

autor

Fu J.

• Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA 16802, USA

autor

Lagoa C.

• Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA 16802, USA