252 search results - page 7 / 51 » Decidable Controller Synthesis for Classes of Linear Systems |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— Commonly, controllers for Linear ParameterVarying (LPV) systems are designed in continuous-time using a Linear Fractional Representation (LFR) of the plant. However, th...
AUTOMATICA
2007
13 years 9 months ago
2007
— Robust control synthesis of linear time-invariant SISO polytopic systems is investigated using the polynomial approach. A convex set of all stabilizing controllers for a polyto...
HYBRID
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
FSTTCS
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
CADE
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...