5200 search results - page 252 / 1040 » Symbolic models for control systems |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Motion coordination of autonomous vehicles has applications from target surveillance to climate monitoring. Previous research has yielded stabilizing control laws for a selfpropell...
CHI
2011
ACM
13 years 27 days ago
2011
ACM
In access-control systems, policy rules conflict when they prescribe different decisions (ALLOW or DENY) for the same access. We present the results of a user study that demonstr...
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
A general model of an E-business system comprising an Application Server and a Database engine is analyzed and evaluated. Incoming jobs, once admitted for processing, compete for ...
HOTOS
1997
IEEE
14 years 1 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
ISER
1991
Springer
14 years 24 days ago
1991
Springer
Detailed knowledge of actuator properties is a prerequisite for advanced manipulator design and control. This paper deals with the experimental identification and modelling of the...