Sciweavers

183 search results - page 5 / 37
» Reachability analysis of generalized polygonal hybrid system...
Sort
View
HYBRID
2007
Springer
14 years 1 months ago
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...
Alessandro Arsie, Emilio Frazzoli
HYBRID
2004
Springer
14 years 28 days ago
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
Calin Belta, Peter Finin, Luc C. G. J. M. Habets, ...
CAV
2009
Springer
126views Hardware» more  CAV 2009»
14 years 8 months ago
Reachability Analysis of Hybrid Systems Using Support Functions
Colas Le Guernic, Antoine Girard
HYBRID
2003
Springer
14 years 23 days ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard