Sciweavers

838 search results - page 80 / 168
» autonomics 2007
Sort
View
ATVA
2007
Springer
153views Hardware» more  ATVA 2007»
14 years 4 months ago
Continuous Petri Nets: Expressive Power and Decidability Issues
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
Laura Recalde, Serge Haddad, Manuel Silva
GECCO
2007
Springer
172views Optimization» more  GECCO 2007»
14 years 4 months ago
A simulation of evolved autotrophic reproduction
In this experiment we evolve reproductive behaviors for a simulated vehicle. Future work will employ the resulting behaviors to populate a simulated ecosystem. Categories and Subj...
Correy Allen Kowall, Brian J. Krent
HYBRID
2007
Springer
14 years 4 months ago
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems
Abstract. A measure differential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...
Kerim Yunt, Christoph Glocker
LPNMR
2007
Springer
14 years 4 months ago
An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
Edgardo Ferretti, Marcelo Errecalde, Alejandro Jav...
SAT
2007
Springer
126views Hardware» more  SAT 2007»
14 years 4 months ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy