5200 search results - page 312 / 1040 » Symbolic models for control systems |
180
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
A control system architecture is described for an autonomous flying vehicle. The vehicle, equipped with fourteen sensors, uses a model helicopter as an airframe. The control syste...
167
click to vote
ETRICS
2006
15 years 9 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
164
click to vote
RAS
2006
15 years 6 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
163
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
This paper discusses the design of a working system that visually recognizes hand gestures for the control of a window based user interface. We present a method for tracking the fi...
160
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a novel approach we call partitioning where the robot's degrees- of-freedom (D OF) are categorized into two classes based on joint kinematics and dynamics to desig...