Sciweavers

4434 search results - page 26 / 887
» On the Composition of Hybrid Systems
Sort
View
AAAI
2012
13 years 8 months ago
Learning Behavior Models for Hybrid Timed Systems
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
Oliver Niggemann, Benno Stein, Asmir Vodencarevic,...
HYBRID
2010
Springer
16 years 27 days ago
Comparison of overapproximation methods for stability analysis of networked control systems
W. P. M. H. Heemels, Nathan van de Wouw, Rob H. Gi...
HYBRID
2007
Springer
15 years 10 months ago
Diagnosability Verification for Hybrid Automata
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 7 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
156
Voted
FGR
2008
IEEE
155views Biometrics» more  FGR 2008»
16 years 16 days ago
Biased discriminant analysis using composite vectors for eye detection
We propose a new discriminant analysis using composite vectors for eye detection. A composite vector consists of a number of pixels inside a window on an image. The covariance of ...
Chunghoon Kim, Matthew Turk, Chong-Ho Choi