Zobrazeno 1 - 10
of 131
pro vyhledávání: '"Goldsztejn, Alexandre"'
Autor:
Goldsztejn, Alexandre
We review state-of-the-art optimality conditions of multivariate Chebyshev approximation, including, from oldest to newest, Kirchberger's kernel condition, Kolmogorov criteria, Rivlin and Shapiro's annihilating measures. These conditions are then re-
Externí odkaz:
http://arxiv.org/abs/2310.01851
Publikováno v:
In Systems & Control Letters November 2024 193
In this work, we optimally solve the problem of multiplierless design of second-order Infinite Impulse Response filters with minimum number of adders. Given a frequency specification, we design a stable direct form filter with hardware-aware fixed-po
Externí odkaz:
http://arxiv.org/abs/2108.01565
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ishii, Daisuke, Goldsztejn, Alexandre
We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis techniques so that a trajectory is enclosed sharply within a set of int
Externí odkaz:
http://arxiv.org/abs/1712.00570
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEICE Trans. Fundamentals, vol. E99-A, no. 2, pp. 442-453, Feb. 2016
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of continuous systems. In this paper, we propose an interval method that verifies the properties described by a bounded signal temporal logic. We relax th
Externí odkaz:
http://arxiv.org/abs/1602.02387
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of hybrid systems. In this paper, we propose an interval method for verifying the properties described by a bounded linear temporal logic. We relax the pr
Externí odkaz:
http://arxiv.org/abs/1506.01762
Autor:
Goldsztejn, Alexandre
La théorie des intervalles permet de construire des sur-ensembles du domaine de variation d'une fonction réelle. Ainsi, de manière très naturelle, elle permet de construire une approximation extérieure de l'ensemble des solutions d'un système d
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00011922
http://tel.archives-ouvertes.fr/docs/00/06/14/23/PDF/Goldsztejn-2005-PhD_thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/06/14/23/PDF/Goldsztejn-2005-PhD_thesis.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.