900 search results - page 20 / 180 » On the observational theory of the CPS-calculus |
TASE
2009
IEEE
14 years 4 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
Cybernetics, among its more general definitions, is about effective governance of dynamic probabilistic systems. First order cybernetics is concerned with [software] processes gov...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
This conceptual paper suggests how Politeness Theory [6] – well known in anthropological and linguistic literatures – can contribute to the study of role relations in computer...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— This paper deals with realization theory of socalled Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is...
TROB
2002
13 years 9 months ago
2002
This paper describes how decentralized control theory can be used to analyze the control of multiple cooperative robotic vehicles. Models of cooperation are discussed and related t...