5200 search results - page 246 / 1040 » Symbolic models for control systems |
NDSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— A Model Predictive Control (MPC) -based approach is presented for autonomous path following via Active Front Steering (AFS). We start from the Nonlinear MPC (NMPC) prob...
INFORMATICALT
2002
13 years 9 months ago
2002
We study the stochastic model for bioremediation in a bioreactor with ideal mixing. The dynamics of the examined system is described by stochastic differential equations. We consid...
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...