20126 search results - page 261 / 4026 » Timed Transition Systems |
140
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper considers a real-time algorithm for performance optimization of switched-mode hybrid dynamical systems. The controlled parameter consists of the switching times between ...
143
click to vote
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
125
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
We present sufficient conditions for robust relay-delayed semiglobal stabilization of second order systems, which relate the upper bound to an uncertain time delay and the paramete...
154
click to vote
ECRTS
2008
IEEE
15 years 11 months ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...
136
click to vote
CISS
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—We consider the transmission completion time minimization problem in a single-user energy harvesting wireless communication system. In this system, both the data packets...