Sciweavers

3818 search results - page 366 / 764
» Word Problems on Compressed Words
Sort
View
AI
2007
Springer
15 years 6 months ago
Subjective logic and arguing with evidence
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...
Nir Oren, Timothy J. Norman, Alun D. Preece
AI
2007
Springer
15 years 6 months ago
Metatheory of actions: Beyond consistency
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
Andreas Herzig, Ivan José Varzinczak
AUTOMATICA
2008
114views more  AUTOMATICA 2008»
15 years 6 months ago
A synthesis approach for output feedback robust constrained model predictive control
This paper addresses the synthesis approach to output feedback robust model predictive control for systems with polytopic description, bounded state disturbance and measurement no...
BaoCang Ding, YuGeng Xi, Marcin T. Cychowski, Thom...
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
15 years 6 months ago
Active mode observability of switching linear systems
In this paper active mode observability is addressed for a class of discrete-time linear systems that may switch in an unknown and unpredictable way among different modes taken f...
Marco Baglietto, Giorgio Battistelli, Luca Scardov...
AUTOMATICA
2008
86views more  AUTOMATICA 2008»
15 years 6 months ago
Notes on averaging over acyclic digraphs and discrete coverage control
In this paper we study averaging algorithms and coverage control laws in a unified light. First, we characterize the convergence properties of averaging algorithms over acyclic di...
Chunkai Gao, Jorge Cortés, Francesco Bullo