7778 search results - page 318 / 1556 » Designing Controllers for Reachability |
157
click to vote
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
127
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Design-to-Criteria builds custom schedules for agents that meet hard temporal constraints, hard resource constraints, and soft constraints stemming from soft task interactions or ...
144
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
129
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— This paper reports an overview of the navigation and control system design for the new Nereus hybrid underwater robotic vehicle (HROV). Vehicle performance during its first se...
142
click to vote
AAAI
2004
15 years 6 months ago
2004
In this paper, we discuss the role of emotions in AI and possible ways to determine their utility for the design of artificial agents. We propose a research methodology for determ...