7778 search results - page 198 / 1556 » Designing Controllers for Reachability |
160
click to vote
OMER
2001
15 years 5 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
114
click to vote
ESANN
2000
15 years 5 months ago
2000
Using a nonlinear 15-state helicopter model in 6 DOF, two di erent neural control systems, both acting as rate damping, have been designed and compared. They are both based on the ...
126
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
116
Voted
ENTCS
2002
15 years 3 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
123
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we investigate the cell design of bacteria during the exponential growth. To this purpose, we propose to formulate the problem as a non differentiable convex optimiz...