5707 search results - page 7 / 1142 » Symbolic Simulation - Techniques and Applications |
VTS
1995
IEEE
13 years 11 months ago
1995
IEEE
SENSYS
2010
ACM
13 years 5 months ago
2010
ACM
PTS
2010
13 years 6 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
14 years 2 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...
MS
2003
13 years 9 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...