1398 search results - page 44 / 280 » Ensuring Properties of Interaction Systems |
128
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
In the past decade, moving horizon estimation (MHE) has emerged as a powerful technique for estimating the state of a dynamical system in the presence of nonlinearities and disturb...
106
click to vote
TCS
2010
15 years 10 days ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
115
click to vote
AAAI
2006
15 years 3 months ago
2006
This paper considers a distributed system of software agents who cooperate in helping their users to find services, provided by different agents. The agents need to ensure that th...
107
click to vote
USAB
2007
15 years 3 months ago
2007
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
141
click to vote
VR
2008
IEEE
15 years 12 days ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...