1616 search results - page 54 / 324 » A Framework for Hybrid Planning |
JCP
2008
13 years 8 months ago
2008
It presents some definitions of projected cluster and projected cluster group on hybrid attributes after having given some definitions on ordered attributes and sorted attributes t...
LFCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
GLOBECOM
2006
IEEE
14 years 2 months 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...
RTSS
2003
IEEE
14 years 2 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
RTSS
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...