Language convergence in controlled discrete-event systems

Author

Willner, Yosef M. ; Heymann, Michael

Author_Institution

Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel

Volume

40

Issue

4

fYear

1995

fDate

4/1/1995 12:00:00 AM

Firstpage

616

Lastpage

627

Abstract

Discrete-event systems modeled as state machines in the framework of Ramadge and Wonham are considered. In this paper, convergence of the language generated or marked by the system to a specified legal language is investigated. The convergence property is studied both with respect to open-loop (uncontrolled) systems and with respect to controlled systems. In the latter case, both questions of existence and synthesis of supervisors that force convergence are examined. Algorithms for verification of convergence and for synthesis of stabilizing supervisors are provided. Finally, the concept of asymptotic behavior of systems is defined, and questions related to this concept are investigated

Keywords

asymptotic stability; control system synthesis; convergence; discrete event systems; finite state machines; formal languages; Ramadge-Wonham framework; asymptotic behavior; discrete-event systems; force convergence; language convergence; open-loop systems; stabilizing supervisors; state machines; Automata; Automatic control; Control system synthesis; Control systems; Convergence; Discrete event systems; Law; Legal factors; Open loop systems; Supervisory control;

fLanguage

English

Journal_Title

Automatic Control, IEEE Transactions on

Publisher

ieee

ISSN

0018-9286

Type

jour

DOI

10.1109/9.376114

Filename

376114