252 search results - page 24 / 51 » Decidable Controller Synthesis for Classes of Linear Systems |
JDCTA
2010
13 years 2 months ago
2010
This paper presents a new method for solving a class of infinite horizon nonlinear optimal control problems. In this method, first the original optimal control problem is transfor...
AUTOMATICA
2010
13 years 6 months ago
2010
One of the important issues in networked control systems is the appropriate handling of the nonlinearities arising from uncertain time-varying delays. In this paper, using the Cay...
HYBRID
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
AUTOMATICA
2005
13 years 7 months ago
2005
This paper considers actuator redundancy management for a class of overactuated nonlinear systems. Two tools for distributing the control effort among a redundant set of actuators...
EAAI
2007
13 years 7 months ago
2007
An integrated modeling and robust model predictive control (MPC) approach is proposed for a class of nonlinear systems with unknown steady state. First, the nonlinear system is id...