4693 search results - page 10 / 939 » Verifying Hybrid Systems |
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents a hybrid system approach in the design of a singularityless task level controller. To achieve a singularityless motion control in the neighborhood of singulari...
85
Voted
IJACTAICIT
2010
14 years 9 months ago
2010
In this article, a hybrid optimization method has been proposed consisting of modified ant colony systems (ACSs) and constrained nonlinear programming (NLP) to solve the problems ...
127
Voted
AGTIVE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
91
Voted
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
—Positioning is a crucial task in pervasive computing, aimed at estimating the user’s positions to provide location-based services. In this paper, we study an interesting probl...
120
click to vote
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...