168 search results - page 7 / 34 » Nominal System T |
SIAMCO
2011
13 years 2 months ago
2011
Given a nominal plant, together with a fixed neighborhood of this plant, the problem of robust stabilization is to find a controller that stabilizes all plants in that neighborh...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract-- The output-feedback control problem for nonlinear systems with state and input delays is addressed. Both state and input delays are allowed to be time-varying and uncert...
EMNLP
2006
13 years 9 months ago
2006
This paper explores the use of two graph algorithms for unsupervised induction and tagging of nominal word senses based on corpora. Our main contribution is the optimization of th...
ENTCS
2011
12 years 11 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...