DocumentCode :
2193881
Title :
Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters
Author :
Chen, Yi-Liang ; Lin, Feng
Author_Institution :
Rockwell Sci. Co., Thousand Oaks, CA, USA
Volume :
5
fYear :
2001
fDate :
2001
Firstpage :
4110
Abstract :
A trace-based model abstraction mechanism that aggregates parameters and event sequences to a coarser, granularity is presented for discrete event systems modeled as finite state machines with parameters. Using both state transitions and parameter values for representing system behaviors and resources, the finite state machine with parameters (FSMwP) approach has resulted in efficient and compact representations for discrete event systems (in particular, those that cannot be efficiently modeled by the traditional automata-based approach). We propose a hierarchical modeling framework for FSMwPs based on an abstraction mechanism that enables automatic synthesis of models of all the entities in the hierarchy. The characteristics and advantages/disadvantages of the proposed abstraction mechanism and hierarchical framework are also discussed
Keywords :
discrete event systems; finite state machines; discrete event systems; event sequences; finite state machines; hierarchical modeling; model synthesis; state transitions; trace-based model abstraction mechanism; Aggregates; Automata; Automatic control; Contracts; Control system synthesis; Discrete event systems; Information technology; Observability; Petri nets; Supervisory control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
Type :
conf
DOI :
10.1109/.2001.980823
Filename :
980823
Link To Document :
بازگشت