7778 search results - page 195 / 1556 » Designing Controllers for Reachability |
131
click to vote
HICSS
1996
IEEE
15 years 8 months ago
1996
IEEE
: We have designed a Real-Time Co-Operating System (RTCOS) for simultaneously supporting real-time and non-real-time activities on a workstation with two or more processors. The RT...
111
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
117
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper, we present a novel design methodology to combat the ever-aggravating high frequency power supply noise (di/dt) in modern microprocessors. Our methodology integrates ...
83
Voted
AUTOMATICA
1999
15 years 3 months ago
1999
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...
121
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...