Sciweavers

185 search results - page 10 / 37
» Observability and Forward-Backward Observability of Discrete...
Sort
View
AUTOMATICA
2011
14 years 4 months ago
Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
Francesco Amato, Francesco Calabrese, Carlo Cosent...
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
14 years 9 months ago
Exact determinations of the maximal output admissible set for a class of nonlinear systems
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
Kenji Hirata, Yoshito Ohta
HYBRID
2003
Springer
15 years 2 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
CDC
2010
IEEE
131views Control Systems» more  CDC 2010»
14 years 1 months ago
State estimation of two-time scale multiple models with unmeasurable premise variables. Application to biological reactors
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...
Anca Maria Nagy-Kiss, Benoît Marx, Gilles Mo...
NIPS
2003
14 years 11 months ago
Gene Expression Clustering with Functional Mixture Models
We propose a functional mixture model for simultaneous clustering and alignment of sets of curves measured on a discrete time grid. The model is specifically tailored to gene exp...
Darya Chudova, Christopher E. Hart, Eric Mjolsness...