4451 search results - page 396 / 891 » Continuous model synthesis |
197
click to vote
MAM
2008
15 years 6 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
156
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
We consider a control problem for a single bioreaction occuring in a continuous and well mixed bioreactor, assuming that the bioreaction's kinetics is not represented by a va...
180
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
In this paper we present a framework in which the general hybrid filtering or state estimation problem can be formulated. The problem of joint tracking and classification can be f...
192
click to vote
CG
2008
Springer
15 years 6 months ago
2008
Springer
We report on a multiresolution rendering system driving light field displays based on a specially arranged array of projectors and a holographic screen. The system gives multiple ...
188
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...