Formal design and analysis of FMS controller

Author

Gang, Xu ; Zhiming, Wu

Author_Institution

Shanghai Jiao Tong Univ., China

Volume

2

fYear

2003

fDate

5-8 Oct. 2003

Firstpage

1910

Abstract

A modeling method for controller in FMS is presented. This method is based upon the timed automata. Model checker tool UPPAAL is used to model, simulate and verify the FMS model. In the previous work about FMS modeling, the behavior of FMS is more emphasized than the performance, or vice versa. Because the time is included into the modeling method in this paper, the scheduling and controlling problems in FMS can be integrated into this model. The performance of the system can be guaranteed while the system behavior is controlled. Upon this model, the optimal scheduling and optimal controlling can also be checked and verified.

Keywords

automata theory; control system synthesis; flexible manufacturing systems; modelling; optimal control; scheduling; FMS controller analysis; FMS controller design; FMS modeling; UPPAAL; controlling problems; flexible manufacturing systems; model checker tool; optimal controlling; optimal scheduling; system behavior; timed automata; Approximation algorithms; Automata; Automatic control; Control systems; Flexible manufacturing systems; Job shop scheduling; Optimal scheduling; Real time systems; Scheduling algorithm; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 2003. IEEE International Conference on

ISSN

1062-922X

Print_ISBN

0-7803-7952-7

Type

conf

DOI

10.1109/ICSMC.2003.1244690

Filename

1244690