Synteza rozmytych sieci Petriego jako sprzętowych układów sterowania i diagnostyki

• Autorzy: Kluska J. , Hajduk Z. , Gniewek L.

Warianty tytułu

EN

Synthesis of Fuzzy Petri Nets as hardware control and diagnosis systems

• Konferencja: Konferencja Informatyka - Sztuka czy Rzemiosło (19-22 czerwca 2006; Złotniki Lubańskie; Polska)
• Języki publikacji: PL

Abstrakty

PL

Rozmyte sieci Petriego (FPN) dobrze nadają się do modelowania algorytmów sterowania procesów złożonych. Dzięki takim modelom można dokonać syntezy zarówno programowych, jak i sprzętowych układów sterujących. Zastosowanie logiki wielowartościowej (rozmytej), prowadzi do układów, które mogą przetwarzać zarówno sygnały analogowe, jak i binarne. Sprzętowe układy sterujące są szczególnie atrakcyjne ze względu na dużą szybkość działania i niski koszt. Dotychczasowe prace dotyczące FPN dotyczyły modelowania algorytmów sterowania. Niniejsza praca zawiera dwa elementy nowości - pokazuje, jak można wykorzystać wartość rozmytych znaczników sieci Petriego, oraz wyjaśnia, że FPN daje się łatwo rozbudować o funkcje diagnostyki w układzie sterowania.

EN

Fuzzy Petri nets are useful for modeling of complex systems. Owing to such models we can synthesize both software and hardware control devices. Application of multivalued logic (fuzzy logic) leads to the systems, which are able to processing both analog, and binary signals. Hardware control systems are especially attractive for the sake of very high speed and low cost. Until now, the works associated with FPN, were applied to modeling of control algorithms. This work provides two elements of novelty - it shows how to use the values of fuzzy markers in the Petri net, and explains that one can easily extend the FPN to solve the diagnostic functions in the control system.

Słowa kluczowe

PL

logika rozmyta; modelowanie; sieci Petriego; układy sterowania; diagnostyka uszkodzeń FPGA; Verilog

EN

fuzzy logic; modeling; Petri nets; fault diagnosis; FPGA; Verilog

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 6 bis
• Strony: 5--7
• Opis fizyczny: Bibliogr. 14 poz.

Twórcy

autor

Kluska J.

autor

Hajduk Z.

autor

Gniewek L.

• Katedra Informatyki i Automatyki, Politechnika Rzeszowska,

Bibliografia

• [1] Chang N., Kwon W. H., Park J.: Hardware implementation of real-time Petri-net-based controllers, Control Eng. Pactice, vol. 6, pp. 889-895, 1998.
• [2] David R., Alla H.: Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. London: Prentice Hall, 1992.
• [3] Dec G., Hajduk Z., Zakorczmenny D.: Model do sterowania linią produkcyjną procesu kucia na gorąco, PAK, Nr 9, s. 25-28, 2004.
• [4] Fernandes J.M., Adamski M., Proenca A.J.: VHDL Generation from Hier-archical Petri Net Specifications of Parallel Controllers, IEE Proc.-Comput. Digit. Tech., vol. 144, no. 2, pp. 127-137, 1997.
• [5] Ferrarini L., Piroddi L.: Modular design and implementation of a logic control system for a batch process, Computers & Chemical Engineering, vol. 27, pp. 983-996, 2003.
• [6] Gniewek L., Kluska J.: Family of Fuzzy J-K Flip-Flops Based on Bounded Product, Bounded Sum and Complementation, IEEE Trans. Syst., Man, Cybern., Part B, vol. 28, pp. 861-868, Dec. 1998.
• [7] Gniewek L., Kluska J.: Hardware implementation of Fuzzy Petri Net as a controller, IEEE Trans. Syst., Man, Cybern., Part B, vol. 34, pp. 1315-1324, June 2004.
• [8] Kluska J., Gniewek L.: A New Method of Fuzzy Petri Net Synthesis and its Application for Control Systems Design, in Fuzzy Control, Advances in Soft Computing, R. Hampel, M. Wagenknecht, and N. Chaker, Eds. Hei-delberg: Springer-Verlag, 2000, pp. 222-227.
• [9] Kluska J., Gniewek L: Fuzzy Petri nets as control systems, Pomiary, Automatyka, Kontrola, Vol. 1, pp. 7-10, 2005.
• [10] Kluska J., Hajduk Z.: Digital implementation of fuzzy Petri net based on asynchronous fuzzy RS flip-flop. Proc. of 7th Int. Conf. Artificial Intelli-gence and Soft Computing ICAISC, Zakopane, pp. 314-319, 2004.
• [11] Kluska J., Hajduk Z.: Hardware implementation of a fuzzy Petri net based on VLSI digital circuits. Proc. of 3rd EUSFLAT Conf. Zittau, pp. 789-793, 2003.
• [12] Misiurewicz P.: Zagadnienia projektowania cyfrowych układów sterowania binarnego, VIII Kraj. Konf. Automatyki, tom 1, s. 664-670, Szczecin, 1980.
• [13] Park E., Tilbury D. M., Khargonekar P. P.: A Modeling and Analysis Methodology for Modular Logic Controllers of Machining Systems Using Petri Net Formalism, IEEE Trans. Syst., Man, Cybern., Part C, vol. 31, no. 2, pp. 168-188, May 2001.
• [14] Peterson J. L.: Petri Net Theory and the Modelling of Systems, Prentice Hall, Englewood Cliffs, NJ, 1981.