TY  - JOUR
AU  - Pranevicius, H.
AU  - Kraujalis, T.
PY  - 2013/01/08
Y2  - 2025/01/02
TI  - Piece Linear-Aggregate Approach for Modelling and Analysis of Fuzzy Systems
JF  - Elektronika ir Elektrotechnika
JA  - ELEKTRON ELEKTROTECH
VL  - 19
IS  - 1
SE  - 
DO  - 10.5755/j01.eee.19.1.3261
UR  - https://eejournal.ktu.lt/index.php/elt/article/view/3261
SP  - 73-76
AB  - 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.<p>DOI: <a href="http://dx.doi.org/10.5755/j01.eee.19.1.3261">http://dx.doi.org/10.5755/j01.eee.19.1.3261</a></p>
ER  -