1297 search results - page 11 / 260 » Control of systems integrating logic, dynamics, and constrai... |
132
click to vote
PG
2000
IEEE
15 years 5 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...
120
click to vote
SP
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
106
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
101
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
The problem of integrator forwarding is revisited using the notion of dynamically scaled (control) Lyapunov function. A new class of dynamic stabilizing control laws is presented, ...
154
click to vote
TCOM
2010
14 years 11 months ago
2010
Dynamic spectrum access (DSA) is an integral part of cognitive radio technology aiming at efficient management of the available power and bandwidth resources. The present paper d...