12774 search results - page 350 / 2555 » A Framework for Proof Systems |
166
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
171
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— MIMO channels and wireless communications systems have generated a great deal of renewed interest in linear system theory. This paper presents two results. The first i...
164
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we study the equilibrium regulation of potentially unstable linear systems with an unknown input time-delay and unknown parameters in the plant. We extend recent res...
157
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The topology of a networked control system has critical consequences for its performance. We provide first substantial examples on the effects of topology. Then we proceed to ...
160
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...