Sciweavers

5 search results - page 1 / 1
» Metrics and Topology for Nonlinear and Hybrid Systems
Sort
View
HYBRID
2007
Springer
13 years 11 months ago
Metrics and Topology for Nonlinear and Hybrid Systems
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
Mihály Petreczky, René Vidal
ICRA
2002
IEEE
142views Robotics» more  ICRA 2002»
13 years 10 months ago
Hybrid Simultaneous Localization and Map Building: Closing the Loop with Multi-Hypotheses Tracking
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
Nicola Tomatis, Illah R. Nourbakhsh, Roland Siegwa...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 3 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
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 ...
Alexandre Donzé
IROS
2006
IEEE
202views Robotics» more  IROS 2006»
13 years 11 months ago
Topological characterization of mobile robot behavior
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
Aurélien Hazan, Frédéric Dave...
IJCNN
2000
IEEE
13 years 9 months ago
Predictive Multiple Model Switching Control with the Self-Organizing Map
—A predictive, multiple model control strategy is developed by extension of self-organizing map (SOM) local dynamic modeling of nonlinear autonomous systems to a control framewor...
Mark A. Motter