Sciweavers

3823 search results - page 55 / 765
» Stability of Hybrid Systems
Sort
View
CDC
2008
IEEE
183views Control Systems» more  CDC 2008»
13 years 9 months ago
Stabilization of infinitesimally rigid formations of multi-robot networks
This paper proposes a local gradient control law to stabilize a group of robots to a target formation. The control is derived from a potential function based on an undirected infin...
Laura Krick, Mireille E. Broucke, Bruce A. Francis
ESOP
2008
Springer
13 years 10 months ago
A Hybrid Denotational Semantics for Hybrid Systems
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
Olivier Bouissou, Matthieu Martel
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
14 years 3 months ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
Eric Lucet, Christophe Grand, Damien Sallé,...
HYBRID
2003
Springer
14 years 1 months ago
Hybrid Modelling and Control of Power Electronics
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...
Matthew Senesky, Gabriel Eirea, Tak-John Koo
HYBRID
2001
Springer
14 years 1 months ago
Hybrid Modeling of TCP Congestion Control
Abstract. In this paper we propose a hybrid model for TCP’s congestion control mechanism operating under drop-tail queuing policy. Using
João P. Hespanha, Stephan Bohacek, Katia Ob...