4434 search results - page 139 / 887 » On the Composition of Hybrid Systems |
178
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
238
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
For applications that involve rapidly changing textual data and also require traditional DBMS capabilities, current systems are unsatisfactory. In this paper, we describe a hybrid...
189
click to vote
JVA
2006
IEEE
16 years 12 days ago
2006
IEEE
With the rapid evolution of mobile and ubiquitous computing, small-scale devices like personal digital assistants, smart "converged" phones and laptops now dominate the ...
154
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper addresses a fundamental problem in resource management for flow-based hybrid switching systems. Such systems aim at efficient transport of layer-3 connectionless IP traf...
156
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...