4434 search results - page 58 / 887 » On the Composition of Hybrid Systems |
166
click to vote
RTSS
2009
IEEE
16 years 26 days 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...
170
click to vote
ENTCS
2011
14 years 9 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
168
click to vote
SPLC
2010
15 years 7 months ago
2010
Feature-Oriented Programming (FOP) is a programming paradigm for developing programs by composing features. It is especially useful for software product line development, as each p...
160
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
137
click to vote
JCIT
2008
15 years 6 months ago
2008
This paper suggests an efficient image segmentation algorithm in 3 steps for grayscale images. First step is the segmentation as homogenous region on image. And, second step is me...