Observation-tree-driven Active Learning of Deterministic Timed Automata
Author:
Affiliation:

Clc Number:

TP311

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Active learning of timed automata is an important research topic. Active learning of multi-clock timed automata is one of the important research directions. However, the existing learning algorithms for multi-clock timed automata have relatively slow learning speed. This study proposes an improved active learning algorithm based on a timed observation tree. A data structure called the timed observation tree is defined to store the information obtained during the learning process. Based on the special structure of the timed observation tree, binary search techniques can be used to analyze counterexamples. By using this counterexample analysis technique, the number of membership queries and reset information queries can be reduced, thereby improving the efficiency of the proposed algorithm. Experimental results demonstrate the effectiveness of the method.

    Reference
    Related
    Cited by
Get Citation

滕宇,张苗苗.观察树驱动的确定性时间自动机主动学习.软件学报,2026,37(9):3577-3597

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:September 08,2025
  • Revised:October 28,2025
  • Adopted:
  • Online: December 24,2025
  • Published: September 06,2026
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063