Sciweavers

4688 search results - page 143 / 938
» Dynamics of Control
Sort
View
HYBRID
2003
Springer
15 years 9 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
138
Voted
CDC
2008
IEEE
100views Control Systems» more  CDC 2008»
15 years 6 months ago
Input-output instability patterns of Chemical Reaction Networks
This paper describes a criterion for qualitative analysis of open Chemical Reaction Networks endowed with mass-action kinetics. The method can be applied to an extremely broad clas...
David Angeli
144
Voted
IJCNN
2007
IEEE
15 years 10 months ago
DHP-Based Wide-Area Coordinating Control of a Power System with a Large Wind Farm and Multiple FACTS Devices
—Wide-area coordinating control is becoming an important issue and a challenging problem in the power industry. This paper proposes a novel optimal wide-area monitor and wide-are...
Wei Qiao, Ronald G. Harley, Ganesh K. Venayagamoor...
149
Voted
IROS
2008
IEEE
134views Robotics» more  IROS 2008»
15 years 10 months ago
On the control of the KNTU CDRPM: A cable driven redundant parallel manipulator
— This paper is devoted to the control of a cable driven redundant parallel manipulator, which is a challenging problem due the optimal resolution of its inherent redundancy. Add...
Pooneh Gholami, Mohammad M. Aref, Hamid D. Taghira...
104
Voted
CDC
2010
IEEE
143views Control Systems» more  CDC 2010»
14 years 11 months ago
Trajectory tracking control for a tele-operation setup with disturbance estimation and compensation
In this paper, we tackle the position tracking problem in a robotic tele-operation setup in the presence of perturbations. In order to cope with the disturbance we developed a new ...
Stefan Lichiardopol, Nathan van de Wouw, Dragan Ko...