Membre
Fiche Membre
Composante(s) d’expertise Pôle associée(s)
Calcul garantiEco-conception et conception bio-inspirée
Expertises équipes
Analyse par intervalleArithmétique flottanteMéthode de conception préliminaireRevues internationales avec comité de lecture
- [1] A. Goldsztejn. A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner and Outer Estimation of AE-solution Set, in Reliable Computing, vol. 11, no. 6, pp. 443-478,
- [2] A. Goldsztejn. Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr Existence Tests, in Computing, vol. 79, no. 1, pp. 53-60,
- [3] G. Chabert, A. Goldsztejn. Extension of Hansen-Bliek's Method to Right-Quantified Linear Systems, in Reliable Computing, vol. 13, no. 4, pp. 325-349,
- [4] A. Goldsztejn, M. Rueher, M. Claude. Efficient Handling of Universally Quantified Inequalities, in Constraints, vol. 14, no. 1, pp. 117-135,
- [5] A. Goldsztejn, L. Granvilliers. A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions, in Constraints, vol. 15, no. 2, pp. 190-212, DOI
- [6] J. Normand, A. Goldsztejn, M. Christie, F. Benhamou. A Branch and Bound Algorithm for Numerical MAX-CSP, in Constraints, vol. 15, no. 2, pp. 213-237, DOI
- [7] A. Goldsztejn, L. Jaulin. Inner approximation of the range of vector-valued functions, in Reliable Computing, pp. 1-23,
- [8] A. Goldsztejn, W. Hayes, P. Collins. Tinkerbell Is Chaotic, in SIAM Journal on Applied Dynamical Systems, vol. 10, no. 4, pp. 1480-1501,
- [9] A. Goldsztejn, Y. Lebbah, C. Michel, M. Rueher. Capabilities of Constraint Programming in Safe Global Optimization, in Reliable Computing electronic edition, vol. 15, no. 1, pp. 47-59,
- [10] A. Goldsztejn. Modal Intervals Revisited Part 1: A Generalized Interval Natural Extension, in Reliable Computing electronic edition, vol. 16, pp. 130-183,
- [11] A. Goldsztejn. Modal Intervals Revisited Part 2: A Generalized Interval Mean-Value Extension, in Reliable Computing electronic edition, vol. 16, pp. 184-209,
- [12] D. Ishii, A. Goldsztejn, C. Jermann. Interval-Based Projection Method for Under-Constrained Numerical Systems, in Constraints, vol. 17, no. 4, pp. 432-460, DOI
- [13] B. Martin, A. Goldsztejn, L. Granvilliers, C. Jermann. Certified Parallelotope Continuation for One-Manifolds, in SIAM Journal on Numerical Analysis, vol. 51, no. 6, pp. 3373–3401,
- [14] M. Tannous, S. Caro, A. Goldsztejn. Sensitivity Analysis of Parallel Manipulators Using an Interval Linearization Method, in Mechanism and Machine Theory, vol. 71, pp. 93-114, DOI
- [15] A. Goldsztejn, J. Cruz, E. Carvalho. Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities, in Journal of Computational and Applied Mathematics, pp. 543-560,
- [16] B. Martin, A. Goldsztejn, L. Granvilliers, C. Jermann. On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach, in Journal of Global Optimization, vol. 64, no. 1, pp. 3-16,
- [17] S. Caro, D. Chablat, A. Goldsztejn, D. Ishii, C. Jermann. A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots, in Artificial Intelligence (AIJ), vol. 211, pp. 34-50, DOI
- [18] D. Ishii, N. Yonezaki, A. Goldsztejn. Monitoring Bounded LTL Properties Using Interval Analysis, in Electronic Notes in Theoretical Computer Science, vol. 317, pp. 85-100, DOI
- [19] A. Goldsztejn, C. Jermann, V. Ruiz de Angulo, C. Torras. Variable symmetry breaking in numerical constraint problems, in Artificial Intelligence (AIJ), vol. 229, pp. 105-125,
- [20] A. Goldsztejn, S. Caro, G. Chabert. A Three-step Methodology for Dimensional Tolerance Synthesis of Parallel Manipulators, in Mechanism and Machine Theory, vol. 105, pp. 213-234, DOI
- [21] D. Ishii, N. Yonezaki, A. Goldsztejn. Monitoring Temporal Properties Using Interval Analysis, in IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E99.A, no. 2, pp. 442-453, DOI
- [22] A. Goldsztejn, D. Ishii. A Parallelotope Method for Hybrid System Simulation, in Reliable Computing electronic edition, vol. 23, pp. 163-185,
- [23] A. Goldsztejn, F. Domes. A branch and bound algorithm for quantified quadratic programming, in Journal of Global Optimization, vol. 68, no. 1, pp. 1 – 22, DOI
- [24] B. Martin, A. Goldsztejn, L. Granvilliers, C. Jermann. Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization, in European Journal of Operational Research, vol. 260, no. 3, pp. 934-948, DOI
- [25] H. Purohit, A. Goldsztejn, F. Goualard, L. Granvilliers, C. Jermann, R. Jeyasenthil, P. Nataraj, B. Patil. Simultaneous automated design of structured QFT controller and prefilter using nonlinear programming, in International Journal of Robust and Nonlinear Control, vol. 27, no. 15, pp. 2529–2548, DOI
- [26] S. Briot, A. Goldsztejn. Topology Optimization of Industrial Robots: Application to a Five-bar Mechanism, in Mechanism and Machine Theory, vol. 120, pp. 30-56, DOI
- [27] A. Goldsztejn, G. Chabert. Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation, in Automatica, vol. 100, pp. 371-377, DOI
- [28] A. Marendet, A. Goldsztejn, G. Chabert, C. Jermann. A standard branch-and-bound approach for nonlinear semi-infinite problems, in European Journal of Operational Research, vol. 282, no. 2, pp. 438-452, DOI
- [29] A. Koessler, A. Goldsztejn, S. Briot, N. Bouton. Dynamics-based Algorithm for Reliable Assembly Mode Tracking in Parallel Robots, in IEEE Transactions on Robotics, vol. 36, no. 3, pp. 937-950, DOI
- [30] D. Monnet, A. Goldsztejn, F. Plestan. Generalization of the twisting convergence conditions to non-affine systems, in Automatica, pp. 110019, DOI
- [31] R. Garcia, A. Volkova, M. Kumm, A. Goldsztejn, J. Kühle. Hardware-aware Design of Multiplierless Second-Order IIR Filters with Minimum Adders, in IEEE Transactions on Signal Processing, vol. 70, pp. 1673-1686, DOI
- [32] S. Briot, A. Goldsztejn. Singularity Conditions for Continuum Parallel Robots, in IEEE Transactions on Robotics, vol. 38, no. 1, pp. 507-525, DOI
- [33] A. Colotti, D. Monnet, A. Goldsztejn, F. Plestan. New convergence conditions for the super twisting algorithm with uncertain input gain, in Automatica, vol. 143, pp. 110423, DOI
- [34] V. Di Paola, A. Goldsztejn, M. Zoppi, S. Caro. Analytic Centre Based Tension Distribution for Cable-Driven Platforms (CDPs), in Journal of Mechanisms and Robotics, vol. 16, no. 8, pp. 081018, DOI
- [35] C. Lu, Y. Li, A. Goldsztejn, Z. Hou, Y. Feng, Y. Feng. Discrete-Time General Nonlinear Robust Control: Stabilization With Closed-Loop Robust DOA Enlargement Based on Interval Analysis, in IEEE Transactions on Circuits and Systems I: Regular Papers, pp. 1-14, DOI
- [36] A. Colotti, J. García Fontán, A. Goldsztejn, S. Briot, F. Chaumette, O. Kermorgant, M. Safey El Din. Determination of All Stable and Unstable Equilibria for Image-Point-Based Visual Servoing, in IEEE Transactions on Robotics, vol. 40, pp. 3406-3424, DOI
- [37] C. Lu, A. Goldsztejn, Y. Li. Estimating the robust domain of attraction for difference inclusions using an interval Lyapunov equation, in Systems and Control Letters, vol. 193, pp. 105911, DOI
- [38] S. S., J. R., C. Jermann, A. Goldsztejn, T. Kobaku, V. Bussa. Enhanced Simultaneous Automatic Synthesis (SAS) of 2-DOF QFT Based Robust PID Controller Design for Servo Systems, in IEEE Transactions on Industrial Electronics, vol. 73, no. 2, pp. 1702-1713, DOI
Conférences internationales avec comité de lecture et actes
- [39] A. Goldsztejn, D. Daney, M. Rueher, P. Taillibert. Modal intervals revisited : a mean-value extension to generalized intervals, in In International Workshop on Quantification in Constraint Programming (International Conference on Principles and Practice of Constraint Programming, CP-2005), Barcelona, Espagne,
- [40] A. Goldsztejn. A branch and prune algorithm for the approximation of non-linear AE-solution sets, in 21st Annual ACM Symposium on Applied Computing, France, DOI
- [41] A. Goldsztejn, G. Chabert. A Generalized Interval LU Decomposition for the Solution of Interval Linear Systems, in Sixth International Conference on Numerical Methods and Applications, Bulgarie, DOI
- [42] A. Goldsztejn, L. Jaulin. Inner and Outer Approximations of Existentially Quantified Equality Constraints, in Twelfth International Conference on Principles and Practice of Constraint Programming, France, DOI
- [43] A. Goldsztejn, G. Chabert. On the approximation of linear AE-solution sets, in 12th GAMM – IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, Allemagne, DOI
- [44] A. Goldsztejn, W. Hayes. Rigorous Inner Approximation of the Range of Functions, in 12th GAMM – IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, Allemagne, DOI
- [45] A. Goldsztejn, L. Granvilliers. A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions, in CP, France,
- [46] F. Goualard, A. Goldsztejn. A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations, in Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT '08), Dunedin, Nouvelle-Zélande, DOI
- [47] A. Goldsztejn, C. Michel, M. Rueher. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities, in ACM symposium on Applied computing, Fortaleza, Ceara, Brésil,
- [48] J. Normand, A. Goldsztejn, M. Christie, F. Benhamou. A Branch and Bound Algorithm for Numerical MAX-CSP, in The 14th International Conference on Principles and Practice of Constraint Programming, Australie, DOI
- [49] A. Goldsztejn, Y. Lebbah, C. Michel, M. Rueher. Revisiting the upper bounding process in a safe Branch and Bound algorithm, in 14th International Conference on Principles and Practice of Constraint Programming, Sydney, Australie,
- [50] C. Pieter, A. Goldsztejn. The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems, in Second Workshop on Reachability Problems in Computational Models, Royaume-Uni,
- [51] A. Goldsztejn, Y. Lebbah, C. Michel, M. Rueher. Constraint Programming and Safe Global Optimization, in SCAN 2008, 3th GAMM – IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, El Paso, TX, états-Unis,
- [52] R. Chenouard, A. Goldsztejn, C. Jermann. Search Strategies for an Anytime Usage of the Branch and Prune Algorithm, in International Joint Conference on Artificial Intelligence, états-Unis,
- [53] D. Ishii, K. Ueda, H. Hosobe, A. Goldsztejn. Interval-based Solving of Hybrid Constraint Systems, in 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Espagne,
- [54] A. Goldsztejn, F. Goualard. Box consistency through Adaptive Shaving, in 25th Symposium On Applied Computing, Sierre, Suisse,
- [55] N. Berger, R. Soto, A. Goldsztejn, S. Caro, P. Cardou. Finding the Maximal Pose Error in Robotic Mechanical Systems Using Constraint Programming, in The Twenty Third International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA-AIE 2010), Cordoba, Espagne,
- [56] A. Goldsztejn, O. Mullier, D. Eveillard, H. Hosobe. Including Ordinary Differential Equations Based Constraints in the Standard CP Framework, in Principles and Practice of Constraint Programming, CP2010, St Andrews, Royaume-Uni,
- [57] A. Goldsztejn, C. Jermann, V. Ruiz de Angulo, C. Torras. Symmetry Breaking in Numeric Constraint Problems, in 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Italie,
- [58] B. Martin, A. Goldsztejn, L. Granvilliers, C. Jermann. Méthode de continuation par parallélépipèdes : application à l'optimisation globale continue bi-objectif, in Congrès annuel de la société française de recherche opérationnelle et d'aide à la décision (ROADEF), Unknown, région indéterminée,
- [59] D. Ishii, A. Goldsztejn, C. Jermann. Interval-based projection method for under-constrained numerical csps, in Annual meeting of JSSST, Unknown, région indéterminée,
- [60] S. Caro, D. Chablat, A. Goldsztejn, D. Ishii, C. Jermann. A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots, in 18th international conference on Principles and Practice of Constraint Programming, Québec City, Canada,
- [61] A. Goldsztejn, L. Granvilliers, C. Jermann. Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems, in 19th International Conference on Principles and Practice of Constraint Programming (CP'13), Suède,
- [62] B. Martin, A. Goldsztejn, C. Jermann, L. Granvilliers. On continuation methods for non-linear multi-objective optimization, in International conference on multiple criteria decision making (MCDM), Unknown, région indéterminée,
- [63] A. Goldsztejn, F. Goualard, L. Granvilliers, C. Jermann, R. Jeyasenthil, P. Nataraj, B. Patil, H. Purohit. Robust controller and pre-filter design using QFT and interval constraint techniques, in International workshop on constraint programming and decision making workshop (CoProd), Unknown, région indéterminée,
- [64] I. Salas, G. Chabert, A. Goldsztejn. The Non-overlapping Constraint between Objects Described by Non-linear Inequalities, in The 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France, DOI
- [65] A. Goldsztejn, G. Chabert, S. Caro. A New Methodology for Tolerance Synthesis of Parallel Manipulators, in IFToMM 2015, Taipei, Taïwan, DOI
- [66] S. Briot, A. Goldsztejn. Topology Optimization of a Reactionless Four-bar Linkage, in 7th IFToMM International Workshop on Computational Kinematics (CK2017), Poitiers, France, DOI
- [67] A. Koessler, A. Goldsztejn, S. Briot, N. Bouton. Certified Detection of Parallel Robot Assembly Mode under Type 2 Singularity Crossing Trajectories, in 2017 IEEE International Conference on Robotics and Automation (ICRA 2017), Singapour, Singapour, DOI
- [68] A. Goldsztejn, D. Ishii. HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis, in The 17th International Conference on Runtime Verification, Seatle, états-Unis, DOI
- [69] A. Goldsztejn, G. Chabert. Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation, in The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Tokyo, Japon, DOI
- [70] A. Goldsztejn, S. Caro, G. Chabert. A parametric Kantorovich theorem with application to tolerance synthesis, in The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Tokyo, Japon,
- [71] G. Chabert, A. Goldsztejn, C. Jermann. Solving under-constrained numerical constraint satisfaction problems with IBEX, in The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Tokyo, Japon,
- [72] G. Jeanneau, V. Begoc, S. Briot, A. Goldsztejn. R-Min: a Fast Collaborative Underactuated Parallel Robot for Pick-and-Place Operations, in IEEE 2020 International Conference on Robotics and Automation (ICRA 2020), Paris, France, DOI
- [73] S. Rohou, A. Bedouhene, G. Chabert, A. Goldsztejn, L. Jaulin, B. Neveu, V. Reyes, G. Trombettoni. Towards a Generic Interval Solver for Differential-Algebraic CSP, in CP 2020 – 26th International Conference on Principles and Practice of Constraint Programming, Louvain-la-Neuve, Belgique, DOI
- [74] A. Colotti, A. Cenedese, S. Briot, I. Fantoni, A. Goldsztejn. Stability Analysis and Reconfiguration Strategy for Multi-agent D-formation Control, in 23rd CISM IFToMM Symposium on Robot Design, Dynamics and Control (RoManSy 2020), Sapporo, Japon, DOI
- [75] R. Garcia, A. Volkova, A. Goldsztejn. A New Model for the Multiple Constant Multiplication Problem, in ROADEF 2022: 23ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Lyon, France,
- [76] R. Garcia, A. Volkova, A. Goldsztejn. A New Model for the Multiple Constant Multiplication Problem, in 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Villeurbanne – Lyon, France,
- [77] S. Briot, A. Goldsztejn. Singularity Conditions for Continuum Parallel Robots, in 2022 IEEE International Conference on Robotics and Automation (ICRA 2022), Philadelphia, états-Unis,
- [78] A. Colotti, A. Goldsztejn. Practical stability and attractors of systems with bounded perturbations, in 2022 IEEE 61st Conference on Decision and Control (CDC), Cancun, Mexique, DOI
- [79] D. Monnet, A. Goldsztejn, F. Plestan, C. Audet. Second order sliding mode twisting controller tuning based on two-level optimization process, in Conference on Decision and Control, Cancun, Mexique,
- [80] R. Vimbert, M. Porez, A. Colotti, A. Goldsztejn, C. Chevallereau. Study of the Basin of Attraction in Bird Passive Balance, in Living Machines, Scheffield, Royaume-Uni,
Conférences nationales avec comité de lecture et actes
- [81] A. Goldsztejn, C. Michel, M. Rueher. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities, in JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Nantes, France,
- [82] M. Rueher, A. Goldsztejn, Y. Lebbah, C. Michel. Capabilities of Constraint Programming in Rigorous Global Optimization, in 2008 International Symposium on Nonlinear Theory and its Applications, Hongrie,
- [83] A. Goldsztejn, W. Hayes. A New Containment Method For Rigorous Shadowing, in International Conference on SCIentific Computation And Differential Equations, France,
- [84] I. Salas, G. Chabert, A. Goldsztejn. Contrainte de non-chevauchement entre objets décrits par des inégalités non-linéaires, in Journées Francophones de Programmation par Contraintes (JFPC), Angers, France,
Ouvrages – Chapitres d'ouvrages et directions d'ouvrages
- [85] C. Grandón, A. Goldsztejn. Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified Constraint,
Theses et HDR
Autres publications
- [87] A. Goldsztejn. Manifold approximation of set-valued functions,
- [88] A. Goldsztejn. Modal Intervals Revisited Part 1: A Generalized Interval Natural Extension,
- [89] A. Goldsztejn. Modal Intervals Revisited Part 2: A Generalized Interval Mean-Value Extension,
- [90] A. Goldsztejn. Sensitivity Analysis Using a Fixed Point Interval Iteration,
- [91] A. Goldsztejn, A. Neumaier. On the Exponentiation of Interval Matrices,
- [92] B. Martin, A. Goldsztejn, L. Granvilliers, C. Jermann. On Continuation Methods for Non-Linear Bi-Objective Optimization: Certified Interval-Based Approach,
- [93] B. Martin, A. Goldsztejn, C. Jermann, L. Granvilliers. On continuation methods for non-linear multi-objective optimization,
- [94] D. Ishii, A. Goldsztejn, C. Jermann. Computation of generalized aspect of parallel manipulators,
- [95] R. Garcia, A. Volkova, A. Goldsztejn. Design of optimal multiplierless digital filters,
- [96] V. Di Paola, A. Goldsztejn, M. Zoppi, S. Caro. Analytic Center Based Tension Distribution for Cable-Driven Platforms (CDPs),
- [97] R. Garcia, A. Goldsztejn. A computer-assisted proof that e is rational,
- [98] R. Vimbert, M. Porez, A. Colotti, A. Goldsztejn, C. Chevallereau. Basin of Attraction in Bird Passive Balance, in Living Machines, Scheffield, Royaume-Uni,
- [99] A. Goldsztejn. Optimality Conditions for Multivariate Chebyshev Approximation: A Survey,
Pas de projets référencées pour l’instant
Pas de plateformes référencées pour l’instant
Pas de logiciels de référencés pour l’instant
