Sciweavers

3995 search results - page 22 / 799
» Linearization of hybrid processes
Sort
View
APLAS
2004
ACM
14 years 3 months ago
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
There are two ways to write a program for manipulating tree-structured data such as XML documents: One is to write a tree-processing program focusing on the logical structure of t...
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
ICIP
1999
IEEE
14 years 11 months ago
A Dedicated Hardware System for a Class of Nonlinear Order Statistics Rational Hybrid Filters with Applications to Image Process
A dedicated hardware system is developed for a recent class of nonlinear hybrid filters called Order StatisticsRational Hybrid Filters (OSRHF). The performance of these filters is...
Lazhar Khriji, Giuseppe Bernacchia, Moncef Gabbouj...
HYBRID
2005
Springer
14 years 3 months ago
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
Stefan Strubbe, A. J. van der Schaft
HYBRID
2003
Springer
14 years 2 months ago
Hybrid Control Design for a Wheeled Mobile Robot
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
Thomas Bak, Jan Bendtsen, Anders P. Ravn
CORR
2012
Springer
187views Education» more  CORR 2012»
12 years 5 months ago
Sequential Inference for Latent Force Models
Latent force models (LFMs) are hybrid models combining mechanistic principles with non-parametric components. In this article, we shall show how LFMs can be equivalently formulate...
Jouni Hartikainen, Simo Särkkä