Sciweavers

3229 search results - page 107 / 646
» The Theory of Timed Automata
Sort
View
JC
2002
37views more  JC 2002»
15 years 6 months ago
A Theory of Complexity for Continuous Time Systems
Asa Ben-Hur, Hava T. Siegelmann, Shmuel Fishman
HYBRID
2011
Springer
14 years 6 months ago
The earlier the better: a theory of timed actor interfaces
Marc Geilen, Stavros Tripakis, Maarten Wiggers
AHSWN
2010
177views more  AHSWN 2010»
15 years 6 months ago
Dynamic Point Coverage Problem in Wireless Sensor Networks: A Cellular Learning Automata Approach
One way to prolong the lifetime of a wireless sensor network is to schedule the active times of sensor nodes, so that a node is active only when it is really needed. In the dynami...
Mehdi Esnaashari, Mohammad Reza Meybodi
FORMATS
2004
Springer
15 years 11 months ago
Learning of Event-Recording Automata
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
Olga Grinchtein, Bengt Jonsson, Martin Leucker