This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Rule-Based Design Methodology for Solving Control Problems
March 1991 (vol. 17 no. 3)
pp. 274-282

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.

Index Terms:
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
Citation:
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, doi:10.1109/32.75416
Usage of this product signifies your acceptance of the Terms of Use.