Vi utökar Angluins algoritm för online-inlärning av reguljära språk till att ställa in tidsinställda övergångssystem. Mer specifikt beskriver vi ett förfarande för att sluta system som kan beskrivas av händelse-inspelning automata genom att fråga en sekvens av medlemskap frågor (tar systemet ett givet tidsinställda ord?) och likvärdighet frågor (är en hypothesized beskrivning motsvarar den korrekta?). I den härledda beskrivningen identifieras tillstånden genom sekvenser av symboler tillsammans med information om tidpunkter. Antalet medlemskap frågor är polynomiskt i regionen grafen och i den största konstanten i automaten att lära.
Senare REF presenterade samma författare en algoritm för att dra slutsatsen om hela klassen av händelseinspelningsautomata.
Inference Of Timed Transition Systems
{'venue': 'INFINITY', 'journal': 'Electr. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}