5707 search results - page 7 / 1142 » Symbolic Simulation - Techniques and Applications |
VTS
1995
IEEE
15 years 1 months ago
1995
IEEE
SENSYS
2010
ACM
14 years 7 months ago
2010
ACM
PTS
2010
14 years 8 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
65
Voted
MS
2003
14 years 11 months ago
2003
This paper explores the potential of acausal modelling tools for a simple, but challenging process engineering benchmark problem. Matlab/Simulink illustrates a traditional block d...