Sciweavers

1287 search results - page 1 / 258
» Reduction of Timed Hybrid Systems
Sort
View
75
Voted
DEDS
1998
84views more  DEDS 1998»
15 years 24 days 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...
110
Voted
HYBRID
2010
Springer
15 years 8 months ago
Succinct discrete time approximations of distributed hybrid automata
P. S. Thiagarajan, Shaofa Yang
110
Voted
RTSS
2005
IEEE
15 years 6 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
15 years 21 days 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
91
Voted
HYBRID
2001
Springer
15 years 5 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas