2838 search results - page 252 / 568 » Verifying Controlled Components |
107
click to vote
AUTOMATICA
2006
15 years 2 months ago
2006
A navigation functions' based methodology, established in our previous work for centralized multiple robot navigation, is extended to address the problem of decentralized nav...
102
click to vote
ENTCS
2007
15 years 2 months ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
143
click to vote
JSA
2008
15 years 2 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
108
Voted
EUROMED
2010
15 years 1 months ago
2010
Abstract. We explain our approach for verifying the accuracy of 3D CG manual modeling of the Citadel of Bam, which is an architectural heritage site destroyed by an earthquake in 2...