385 search results - page 7 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
CDC
2009
IEEE
14 years 8 days 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...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
HYBRID
2009
Springer
14 years 5 days ago
2009
Springer
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...