900 search results - page 4 / 180 » On the observational theory of the CPS-calculus |
JOCN
2011
12 years 12 months ago
2011
■ Humans commonly understand the unobservable mental states of others by observing their actions. Embodied simulation theories suggest that this ability may be based in areas of...
AUTOMATICA
2010
13 years 9 months ago
2010
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
UTP
2010
13 years 7 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
AUTOMATICA
2002
13 years 9 months ago
2002
We are interestedin a newclassof optimal control problemsfor DiscreteEvent Systems (DES). Weadopt theformalismof supervisorycontrol theory 10] andmodel thesystemas a nitestatemach...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper investigates how to "observe" a planar object being pushed by a finger. The pushing is governed by a nonlinear system that relates through contact the object ...