2838 search results - page 252 / 568 » Verifying Controlled Components |
88
Voted
AUTOMATICA
2006
15 years 27 days 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...
91
Voted
ENTCS
2007
15 years 24 days 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...
87
Voted
TASE
2008
IEEE
15 years 23 days 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...
123
Voted
JSA
2008
15 years 10 days 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...
EUROMED
2010
14 years 11 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...