Sciweavers

3053 search results - page 321 / 611
» Hybrid Systems Diagnosis
Sort
View
ATAL
2006
Springer
15 years 10 months ago
A stochastic language for modelling opponent agents
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
Gerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. S...
ATVA
2008
Springer
148views Hardware» more  ATVA 2008»
15 years 8 months ago
Decidable Compositions of O-Minimal Automata
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
Alberto Casagrande, Pietro Corvaja, Carla Piazza, ...
OWLED
2007
15 years 8 months ago
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...
Rolf Grütter, Bettina Bauer-Messmer
IJRR
2010
120views more  IJRR 2010»
15 years 4 months ago
Bounding with Active Wheels and Liftoff Angle Velocity Adjustment
The bounding gait for the Platform for Ambulating Wheels (PAW), a new and unique hybrid wheeled-leg system is presented here. Two hypotheses are tested and discussed: first, that ...
James Andrew Smith, Ioannis Poulakakis, Michael Tr...
AISS
2010
155views more  AISS 2010»
15 years 1 months ago
A Next Generation Smart Energy Technology
This paper has focused on the integration of Hybrid Renewable Energy, specifically the solar energy resources into conventional electric grid and deployment of smart architecture ...
Aurobi Das, V. Balakrishnan