Sciweavers

ACTA
2007
114views more  ACTA 2007»
13 years 3 months ago
Hybridization methods for the analysis of nonlinear systems
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
Eugene Asarin, Thao Dang, Antoine Girard
ACTA
2007
106views more  ACTA 2007»
13 years 3 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
ACTA
2007
62views more  ACTA 2007»
13 years 3 months ago
Representation and uniformization of algebraic transductions
Abstract This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies m...
Stavros Konstantinidis, Nicolae Santean, Sheng Yu
ACTA
2007
54views more  ACTA 2007»
13 years 3 months ago
On the tree-transformation power of XSLT
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
Wim Janssen, Alexandr Korlyukov, Jan Van den Bussc...