Sciweavers

695 search results - page 35 / 139
» Control in o-minimal Hybrid Systems
Sort
View
58
Voted
CDC
2008
IEEE
15 years 4 months ago
Hybrid control of a constrained velocity unicycle with local sensing
— This paper introduces a hybrid control scheme for steering a non-holonomic agent with limited sensing capabilities and input constraints through a stationary but unknown worksp...
Apollo S. Oikonomopoulos, Savvas G. Loizou, Kostas...
HYBRID
2003
Springer
15 years 3 months ago
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
Richard J. Boulton, Ruth Hardy, Ursula Martin
TROB
2002
126views more  TROB 2002»
14 years 9 months ago
Modeling and controllability for a class of hybrid mechanical systems
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
Francesco Bullo, Milos Zefran
AUTOMATICA
1999
82views more  AUTOMATICA 1999»
14 years 9 months ago
Controllers for reachability specifications for hybrid systems
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
John Lygeros, Claire Tomlin, Shankar Sastry
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
14 years 10 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...