170 search results - page 6 / 34 » A Homology Theory for Hybrid Systems: Hybrid Homology |
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
HYBRID
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
HYBRID
2004
Springer
14 years 22 days ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
IPPS
2003
IEEE
14 years 19 days ago
2003
IEEE
We present a method for the automatic generation of oligonucleotide probe sets for DNA microarrays. This approach is well suited particularly for specificity evaluation of design...
IMECS
2007
13 years 8 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...