458 search results - page 29 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
DEDS
1998
13 years 8 months ago
1998
We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consi...
FORMATS
2004
Springer
14 years 2 months ago
2004
Springer
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...
HICSS
1998
IEEE
14 years 1 months ago
1998
IEEE
The evolution of the computer-assisted personalized approach (CAPA) system and its use in large lecture classes is described. Further individual student contact in these large cla...
AVSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
Emerging applications in sensor systems and network-wide IP traffic analysis present many technical challenges. They need distributed monitoring and continuous tracking of events....