6308 search results - page 345 / 1262 » Modeling Urgency in Timed Systems |
162
click to vote
SCL
2008
15 years 6 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
160
click to vote
WSC
2001
15 years 8 months ago
2001
Prior to the deployment of any new or replacement component within a transportation system, it should be demonstrated that the modified system meets or exceeds the safety requirem...
169
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
191
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
We present an interactive visualization system for the analysis of Gaussian mixture speaker models. The system exhibits the inner workings of the model intuitively by visualizing ...
181
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In switched dynamic system the continuous phase
ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...