Advanced search
Found 2 swedish dissertations matching the above criteria.
-
1. On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables
Abstract : In benefit of the current revolution in computer technology, nowadays, society is dependent on dedicated computer-aided systems more than ever to assist us in every aspect of daily life. Thereby, designing reliable control logic of those systems to avoid malfunctioning behavior is of importance. READ MORE
-
2. Symbolic Supervisory Control of Resource Allocation Systems
Abstract : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. READ MORE