Twin‐engined diagnosis of discrete‐event systems
نویسندگان
چکیده
منابع مشابه
Supervisory Control of Real - time DiscreteEvent Systems using Lattice
| The behavior of timed DES can be described by sequences of event occurrence times. These sequences can be ordered to form a lattice. Since logical (untimed) DES behaviors described by regular languages also form a lattice, questions of controllability for timed DES may be treated in much the same manner as they are for untimed systems. In this paper we establish conditions for the controllabi...
متن کاملSupervisory Control of Real - time DiscreteEvent Systems using Lattice Theory Darren
The behavior of timed DES can be described by sequences of event occurrence times. These sequences can be ordered to form a lattice. Since logical (untimed) DES behaviors described by regular languages also form a lattice, questions of controllability for timed DES may be treated in much the same manner as they are for untimed systems. In this paper we establish conditions for the controllabili...
متن کاملDiagnosis of Heat Exchanger Scales in Cooling Water Systems
An experimental database is compiled in order to fingerprint the scales formed over the hot surfaces of heat exchangers, in cooling water systems or other systems with similar chemistry. To collect these data, a dynamic simulating pilot plant was designed with considerable application flexibility among which simultaneous flow of water with different velocity and heat fluxes to three simulat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Engineering Reports
سال: 2019
ISSN: 2577-8196,2577-8196
DOI: 10.1002/eng2.12060