Skip to ContentSkip to Navigation
Over onsNieuws en agendaNieuwsberichten

Johann Bernoulli Colloquium, Professor Frits Vaandrager

25 maart 2014

Join us for coffee and tea at 15.30 p.m.

Date:                      

Tuesday, March 25th 2014

Speaker:

Professor Frits Vaandrager, Radboud University Nijmegen

Room:

5161.0293 (Bernoulliborg)

Time:

16.00

Title: Inference of State Machines


Abstract:

I will present an overview of recent work by my group in which we use machine learning to infer state diagram models of embedded controllers and network protocols fully automatically through observation and test, that is, through black box reverse engineering. Starting from the well-known L^* algorithm of Angluin, our aim is to develop algorithms for active learning of richer classes of (extended) finite state machines. Abstraction is the key when learning behavioral models of realistic systems. Hence, in practical applications, researchers manually define abstractions which, depending on the history, map a large set of concrete events to a small set of abstract events that can be handled by automata learning tools. Our work shows how such abstractions can be constructed fully automatically for a restricted class of extended finite state machines in which one can test for equality of data parameters, but no operations on data are allowed. Our approach uses counterexample-guided abstraction refinement (CEGAR): whenever the current abstraction is too coarse and induces nondeterministic behavior, the abstraction is refined automatically. Using the LearnLib tool from Dortmund in combination with Tomte, a prototype implementation of our CEGAR algorithm, we have succeeded to learn models of several realistic software components, such as the TCP and SIP protocols, the new biometric passport, banking cards, and printer controllers.

Colloquium coordinators Mathematics are Prof.dr. A.C.D. van Enter (e-mail : A.C.D.van.Enter@rug.nl) and Dr. A.V. Kiselev (e-mail: a.v.kiselev@rug.nl)
Colloquium coordinators Computer Science are Prof.dr. M. Aiello (e-mail: M.Aiello@rug.nl ) and Prof.dr. M. Biehl (e-mail: M.Biehl@rug.nl )

http://www.rug.nl/research/jbi/news/colloquia/jbi-colloquia/

Laatst gewijzigd:06 juni 2018 13:58

Meer nieuws

  • 08 juni 2018

    Waardedaling woningen in aardbevingsgebied tot 2015 gemiddeld 9,3%

    Woningen in het Groningse aardbevingsgebied zijn tot 2015 gemiddeld 9,3% in waarde gedaald. Dat concluderen promovendus Nicolás Durán en hoogleraar Ruimtelijke Econometrie Paul Elhorst van de Rijksuniversiteit Groningen. Zij analyseerden data van de...

  • 06 juni 2018

    RUG op plek 120 in QS ranking

    De Rijksuniversiteit Groningen (RUG) staat dit jaar op plaats 120 in de QS World Top University Rankings 2019. Afgelopen twee jaar stond de RUG opplaats 113 in deze lijst van bijna 1.000 universiteiten wereldwijd. Op nationale schaal is Groningen dit...

  • 01 juni 2018

    Negen onderzoekers aan de RUG ontvangen een Vidi-beurs

    NWO heeft aan 86 ervaren onderzoekers ieder een Vidi-financiering van 800.000 euro toegekend. Maar liefst negen hiervan doen hun onderzoek aan de Rijksuniversiteit Groningen (RUG); aan vier verschillende faculteiten. Met de beurs kunnen de vier vrouwelijke...