| Application of the Constrained Predicated Nets and Interval Logic to Production Systems |
| |
| 作者姓名： | 徐林 吴智铭 曹木亮 |
| |
| 作者单位： | Xu Lin，Wu Zhiming & Cao Muliang CIMS Lab.，Department of Automation，School of Electronics and Information，Shanghai Jiaotong University，Shanghai 200240，P. R. China |
| |
| 基金项目： | ThisprojectwassupportedbytheNationalNatureScienceFoundationofChina (70 0 710 17)andHi TechResearchandDevelopmentProgramofChina (86 3Program) (2 0 0 1AA5 130 30 ) |
| |
| 摘 要： | 1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…
|
Application of the Constrained Predicated Nets and Interval Logic to Production Systems |
| |
| Xu Lin,Wu Zhiming & Cao Muliang CIMS Lab..Application of the Constrained Predicated Nets and Interval Logic to Production Systems[J].Journal of Systems Engineering and Electronics,2003,14(2). |
| |
| Authors: | Xu Lin Wu Zhiming & Cao Muliang CIMS Lab |
| |
| Institution: | CIMS Lab., Department of Automation, School of Electronics and Information,Shanghai Jiaotong University, Shanghai 200240, P. R. China |
| |
| Abstract: | A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a Petri net with predicated transition. All components of the net are expressed by annotation which is defined on rational set Q. The analysis method for the plant is interval temporal logic represented by Petri nets. This paper combines the above two methods to synthesize the hybrid system, gives a simple and clear expression of the expected action of the studied plant. |
| |
| Keywords: | Temporal constrained predicated nets Temporal logic Hybrid systems Petri nets |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
