665 search results - page 18 / 133 » The Theory of Hybrid Automata |
FCT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
ATVA
2006
Springer
14 years 11 days ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Topological dynamics of cellular automata (CA), inherited from classical dynamical systems theory, has been essentially studied in
ACL
1989
13 years 9 months ago
1989
A novel formalism is presented for Earley-like parsers. It accommodates the simulation of non-deterministic pushdown automata. In particular, the theory is applied to non-determin...
FCT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...