Search Sciweavers | Sciweavers

18

HYBRID
2007
Springer

115views Control Systems» more HYBRID 2007»

MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems

13 years 11 months ago

We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1

Spring Berman, Ádám M. Halász...

claim paper

Read More »

16

click to vote

BIOINFORMATICS
2010

84views more BIOINFORMATICS 2010»

HybridNET: a tool for constructing hybridization networks

13 years 6 months ago

Download rnc.r.dendai.ac.jp

Zhi-Zhong Chen, Lusheng Wang

claim paper

Read More »

24

click to vote

HYBRID
2007
Springer

167views Control Systems» more HYBRID 2007»

Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems

14 years 1 months ago

Download www.zfm.ethz.ch

Abstract. A measure diﬀerential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...

Kerim Yunt, Christoph Glocker

claim paper

Read More »

22

click to vote

HYBRID
2007
Springer

148views Control Systems» more HYBRID 2007»

Systematic Simulation Using Sensitivity Analysis

14 years 1 months ago

Download www-verimag.imag.fr

In this paper we propose a new technique for veriﬁcation by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...

Alexandre Donzé, Oded Maler

claim paper

Read More »

22

click to vote

HEURISTICS
2007

79views more HEURISTICS 2007»

Sequencing by hybridization: an enhanced crossover operator for a hybrid genetic algorithm

13 years 7 months ago