Sciweavers

6045 search results - page 947 / 1209
» Computable Linearizations of Well-partial-orderings
Sort
View
AUTOMATICA
2008
167views more  AUTOMATICA 2008»
15 years 6 months ago
Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....
CGF
2008
103views more  CGF 2008»
15 years 6 months ago
Image-based Shaving
Many categories of objects, such as human faces, can be naturally viewed as a composition of several different layers. For example, a bearded face with glasses can be decomposed i...
Minh Hoai Nguyen, Jean-François Lalonde, Al...
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 6 months ago
Directional Dynamics along Arbitrary Curves in Cellular Automata
This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cell...
Martin Delacourt, Victor Poupet, Mathieu Sablik, G...
CORR
2010
Springer
112views Education» more  CORR 2010»
15 years 6 months ago
Efficient Approximation of Optimal Control for Markov Games
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
Markus Rabe, Sven Schewe, Lijun Zhang
CORR
2008
Springer
124views Education» more  CORR 2008»
15 years 6 months ago
Scheduling Kalman Filters in Continuous Time
A set of N independent Gaussian linear time invariant systems is observed by M sensors whose task is to provide the best possible steady-state causal minimum mean square estimate o...
Jerome Le Ny, Eric Feron, Munther A. Dahleh