304 search results - page 3 / 61 » A Multi-Context System Computing Modalities |
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
EPIA
1999
Springer
13 years 9 months ago
1999
Springer
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
TIM
2010
12 years 12 months ago
2010
A distributed telerobotic system is proposed based on a master-arm station that is interconnected by a computer network to a slave-arm station. The distributed telerobotic system i...
ICTAC
2009
Springer
13 years 11 months ago
2009
Springer