PROJECT TITLE :
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata
During this paper, we tend to settle some issues that are encountered when modeling and synthesizing advanced industrial systems by the supervisory control theory. 1st, modeling such huge systems with specific state-transition models usually leads to an intractable model. An alternative modeling approach is to use extended finite automata (EFAs), that is an augmentation of ordinary automata with variables. The main advantage of utilizing EFAs for modeling is that additional compact models are obtained. The second downside issues the ease to understand and implement the supervisor. To handle this problem, we tend to represent the supervisor in a modular manner by extending the first EFAs by compact conditional expressions. This will provide a framework for the users where they will each model their system and acquire the supervisor in type of EFAs. In order to be in a position to handle advanced systems efficiently, the models are symbolically represented by binary call diagrams (BDDs). All computations that are performed during this framework are based mostly on BDD operations. The framework has been implemented in a supervisory control tool and applied to industrially relevant benchmark problems.
Did you like this research project?
To get this research project Guidelines, Training and Code... Click Here