1287 search results - page 17 / 258 » Reduction of Timed Hybrid Systems |
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
102
click to vote
AVSS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents the implementation of a video segmentation unit used for embedded automated video surveillance systems. Various aspects of the underlying segmentation algorith...
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper a robust multifont character recognition system for degraded documents such as photocopy or fax is described. The system is based on Hidden Markov Models (HMMs) usin...
FATES
2006
Springer
15 years 1 months ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
ENTCS
2006
14 years 9 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...