496 search results - page 16 / 100 » Model reduction of periodic systems: a lifting approach |
ACSD
2006
IEEE
14 years 5 days ago
2006
IEEE
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
ISLPED
2006
ACM
14 years 2 months ago
2006
ACM
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
— In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-l...
RTSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...