5600 search results - page 39 / 1120 » Synthesizing robust systems |
ENTCS
2007
13 years 7 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
ICRA
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper is devoted to the problem of nonlinear robust control design for Underwater Vehicle/Manipulator (UVM) systems composed of a freefloating platform equipped with a robot ...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
CDC
2009
IEEE
2009
IEEE
Set-membership identification based adaptive robust control of systems with unknown parameter bounds
14 years 13 days ago
HOTDEP
2008
13 years 10 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...