Sciweavers

100 search results - page 12 / 20
» Parameterized model order reduction of nonlinear dynamical s...
Sort
View
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
14 years 1 months ago
Recognising and Modelling Landmarks to Close Loops in Outdoor SLAM
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...
Fabio T. Ramos, Juan Nieto, Hugh F. Durrant-Whyte
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
14 years 5 days ago
A simulation-based method for aggregating Markov chains
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
Kun Deng, Prashant G. Mehta, Sean P. Meyn
ISPAN
1999
IEEE
13 years 11 months ago
Using Stochastic Intervals to Predict Application Behavior on Contended Resources
Current distributed parallel platforms can provide the resources required to execute a scientific application efficiently. However, when these platforms are shared by multiple use...
Jennifer M. Schopf, Francine Berman
CDC
2008
IEEE
189views Control Systems» more  CDC 2008»
14 years 1 months ago
Experimental study of fractional order proportional integral (FOPI) controller for water level control
— Based on our previously developed tuning procedure for fractional order proportional integral controller (FO-PI), we present in this paper an extensive comparative experimental...
Varsha Bhambhani, Yangquan Chen
FM
2001
Springer
118views Formal Methods» more  FM 2001»
13 years 12 months ago
Avoiding State Explosion for Distributed Systems with Timestamps
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
Fabrice Derepas, Paul Gastin, David Plainfoss&eacu...