Sciweavers

3823 search results - page 473 / 765
» Stability of Hybrid Systems
Sort
View
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 4 months ago
Stochastic optimization for Markov modulated networks with application to delay constrained wireless scheduling
Abstract-- We consider a wireless system with a small number of delay constrained users and a larger number of users without delay constraints. We develop a scheduling algorithm th...
Michael J. Neely
ICONS
2009
IEEE
15 years 4 months ago
Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP
The aim of this paper is to address the problem of correctly dimensioning real-time embedded systems. It is well known that computers which control systems are greatly affected by...
Patrick Meumeu Yomsi, Yves Sorel, D. de Rauglaudre...
IJRR
2010
132views more  IJRR 2010»
15 years 4 months ago
LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...
Russ Tedrake, Ian R. Manchester, Mark Tobenkin, Jo...
164
Voted
MEDINFO
2007
115views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
Statistical Selector of the Best Multiple ICD-coding Method
The International Classification of Diseases 10th version (ICD-10) is one of the most standard and important disease classifications. Since computerized ICD-10 coding systems have...
Eiji Aramaki, Takeshi Imai, Masayuki Kajino, Kengo...
TSMC
1998
152views more  TSMC 1998»
15 years 6 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua