Sciweavers

14190 search results - page 61 / 2838
» Abstractions for hybrid systems
Sort
View
INTEGRATION
2008
191views more  INTEGRATION 2008»
15 years 6 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»
15 years 6 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»
16 years 22 days 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 10 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
16 years 14 days 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, ...