14190 search results - page 99 / 2838 » Abstractions for hybrid systems |
137
click to vote
PRICAI
2004
Springer
15 years 11 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...
170
click to vote
HYBRID
2000
Springer
15 years 10 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 ...
192
click to vote
FUIN
2007
15 years 6 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...
169
click to vote
GLOBECOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...