252 search results - page 22 / 51 » Decidable Controller Synthesis for Classes of Linear Systems |
CDC
2009
IEEE
14 years 16 days ago
2009
IEEE
— In this paper, adaptive control is presented for a class of parametric output feedback nonlinear systems with output constraint. Adaptive observer backstepping is adopted to ac...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
OOPSLA
1990
Springer
13 years 12 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...