Sciweavers

14190 search results - page 61 / 2838
» Abstractions for hybrid systems
Sort
View
INTEGRATION
2008
191views more  INTEGRATION 2008»
14 years 12 months ago
Constant-time addition with hybrid-redundant numbers: Theory and implementations
Abstract: Hybrid-redundant number representation has provided a flexible framework for digitparallel addition in a manner that facilitates area-time tradeoffs for VLSI implementati...
Ghassem Jaberipur, Behrooz Parhami
SIAMCO
2008
113views more  SIAMCO 2008»
14 years 11 months ago
Singularly Perturbed Piecewise Deterministic Games
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
Alain Haurie, Francesco Moresino
ICQNM
2008
IEEE
190views Chemistry» more  ICQNM 2008»
15 years 6 months ago
DNA as Building Block for Self-Assembly of Micro-components
Abstract— Biological processes, and in particular DNA hybridization, offer the potential to form the basis for the assembly of devices at micro- and nano-scales. Our aim is to im...
Ahlem Abbaci, D. Sinan Haliyo, Stephane Rég...
HYBRID
2007
Springer
15 years 3 months ago
Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...
M. W. J. M. Musters, Hidde de Jong, P. P. J. van d...
HYBRID
2007
Springer
15 years 6 months ago
Composing Semi-algebraic O-Minimal Automata
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
Alberto Casagrande, Pietro Corvaja, Carla Piazza, ...