Distinguishing Experiments for Timed Nondeterministic Finite State Machines

DOI10.14232/actacyb.21.2.2013.1zbMath1299.68035OpenAlexW2400952657MaRDI QIDQ5414484

Nina Yevtushenko, Khaled El-Fakih, Natalia Shabaldina, Maksim Leonidovich Gromov

Publication date: 5 May 2014

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.21.2.2013.1

zbMATH Keywords

state identificationadaptive distinguishing experimentsnondeterministic timed finite state machinenondeterministic untimed finite state machinepreset distinguishing experiments

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Deriving Homing Sequences for Finite State Machines with Timed Guards ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ Adaptive experiments for state identification in finite state machines with timeouts

This page was built for publication: Distinguishing Experiments for Timed Nondeterministic Finite State Machines