Learning of Automata Models Extended with Data

@inproceedings{Jonsson2011LearningOA,
  title={Learning of Automata Models Extended with Data},
  author={Bengt Jonsson},
  booktitle={SFM},
  year={2011}
}
One of the challenges in the Connect project is to develop techniques for learning models of networked components from exploratory interaction with the component, based on analyzing messages exchanged between the component and its environment. Many approaches to this problem employ regular inference (aka. automata learning) techniques which generate modest-size finite-state models. Most communication with real-life systems involves data values being relevant to the communication context and… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

Application and Theory of Petri Nets and Concurrency

  • Lecture Notes in Computer Science
  • 2014
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Synthesis of Supervisors for Unknown Plant Models Using Active Learning

  • 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)
  • 2019

Data-driven and model-based design

  • 2018 IEEE Industrial Cyber-Physical Systems (ICPS)
  • 2018
VIEW 1 EXCERPT
CITES METHODS

Towards Automatic Learning of Discrete-Event Models from Simulations

  • 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
  • 2018
VIEW 1 EXCERPT

A Fresh Approach to Learning Register Automata

  • Developments in Language Theory
  • 2013
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 32 REFERENCES

Finding latent code errors via machine learning over program executions

  • Proceedings. 26th International Conference on Software Engineering
  • 2004
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

  • 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
  • 2009
VIEW 1 EXCERPT

Automatic generation of software behavioral models

  • 2008 ACM/IEEE 30th International Conference on Software Engineering
  • 2008
VIEW 1 EXCERPT