DeepAI AI Chat
Log In Sign Up

Learning Timed Automata via Genetic Programming

by   Martin Tappler, et al.

Model learning has gained increasing interest in recent years. It derives behavioural models from test data of black-box systems. The main advantage offered by such techniques is that they enable model-based analysis without access to the internals of a system. Applications range from testing to model checking and system understanding. Current work focuses on learning variations of finite state machines. However, most techniques consider discrete time. In this paper, we introduce and demonstrate a method for learning timed automata, finite state machines extended with real-valued clocks. The method is passive, i.e. it generates a model consistent with a set of timed traces produced by a black-box timed system, but does not actively query the system. It is based on genetic programming, a search-based method for automatic program creation. We evaluate our approach on four manually created timed systems and on 40 randomly generated timed automata


page 1

page 2

page 3

page 4


PAC Model Checking of Black-Box Continuous-Time Dynamical Systems

In this paper we present a novel model checking approach to finite-time ...

Learning nonlinear hybrid automata from input–output time-series data

Learning an automaton that approximates the behavior of a black-box syst...

Active Learning of Abstract System Models from Traces using Model Checking [Extended]

We present a new active model-learning approach to generating abstractio...

An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems

Learning-based testing (LBT) is an emerging methodology to automate iter...

Real-valued affine automata compute beyond Turing machines

We show that bounded-error affine finite automata recognize uncountably ...

Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking

For exhaustive formal verification, industrial-scale cyber-physical syst...

A Genetic Programming Framework for 2D Platform AI

There currently exists a wide range of techniques to model and evolve ar...