A language measure for supervisory control
نویسندگان
چکیده
منابع مشابه
A Language Measure for Supervisory Control
This paper formulates a signed real measure for sublanguages of regular languages based on the principles of automata theory and real analysis. The measure provides total ordering on the controlled behavior of a finite-state automaton plant under different supervisors. Total variation of the messure serves ss a metric for the infinite-dimensional vector space of the sublanguages of a regular la...
متن کاملA language measure for performance evaluation of discrete-event supervisory control systems
This paper formulates a signed real measure of sublanguages of a regular language based on the principles of automata theory and real analysis. The measure allows total ordering of any set of partially ordered sublanguages of a regular language for quantitative evaluation of the controlled behavior of a deterministic finite-state automaton (DFSA) plant under different supervisors. The computati...
متن کاملOn-line Identification of Language Measure Parameters for Discrete Event Supervisory Control
The discrete-event system (DES) behavior of physical plants is often modelled as regular languages that can be realized by deterministic finite state automata (DFSA). The concept and construction of quantitative measures of regular languages have been recently reported in literature, and major applications of the language measure are: quantitative evaluation of the discrete-event dynamic behavi...
متن کاملSupervisory Control for Nondeterministic Systems Supervisory Control for Nondeterministic Systems
In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...
متن کاملSupervisory Control of Petri Nets with Language Specifications
In this chapter we discuss how Petri nets can be used in the framework of supervisory control theory. A discrete event system is defined in such a theory as a language generator: this motivates the need to start the chapter with a short but self-contained introduction to Petri net languages. We consider the monolithic supervisory design that requires to construct the concurrent composition of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Mathematics Letters
سال: 2003
ISSN: 0893-9659
DOI: 10.1016/s0893-9659(03)90084-x