SIMULATING OBSERVER IN SUPERVISORY CONTROL-A DOMAIN-BASED METHOD

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

BABAMIR M.

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: COMPUTATIONAL INTELLIGENCE IN ELECTRICAL ENGINEERING (INTELLIGENT SYSTEMS IN ELECTRICAL ENGINEERING) Year:2012 | Volume:3 | Issue:1 (6) Page(s): 47-64

Download Full-Text

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Verion

View:

672

Download:

Cites:

Information Journal Paper

Title

SIMULATING OBSERVER IN SUPERVISORY CONTROL-A DOMAIN-BASED METHOD

Author(s)

BABAMIR M. | Issue Writer Certificate

Keywords

SUPERVISORY CONTROLQ2

SIMULATIONQ2

MODELINGQ2

DOMAIN-BASED SPECIFICATIONQ3

Abstract

In the SUPERVISORY CONTROL of systems, an observer monitors discrete system responses to the events of the system environment and will report an unsafe or critical situation if the response is undesired. The undesired response means that it does not adhere to user’s requirements. Several methods have already been proposed to model and simulate SUPERVISORY CONTROL of discrete systems; however, there is a lack of a systematic method relying on problem domain data. To present a domain-based method, we use a three-step method. In the first step, we commence with discrete data. Discrete data are primary ingredients of the discrete systems environment and used by system users as a gauge to express their requirements playing a vital role in safety-critical systems, such as medical and avionic ones. We use the discrete data for definition of events and conditions constituting requirements definition. Having extracted events, conditions, and user’s requirements from problem domain data, a Petri-Net automaton is constructed for identifying violation of user’s requirements in the second step. The net constitutes the core of the observer and it is used to identify undesired responses of the system. In the third step, run-time SIMULATION of the observer is suggested using multithreading mechanism and Task Parallel Library (TPL) technology of Microsoft. Finally, by proposing the Train Protection System as a case study of a discrete concurrent system, we tangibly show how one can apply the steps of our method for MODELING and SIMULATION of the observer. The SIMULATION results were analyzed based on the system implementation on a multi-core computer.

Cites

No record.

References

No record.

Cite

APA: Copy

BABAMIR, M.. (2012). SIMULATING OBSERVER IN SUPERVISORY CONTROL-A DOMAIN-BASED METHOD. COMPUTATIONAL INTELLIGENCE IN ELECTRICAL ENGINEERING (INTELLIGENT SYSTEMS IN ELECTRICAL ENGINEERING), 3(1 (6)), 47-64. SID. https://sid.ir/paper/202971/en

Vancouver: Copy

BABAMIR M.. SIMULATING OBSERVER IN SUPERVISORY CONTROL-A DOMAIN-BASED METHOD. COMPUTATIONAL INTELLIGENCE IN ELECTRICAL ENGINEERING (INTELLIGENT SYSTEMS IN ELECTRICAL ENGINEERING)[Internet]. 2012;3(1 (6)):47-64. Available from: https://sid.ir/paper/202971/en

IEEE: Copy

M. BABAMIR, “SIMULATING OBSERVER IN SUPERVISORY CONTROL-A DOMAIN-BASED METHOD,” COMPUTATIONAL INTELLIGENCE IN ELECTRICAL ENGINEERING (INTELLIGENT SYSTEMS IN ELECTRICAL ENGINEERING), vol. 3, no. 1 (6), pp. 47–64, 2012, [Online]. Available: https://sid.ir/paper/202971/en

Related Journal Papers