DocumentCode :
2221134
Title :
Systematic construction of design models from temporal logic based descriptions
Author :
Zurawski, Richard
Author_Institution :
Dept. of Electr. & Comput. Eng., Swinburne Univ., Melbourne, Vic., Australia
fYear :
1993
fDate :
15-19 Nov 1993
Firstpage :
150
Abstract :
This paper presents an approach which allows one to synthesise manufacturing system design models from temporal logic based descriptions. The aim of the approach is to obtain a functional abstraction of the actual system. This functional abstraction realises the external functional behaviour of the modelled system without replicating the actual mechanism. It involves less places and transitions than the accurately modelled system, thus allowing to ease the verification task effort. The approach is illustrated when used to synthesise a machining station. A formal proof of the logical correctness of the obtained model is also presented
Keywords :
Petri nets; design engineering; formal logic; manufacturing computer control; temporal logic; design model systematic construction; functional abstraction; machining station; manufacturing system design; temporal logic based descriptions; Large-scale systems; Logic design; Machining; Manufacturing systems; Petri nets;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Electronics, Control, and Instrumentation, 1993. Proceedings of the IECON '93., International Conference on
Conference_Location :
Maui, HI
Print_ISBN :
0-7803-0891-3
Type :
conf
DOI :
10.1109/IECON.1993.339090
Filename :
339090
Link To Document :
بازگشت