Sciweavers

6474 search results - page 429 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
COMPSAC
2004
IEEE
15 years 10 months ago
Modular Design of Reactive Systems
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
CODES
2001
IEEE
15 years 10 months ago
A practical tool box for system level communication synthesis
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
Denis Hommais, Frédéric Pétro...
ICRA
2002
IEEE
97views Robotics» more  ICRA 2002»
15 years 12 months ago
Obstacle Detection in Smooth High Curvature Terrain
Detection of obstacles for autonomous vehicles is more difficult when the terrain is not locally planar and remains an open problem. We have developed an approach suited for obsta...
Parag H. Batavia, Sanjiv Singh
ICRA
2000
IEEE
124views Robotics» more  ICRA 2000»
15 years 11 months ago
Vision-Based Dynamic Estimation and Set-Point Stabilization of Nonholonomic Vehicles
In this paper, a nonhonolonomic vehicle is stabilized to a desired pose through a wisual servoing technique. The vision-based regulation of the nonholonomic vehicle, we propose, i...
Fabio Conticelli, Domenico Prattichizzo, Federico ...
208
Voted
QSIC
2005
IEEE
16 years 16 days ago
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
Haruhiko Kaiya, Motoshi Saeki