2650 search results - page 107 / 530 » Simulation and Control of Reactive Systems |
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
CDC
2009
IEEE
14 years 2 months 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...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper presents a control for state-constrained nonlinear systems in strict feedback form to achieve output tracking. To prevent states from violating the constraints, we e...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstaclefree environment. Plans considered admit a finite description l...