5200 search results - page 62 / 1040 » Symbolic models for control systems |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Previous work (Kouvaritakis et al., 1992) proposed
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
AUTOMATICA
1999
13 years 8 months ago
1999
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— In this paper, a novel switching controller is proposed for a networked visual servo control system with varying feedback delay due to image processing and data transmission. T...
FORMATS
2004
Springer
14 years 2 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...