276 search results - page 40 / 56 » Bisimulation Relations for Dynamical and Control Systems |
SCP
2008
13 years 7 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper examines the dynamics of a networked multi-agent system operating with a consensus-type coordination algorithm that can be influenced by external agents. We refer to thi...
SSS
2007
Springer
14 years 1 months ago
2007
Springer
Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
—The paper proposes a framework for modeling and analysis of the dynamics of supply, demand, and clearing prices in power system with real-time retail pricing and information asy...
COOPIS
2002
IEEE
14 years 16 days ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...