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

PROJECT TITLE :Modeling, Limits and Baseline of Voltage Interharmonics Generation in Andean Wind FarmsABSTRACT:The subsequent study focuses on the analysis of voltage interharmonics based mostly on power quality experimental information
PROJECT TITLE :Modeling, Measuring, and Compensating Color Weak VisionABSTRACT:We tend to use strategies from Riemann geometry to investigate transformations between the colour spaces of color-normal and color-weak observers.
PROJECT TITLE :Modeling, Analysis, and Scheduling of Cluster Tools With Two Independent ArmsABSTRACT:Twin-armed cluster tools for semiconductor manufacturing sometimes have had two arms fixed in opposite directions. Recently,
PROJECT TITLE :Threshold Shock Sensor Based on a Bistable Mechanism: Design, Modeling, and MeasurementsABSTRACT:We tend to analyze and check a microelectromechanical systems (MEMS) shock sensor that switches from a initial stable
PROJECT TITLE :Modeling, Analysis, and Detection of Internal Winding Faults in Power TransformersABSTRACT:The winding interturn fault is critical in power transformers since its result is not simply comprehensible at lower magnitude

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry