4693 search results - page 109 / 939 » Verifying Hybrid Systems |
113
click to vote
PRICAI
2004
Springer
15 years 10 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...
141
Voted
HYBRID
2000
Springer
15 years 8 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 ...
159
click to vote
FUIN
2007
15 years 4 months 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...
162
click to vote
ISCAS
2006
IEEE
15 years 10 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...
125
Voted
TON
1998
15 years 4 months 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...