Sciweavers

3082 search results - page 152 / 617
» New Bounds for the Controller Problem
Sort
View
HYBRID
2007
Springer
15 years 10 months ago
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...
Domitilla Del Vecchio
SIAMCO
2008
121views more  SIAMCO 2008»
15 years 4 months ago
Numerical Verification of Optimality Conditions
A class of optimal control problem for a semilinear elliptic partial differential equation with control constraints is considered. It is well known that sufficient second-order con...
Arnd Rösch, Daniel Wachsmuth
ICRA
2008
IEEE
164views Robotics» more  ICRA 2008»
15 years 11 months ago
Visual servoing set free from image processing
— This paper proposes a new way to achieve robotic tasks by visual servoing. Instead of using geometric features (points, straight lines, pose, homography, etc.) as it is usually...
Christophe Collewet, Éric Marchand, Fran&cc...
PLDI
2012
ACM
13 years 6 months ago
Language-based control and mitigation of timing channels
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
COMCOM
2000
96views more  COMCOM 2000»
15 years 4 months ago
A routing algorithm for dynamic multicast trees with end-to-end path length control
The new Path Length Control (PLC) algorithm establishes and maintains multicast trees which maximize the bandwidth to be shared by multiple receivers and which satisfy the maximum...
Hiroshi Fujinoki, Kenneth J. Christensen