Sciweavers

427 search results - page 18 / 86
» Multimodel analysis and controller design for nonlinear proc...
Sort
View
FDL
2008
IEEE
13 years 8 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
SCL
2008
130views more  SCL 2008»
13 years 8 months ago
Exponential stability of impulsive systems with application to uncertain sampled-data systems
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
Payam Naghshtabrizi, João P. Hespanha, Andr...
ICCS
2005
Springer
14 years 1 months ago
Modelling Dynamics of Genetic Networks as a Multiscale Process
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
Xilin Wei, Roderick V. N. Melnik, Gabriel Moreno-H...
DSOM
2005
Springer
14 years 1 months ago
Control Considerations for Scalable Event Processing
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...
Wei Xu, Joseph L. Hellerstein, Bill Kramer, David ...
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
14 years 2 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...