5200 search results - page 283 / 1040 » Symbolic models for control systems |
RTSS
1993
IEEE
14 years 1 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
TOG
2008
13 years 9 months ago
2008
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
CC
1994
Springer
14 years 1 months ago
1994
Springer
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
We develop non-smooth motion controllers that enable redundant manipulators to perform surface tasks, that involve force/torque interactions. The robot joint rates are constrained ...
ECRTS
2004
IEEE
14 years 1 months ago
2004
IEEE
Control methods are being used increasingly for uncertainty management and QoS in modern web server systems. Previous approaches have suggested combined feedforward and feedback c...