7778 search results - page 11 / 1556 » Designing Controllers for Reachability |
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
COCO
2010
Springer
13 years 11 months ago
2010
Springer
Designing algorithms that use logarithmic space for graph reachability problems is fundamental to complexity theory. It is well known that for general directed graphs this problem...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper presents an architecture for adaptive cognitive radio networks based on the concept of a “global control plane”. The proposed control architecture uses a predete...
NETWORKING
2011
12 years 10 months ago
2011
The Internet is organized as a collection of networks called Autonomous Systems (ASes). The Border Gateway Protocol (BGP) is the glue that connects these administrative domains. Co...
HAPTICS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we present the design of a new fMRI compatible haptic interface with 3DOFs, based on electrical DC actuation, for the study of brain mechanisms of human motor contr...