1087 search results - page 101 / 218 » Achieving Distributed Control through Model Checking |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
ISMB
1997
13 years 10 months ago
1997
Protein chimerism is a phenomenon involving the combination of multiple ancestral sequences into a single, multi-domain protein through evolution. We propose a novel method for de...
MEMOCODE
2006
IEEE
14 years 3 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...