13717 search results - page 632 / 2744 » Control Systems |
215
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
212
click to vote
ICRA
2005
IEEE
16 years 24 days ago
2005
IEEE
— To close the loop between motion and vision, tracked visual features must remain in the camera field of view (visibility constraint). To overcome the visibility constraint, vi...
221
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
226
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
160
click to vote
ICARCV
2002
IEEE
16 years 5 days ago
2002
IEEE
Close control of blood glucose levels significantly reduces vascular complications in Type I diabetes. A control method focusing on the rate of change of blood glucose level is de...