| Title |
Piece linear-aggregate approach for modelling and analysis of fuzzy systems |
| Authors |
Pranevičius, Henrikas ; Kraujalis, Tadas |
| DOI |
10.5755/j01.eee.19.1.3261 |
| Full Text |
|
| Is Part of |
Elektronika ir elektrotechnika.. Kaunas : KTU. 2013, vol. 19, no. 1, p. 73-76.. ISSN 1392-1215. eISSN 2029-5731 |
| Keywords [eng] |
Fuzzy systems ; Formal languages ; Formal verification ; Computer simulation ; Traffic control ; Performance analysis |
| Abstract [eng] |
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 deadlockfreeness 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. |
| Published |
Kaunas : KTU |
| Type |
Journal article |
| Language |
English |
| Publication date |
2013 |
| CC license |
|
