15644 search results - page 63 / 3129 » Brittle System Analysis |
101
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
: This paper addresses the asymptotic stability of switched time delay systems. Piecewise Lyapunov-Razumikhin functions are introduced for the switching candidate systems to invest...
120
click to vote
HYBRID
1994
Springer
15 years 6 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
140
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
CODES
1998
IEEE
15 years 6 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...