458 search results - page 34 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
ISCAS
1999
IEEE
14 years 1 months ago
1999
IEEE
In switched dynamic system the continuous phase
ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
SIGCSE
2004
ACM
14 years 2 months ago
2004
ACM
There are a wide variety of ways to present information at the front of a classroom. These include chalk on a blackboard, markers on a whiteboard, pens on transparencies, and comp...
AVSS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a multi-view intelligent surveillance system used for the automatic tracking and monitoring of vehicles in a short-term parking lane. The system has the abilit...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
It is often assumed that developers’ view of their system and its environment is always consistent with everyone else’s; in practice, this assumption can be false, as the deve...