1213 search results - page 88 / 243 » Traceability for System Families |
DATE
2002
IEEE
15 years 4 months ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
ADCM
2010
15 years 1 days ago
2010
We present a new family of compactly supported and symmetric biorthogonal wavelet systems, which extend and unify the Biorthogonal Coifman wavelet system. The refinement mask has ...
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper presents a novel, computationally feasible procedure for computing optimal switching surfaces, i.e. optimal feedback controllers for switched autonomous nonl...