1287 search results - page 62 / 258 » Reduction of Timed Hybrid Systems |
133
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...
176
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Energy consumption is a critical design issue in real-time systems, especially in battery- operated systems. Maintaining high performance, while extending the battery life between...
138
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
A bit climber using a Gray encoding is guaranteed to converge to a global optimum in fewer than ¢¤£¦¥¨§© evaluations on unimodal 1-D functions and on multi-dimensional sph...
134
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
127
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...