393 search results - page 32 / 79 » Physical design: mathematical models and methods |
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...
SIMULATION
2011
13 years 4 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
ICCSA
2003
Springer
14 years 3 months ago
2003
Springer
The 3D evaluation of design shapes is an essential step in product styling. Thus, physical models of final-stage design alternatives have been made in tradition, and recently the ...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
AR
2005
13 years 9 months ago
2005
An important component of compliant motion control is the estimation of contact states during task execution. This paper addresses two fundamental questions that must be answered w...