|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| F.A. Etessami, G.S. Hura, "Rule-Based Design Methodology for Solving Control Problems," IEEE Transactions on Software Engineering, vol. 17, no. 3, pp. 274-282, March, 1991. | |||
| BibTex | x | ||
| @article{ 10.1109/32.75416, author = {F.A. Etessami and G.S. Hura}, title = {Rule-Based Design Methodology for Solving Control Problems}, journal ={IEEE Transactions on Software Engineering}, volume = {17}, number = {3}, issn = {0098-5589}, year = {1991}, pages = {274-282}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.75416}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Rule-Based Design Methodology for Solving Control Problems IS - 3 SN - 0098-5589 SP274 EP282 EPD - 274-282 A1 - F.A. Etessami, A1 - G.S. Hura, PY - 1991 KW - control problems; rule-based design methodology; abstract Petri nets; specification; formalism tool; dynamic behaviour; validation; high-level interaction; elevator system; formal specification; knowledge engineering; Petri nets; software tools VL - 17 JA - IEEE Transactions on Software Engineering ER - | |||
A rule-based design methodology for solving control problems is presented. For the representation of various constraints, activities, and other dependency properties of the control problem, abstract Petri nets (APNs) which are an extended form of Petri net modeling are used as a specification and formalism tool which can be analyzed using the analysis techniques of Petri-net-based models. The APN provides a compact, consistent, and verifiable description of the dynamic behaviour of the system under consideration in a structured mode. The proposed design methodology supports specification, validation, and analysis through high-level interaction with the modeled system. The various steps which were taken towards the development of such a design paradigm are explained. An example which shows the APN modeling of an elevator system is given.