首页    期刊浏览 2025年07月10日 星期四
登录注册

文章基本信息

  • 标题:Piece Linear-Aggregate Approach for Modelling and Analysis of Fuzzy Systems
  • 本地全文:下载
  • 作者:Pranevicius ; Kraujalis
  • 期刊名称:Studies About Languages
  • 印刷版ISSN:2029-7203
  • 出版年度:2013
  • 卷号:19
  • 期号:1
  • 页码:73-76
  • DOI:10.5755/j01.eee.19.1.3261
  • 语种:English
  • 出版社:Faculty of Humanities, Kaunas University of Technology
  • 其他摘要: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
  • 关键词:Fuzzy systems;formal languages;formal verification;computer simulation;traffic control;performance analysis
国家哲学社会科学文献中心版权所有