Sciweavers

271 search results - page 28 / 55
» Using Fuzzy Logic in Automated Vehicle Control
Sort
View
CEC
2007
IEEE
13 years 11 months ago
Three-dimensional offline path planning for UAVs using multiobjective evolutionary algorithms
In this paper, we present 3D offline path planner for Unmanned Aerial Vehicles (UAVs) using Multiobjective Evolutionary Algorithms for finding solutions corresponding to conflictin...
Shashi Mittal, Kalyanmoy Deb
GIS
2007
ACM
14 years 8 months ago
Environmental scenario search and visualization
We have developed Environmental Scenario Search Engine (ESSE) for parallel data mining of a set of conditions inside distributed, very large databases from multiple environmental ...
Mikhail N. Zhizhin, Eric A. Kihn, Vassily Lyutsare...
HYBRID
2001
Springer
14 years 3 days ago
Hybrid I/O Automata Revisited
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
14 years 1 months ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning
LICS
2010
IEEE
13 years 6 months ago
Polarity and the Logic of Delimited Continuations
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
Noam Zeilberger