Sciweavers

1287 search results - page 1 / 258
» Reduction of Timed Hybrid Systems
Sort
View
DEDS
1998
84views more  DEDS 1998»
13 years 4 months ago
Reduction of Timed Hybrid Systems
We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consi...
S. Di Gennaro, C. Horn, Sanjeev R. Kulkarni, Peter...
RTSS
2005
IEEE
13 years 10 months ago
A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee
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...
Linwei Niu, Gang Quan
CCE
2008
13 years 4 months ago
Scheduling of a mixed batch/continuous sugar milling plant using Petri nets
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
Mahsa Ghaeli, Parisa A. Bahri, Peter L. Lee
HYBRID
2001
Springer
13 years 9 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas