4693 search results - page 109 / 939 » Verifying Hybrid Systems |
79
Voted
PRICAI
2004
Springer
15 years 6 months ago
2004
Springer
This paper introduces an augmentation hybrid system, referred to as Rated MCRDR. It uses Multiple Classification Ripple Down Rules (MCRDR), a simple and effective knowledge acquisi...
110
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
119
Voted
FUIN
2007
15 years 19 days ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
111
click to vote
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—This paper presents a novel high-efficient hybrid openclose loop based fine granularity scalable (HOCFGS) coding framework supporting different decoding complexity appli...
TON
1998
15 years 10 days ago
1998
This paper describes the analysis, implementation and performance of a new algorithm engineered to discipline a computer clock to a source of standard time, such as a GPS receiver...