AMNE:(HUMANIORA) AMNE:(Filosofi etik och religion) AMNE:(Idé och lärdomshistoria)
Sökning: AMNE:(HUMANIORA) AMNE:(Filosofi etik och religion) AMNE:(Idé och lärdomshistoria) > (2010-2019) > Inference of Event-...
- 24 av 2490
- Föregående post
- Nästa post
- Till träfflistan
- Grinchtein, OlgaUppsala University, Sweden (författare)
Inference of Event-Recording Automata using Timed Decision Trees
- Artikel/kapitelEngelska2006
Förlag, utgivningsår, omfång ...
- Berlin, Heidelberg :Springer Berlin Heidelberg,2006
- printrdacarrier
Nummerbeteckningar
- LIBRIS-ID:oai:DiVA.org:mdh-6989
- https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-6989URI
- https://doi.org/10.1007/11817949_29DOI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- We present an algorithm for inferring a timed-automaton model of a system from information obtained by observing its external behavior. Since timed automata can not in general be determinized, we restrict our attention to systems that can be described by deterministic event-recording automata. In previous work we have presented algorithms for event-recording automata that satisfy the restriction that there is at most one transition per alphabet symbol from each state. This restriction was lifted in subsequent work by an algorithm based on the region graph.In this paper, we extend previous work by considering the full class of event-recording automata, while still avoiding to base it on the (usually prohibitively large) region graph. Our construction deviates from previous work on inference of automata in that it first constructs a so called timed decision tree from observations of system behavior, which is thereafter folded into an automaton.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Jonsson, BengtUppsala University, Sweden (författare)
- Pettersson, PaulUppsala University, Sweden(Swepub:mdh)ppn02 (författare)
- Uppsala University, Sweden (creator_code:org_t)
Sammanhörande titlar
- Ingår i:CONCUR 2006 – Concurrency TheoryBerlin, Heidelberg : Springer Berlin Heidelberg, s. 435-4499783540373766
Internetlänk
Hitta via bibliotek
- CONCUR 2006 – Concurrency Theory (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 24 av 2490
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Grinchtein, Olga
- Jonsson, Bengt
- Pettersson, Paul
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- CONCUR 2006 – Co ...
- Av lärosätet
- Mälardalens universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
