Sciweavers

1077 search results - page 28 / 216
» Approximate reduction of dynamic systems
Sort
View
92
Voted
HYBRID
2003
Springer
15 years 6 months ago
Approximate Stabilisation of Uncertain Hybrid Systems
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...
Yan Gao, John Lygeros, Marc Quincampoix, Nicolas S...
ENTCS
2002
66views more  ENTCS 2002»
15 years 17 days ago
Strongly Normalising Cut-Elimination with Strict Intersection Types
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...
Steffen van Bakel
142
Voted
ISCAPDCS
2008
15 years 2 months ago
Parallel Embedded Systems: Where Real-Time and Low-Power Meet
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
Zdravko Karakehayov, Yu Guo
79
Voted
ICRA
1998
IEEE
101views Robotics» more  ICRA 1998»
15 years 5 months ago
An Approach to Reduction of Hysteresis in Smart Materials
This paper addresses the problem of reducing the hysteresis found in the actuation of most smart materials. They are divided in two groups: systems with no saturation (e.g. piezoe...
Juan Manuel Cruz-Hernández, Vincent Hayward
77
Voted
IRAL
2003
ACM
15 years 6 months ago
Dynamic programming matching for large scale information retrieval
Though dynamic programming matching can carry out approximate string matching when there may be deletions or insertions in a document, its effectiveness and efficiency are usuall...
Eiko Yamamoto, Masahiro Kishida, Yoshinori Takenam...