Sciweavers

2137 search results - page 181 / 428
» Control of a Car-Like Robot Using a Dynamic Model
Sort
View
152
Voted
HYBRID
2003
Springer
15 years 8 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
151
Voted
HYBRID
2007
Springer
15 years 7 months ago
Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models
Abstract. The use of hybrid dynamical systems to model gene regulation is impelled by the switch-like behaviour of the latter. Piecewise affine differential equations is one of the...
Etienne Farcot, Jean-Luc Gouzé
118
Voted
HYBRID
2000
Springer
15 years 7 months ago
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
Xenofon D. Koutsoukos, Panos J. Antsaklis
142
Voted
ICRA
2000
IEEE
150views Robotics» more  ICRA 2000»
15 years 8 months ago
Path Planning in Image Space for Robust Visual Servoing
Vision feedback control loop techniques are efficient for a great class of applications but they come up against difficulties when the initial and desired positions of the camer...
Youcef Mezouar, François Chaumette
104
Voted
AROBOTS
2004
77views more  AROBOTS 2004»
15 years 3 months ago
Macroscopic Modeling of Aggregation Experiments using Embodied Agents in Teams of Constant and Time-Varying Sizes
In this paper, we present discrete-time, nonspatial, macroscopic models able to capture the dynamics of collective aggregation experiments using groups of embodied agents endowed ...
William Agassounon, Alcherio Martinoli, Kjerstin E...