1297 search results - page 16 / 260 » Control of systems integrating logic, dynamics, and constrai... |
105
click to vote
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
107
click to vote
IJCIM
2002
15 years 1 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
115
click to vote
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— In this paper, we present a framework that enables an operator to haptically and visually interact with a dynamic simulation subject to virtual holonomic constraints. T...
CC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
109
click to vote
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...