Sciweavers

378 search results - page 8 / 76
» Computing Controllers for Nonlinear Hybrid Systems
Sort
View
HYBRID
2010
Springer
15 years 4 months ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan
HYBRID
2004
Springer
15 years 3 months 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, ...
CMSB
2009
Springer
15 years 4 months ago
Computing Reachable States for Nonlinear Biological Models
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
Thao Dang, Colas Le Guernic, Oded Maler
ISCAS
2003
IEEE
99views Hardware» more  ISCAS 2003»
15 years 2 months ago
Time-delay modelling for multi-layer power systems
Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
Ian A. Hiskens
HYBRID
1999
Springer
15 years 1 months ago
Scale-Independent Hysteresis Switching
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
João P. Hespanha, A. Stephen Morse