Sciweavers

6796 search results - page 647 / 1360
» Java for Embedded Systems
Sort
View
239
Voted
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 12 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
HYBRID
2009
Springer
16 years 2 months ago
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
Falk M. Hante, Günter Leugering
CDC
2008
IEEE
200views Control Systems» more  CDC 2008»
16 years 1 months ago
Maximum-likelihood Kalman filtering for switching discrete-time linear systems
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...
Angelo Alessandri, Marco Baglietto, Giorgio Battis...
187
Voted
ICIP
2006
IEEE
16 years 1 months ago
A Novel Replica Detection System using Binary Classifiers, R-Trees, and PCA
Replica detection is a prerequisite for the discovery of copyright infringement and detection of illicit content. For this purpose, contentbased systems can be an efficient alter...
Yannick Maret, Spiros Nikolopoulos, Fréd&ea...
DSN
2004
IEEE
15 years 11 months ago
Improving System Dependability with Functional Alternatives
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
Charles P. Shelton, Philip Koopman