Piece Linear-Aggregate Approach for Modelling and Analysis of Fuzzy Systems

Authors

  • H. Pranevicius Kaunas University of Technology, Vytautas Magnus University
  • T. Kraujalis Vytautas Magnus University

DOI:

https://doi.org/10.5755/j01.eee.19.1.3261

Keywords:

Fuzzy systems, formal languages, formal verification, computer simulation, traffic control, performance analysis

Abstract

In this paper, we use a PLA model for performance and behaviour analysis of fuzzy system. This model makes connection between fuzzy logic and formalism. A case study contains an illustration how the proposed model can be fruitfully exploited to model traffic control systems based on fuzzy logic. Piece-Linear Aggregate model for traffic signal control system has been transformed into timed automaton for verification of safety, liveness, bounded- liveness and deadlock- freeness properties based on model checking. The system performance analysis was performed using Arena software package. A comparative analysis of traffic light controllers with fixed time and fuzzy logic algorithms is given.

DOI: http://dx.doi.org/10.5755/j01.eee.19.1.3261

Downloads

Published

2013-01-08

How to Cite

Pranevicius, H., & Kraujalis, T. (2013). Piece Linear-Aggregate Approach for Modelling and Analysis of Fuzzy Systems. Elektronika Ir Elektrotechnika, 19(1), 73-76. https://doi.org/10.5755/j01.eee.19.1.3261

Issue

Vol. 19 No. 1 (2013)

Section

SYSTEM ENGINEERING, COMPUTER TECHNOLOGY

License

The copyright for the paper in this journal is retained by the author(s) with the first publication right granted to the journal. The authors agree to the Creative Commons Attribution 4.0 (CC BY 4.0) agreement under which the paper in the Journal is licensed.

By virtue of their appearance in this open access journal, papers are free to use with proper attribution in educational and other non-commercial settings with an acknowledgement of the initial publication in the journal.