Buscar
Mostrando ítems 1-10 de 219
Analysis of a class of complex system without equilibria via switched control law
(International Federation of Automatic Control, 2019)
A uniform framework for substructural logics with modalities
(Easy Chair, 2017-05-04)
It is well known that context dependent logical rules can be problematic both to implement and
reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical
systems. In this work we ...
A Prototype for linear features generalization
A computer application designed to generalize linear elements in a vector formatted cartographic set by means of two of the most contrasted line generalization algorithms, Douglas-Peucker simplification and Bézier curves ...
On concurrent behaviors and focusing in linear logic
(Elsevier, 2017)
A class of Chua-like systems with only two saddle-foci of different type
(International Federation of Automatic Control, 2019)