4434 search results - page 114 / 887 » On the Composition of Hybrid Systems |
149
click to vote
ETT
2006
15 years 6 months ago
2006
Abstract-- The benefit of hybrid mobile communication networks combining point-to-point and point-to-multipoint systems should be an optimized transfer of data for both providers a...
162
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...
148
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...
134
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...