Petri Net Representation of Switched Fuzzy Systems

被引：15

作者：

Ding, Zuohua ^{[1
]}

Ma, Jiaying ^{[1
]}

Kandel, Abraham ^{[2
]}

机构：

[1] Zhejiang Sci Tech Univ, Lab Sci Comp & Software Engn, Hangzhou 310018, Peoples R China

[2] Univ S Florida, Dept Comp Sci & Engn, Tampa, FL 33620 USA

来源：

IEEE TRANSACTIONS ON FUZZY SYSTEMS | 2013年 / 21卷 / 01期

基金：

美国国家科学基金会;

关键词：

Differential Petri net (DPN); model design; switched fuzzy system (SFS); Takagi-Sugeno (T-S) fuzzy model; SLIDING-MODE CONTROL; STABILITY ANALYSIS; RELAXED STABILITY; SUPERVISORY CONTROL; CONTROLLER-DESIGN; LYAPUNOV FUNCTION; STABILIZATION; FEEDBACK;

D O I：

10.1109/TFUZZ.2012.2197755

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Switched fuzzy systems can be used to describe the hybrid systems with fuzziness. However, the languages to describe the switching logic and the fuzzy subsystems are, in general, different, and this difference makes the system analysis and implementation hard. In this paper, we use differential Petri net (DPN) as a unified model to represent both the discrete logic and fuzzy dynamic processes. To exam the rationality of the representation, we prove the correctness of the representation for the discrete part and estimate the approximation accuracy of the representation for the dynamic part. Our work provides a way to analyze the switched fuzzy systems by checking the PN and to use the PN model for further system implementation. We demonstrate the benefits of our work via a case study.

引用

页码：16 / 29

页数：14

共 59 条

[1]

[Anonymous], 1985, MONOGRAPHS THEORETIC

[2]

ANTSAKLIS P, 1993, LECT NOTES COMPUTER, V736

[3] HYBRID DYNAMIC-SYSTEMS THEORY AND THE SIGNAL LANGUAGE [J].

BENVENISTE, A ;

LEGUERNIC, P .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) :535-546

[4]

Bourjij A., 1994, P AUT MIX PROC DYN H, P239

[5]

BRANICKY MS, 1994, IEEE DECIS CONTR P, P4228, DOI 10.1109/CDC.1994.411615

[6]

Brielmann M., 1993, Proceedings EURO-DAC '93. European Design Automation Conference with EURO-VHDL '93 (Cat. No.93CH3352-2), P158, DOI 10.1109/EURDAC.1993.410631

[7]

Comer D. J., 1990, DIGITAL LOGIC STATE

[8] Stability analysis of a vision-based control design for an autonomous mobile robot [J].

Coulaud, Jean-Baptiste ;

Campion, Guy ;

Bastin, Georges ;

De Wan, Michel .

IEEE TRANSACTIONS ON ROBOTICS, 2006, 22 (05) :1062-1069

[9] Stability analysis and control synthesis for switched systems: A switched Lyapunov function approach [J].

Daafouz, J ;

Riedinger, P ;

Iung, C .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (11) :1883-1887

[10]

David R., 1992, Petri Nets and Grafcet-tools for Modelling Discrete Events Systems

← 1 2 3 4 5 6 →