5200 search results - page 310 / 1040 » Symbolic models for control systems |
166
click to vote
DSD
2004
IEEE
15 years 9 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
146
Voted
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...
147
click to vote
ICRA
2006
IEEE
16 years 3 days ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
194
click to vote
SACMAT
2006
ACM
16 years 1 days ago
2006
ACM
In this paper we have addressed confidentiality and privacy for video surveillance databases. First we discussed our overall approach for suspicious event detection. Next we discu...
162
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
We present a discrete-time adaptive control law that is effective for systems that are MIMO and either minimum phase or nonminimum phase. The adaptive control algorithm provides gu...