749 search results - page 11 / 150 » Combinatory Models and Symbolic Computation |
ECUMN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
APN
2009
Springer
14 years 1 months ago
2009
Springer
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
AUTOMATICA
2008
13 years 10 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
SPIN
2000
Springer
14 years 1 months ago
2000
Springer