Sciweavers

3204 search results - page 340 / 641
» Online Learning with Constraints
Sort
View
AICCSA
2008
IEEE
290views Hardware» more  AICCSA 2008»
16 years 1 months ago
Test of preemptive real-time systems
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mu...
INFOCOM
2008
IEEE
16 years 1 months ago
Opportunistic Scheduling with Reliability Guarantees in Cognitive Radio Networks
—We develop opportunistic scheduling policies for cognitive radio networks that maximize the throughput utility of the secondary (unlicensed) users subject to maximum collision c...
Rahul Urgaonkar, Michael J. Neely
HYBRID
2004
Springer
16 years 3 days ago
On the Optimal Control of Switch-Mode DC-DC Converters
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
Tobias Geyer, Georgios Papafotiou, Manfred Morari
ICRA
2003
IEEE
106views Robotics» more  ICRA 2003»
16 years 16 hour ago
Motion planning for a three-limbed climbing robot in vertical natural terrain
This paper presents a general framework for planning the quasi-static motion of a three-limbed climbing robot in vertical natural terrain. The problem is to generate a sequence of...
Timothy Bretl, Stephen M. Rock, Jean-Claude Latomb...
RTSS
1999
IEEE
15 years 11 months ago
A Framework for Scheduler Synthesis
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
Karine Altisen, Gregor Gößler, Amir Pnu...