Rule-based design methodology for solving control problems

Author

Etessami, Farhad S. ; Hura, Gurdeep S.

Author_Institution

Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA

Volume

17

Issue

3

fYear

1991

fDate

3/1/1991 12:00:00 AM

Firstpage

274

Lastpage

282

Abstract

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

Keywords

Petri nets; formal specification; knowledge engineering; software tools; abstract Petri nets; control problems; dynamic behaviour; elevator system; formalism tool; high-level interaction; rule-based design methodology; specification; validation; Computer science; Design methodology; Information systems; Joining processes; Performance evaluation; Petri nets; Power system modeling; Problem-solving; Protocols; Student members;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.75416

Filename

75416