17054 search results - page 254 / 3411 » Logics of Dynamical Systems |
169
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...
226
click to vote
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
Distributed systems based on cluster of workstation are more and more difficult to manage due to the increasing number of processors involved, and the complexity of associated appl...
168
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
In software evolution research logical coupling has extensively been used to recover the hidden dependencies between source code artifacts. They would otherwise go lost because of...
260
click to vote
AC
1992
Springer
15 years 11 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
194
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...