527 search results - page 18 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
AUTOMATICA
2008
13 years 7 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
WSC
2004
13 years 8 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
RTSS
2005
IEEE
14 years 1 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...
WSC
2004
13 years 8 months ago
2004
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
MCS
2006
Springer
13 years 7 months ago
2006
Springer
