252 search results - page 6 / 51 » Decidable Controller Synthesis for Classes of Linear Systems |
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
RP
2010
Springer
13 years 6 months ago
2010
Springer
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
For a general class of robots with elastic joints, we introduce an inversion algorithm for the synthesis of a dynamic feedback control law that gives input-output decoupling and f...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
An approach to estimation for a class of hybrid discrete-time linear systems using Luenberger observers is presented. The proposed Luenberger observer for such a kind of systems re...
AUTOMATICA
2005
13 years 8 months ago
2005
In recent years, several results have been proposed on global stabilization of a class of nonlinear systems that are dominated by a triangular system satisfying the linear growth ...