El Dr. Retckiman Konigsberg obtuvo el título de Ingeniero Electromecánico con mención honorífica en la Universidad Nacional Autónoma de México, con la tesis titulada: Design and Construction of a Computer Controlled Robot (1977-1982). Se graduó como Maestro en Ciencias en el Weizmann Institute of Science, Israel, (1986-1988), también obtuvo el grado de M. en C. en Electrical Engineering (at the Polytechnic Institute of Brooklyn, NY, USA) (1989). Se graduó como Doctor en Ingeniería Eléctrica en el Centro de Investigación y de Estudios Avanzados del IPN, con la tesis ‘Output Tracking for Nonlinear Systems, en 1993. De 1994 a 1995 realizó una estancia posdoctoral en la Universidad Politécnica de Brooklyn, New York. Ha realizado 3 estancias sabáticas una en la Universidad de Arhus (Dinamarca) , la otra en la Universidad de Duisburg - Essen (Alemania) y la tercera en la Universidad de Tel Aviv, (Israel) . El Dr. Retchkiman funge como revisor de Mathematical Reviews de la American Mathematical Society y su numero de Erdos es 3.
Dr. en Polytechnic Institute of Brooklyn, N,Y. U.S.A. (1995)
Dr. en Ingeniería Eléctrica, Cinvestav, IPN (1993)
M. en C. en Electrical Engineering at the Polytechnic Institute of Brooklyn, NY, USA (1989)
M. en C. en Theoretical Mathematics, Weizmann Institute of Science, (1988)
Ing. en Ingeniería Electromecánica, UNAM (1982)
Nivel SNII:
I (2020-2021 )
Email:
mzvi@cic.ipn.mx
Extensión(es):
56598
| Programas Académicos | |
|---|---|
| MCC - Inteligencia Artificial y Cómputo Científico | Tiempo Parcial |
| DCC - Inteligencia Artificial y Cómputo Científico | Tiempo Parcial |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A Logical Deductive Approach to Analyze and Synthesize a Class of Linguistic Expressions Using Rabbi Moshe Chaim Luzzatto 21 Logical Names | Computación y Sistemas | 2023-10-01 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability | Computación y Sistemas | 2021-01-01 | |
| Modeling and verification analysis of ecological systems via a first order logic approach | Computacion y Sistemas | 2021-04-01 | |
| Modelling and verification analysis of cooperative and non-cooperative games via a modal logic approach | Computación y Sistemas | 2021-07-01 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Axiomatization, computability and stability for discrete event time algorithms | Computación y Sistemas | 2020-10-01 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Computability equivalence of an extended Petri net model | Applied Mathematical Sciences | 2016-08-01 | |
| Kleene's normal form theorem for arithmetical petri nets | International Journal of Pure and Applied Mathematics | 2016-07-01 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A NOTE ON THE CANTOR-SCHROEDER-BERNSTEIN THEOREM AND ITS PROOF WITHOUT WORDS | International Electronic Journal of Pure and Applied Mathematics | 2015-01-01 | |
| The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra | Journal of Applied Mathematics and Physics | 2015-07-01 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| The modeling and stability problem for a communication channel system with transmitter breakdown | International Journal of Pure and Applied Mathematics | 2014-07-12 | |
| The modeling and stability problem for a communication network system | Neural, Parallel and Scientific Computations | 2014-12-01 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A generalized eigenmode algorithm for reducible regular matrices over the max-plus algebra with applications to the metro-bus public transport system in mexico city | Neural Parallel and Scientific Computations | 2009-00-00 | |
| Modeling the game of ARIMAA using linguistic geometry | International Mathematical Forum | 2009-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A combinatorial game mathematical strategy plan procedure for a class of chess endgames | Nonlinear analysis:hybrid systems, elsevier | 2008-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A combinatorial Game Mathematical Chekmate Control Procedure for a Class of Chess Endgames | International Mathematical Forum | 2007-00-00 | |
| A vector lyapunov approach to the stability problem for the n-population continuous time replicator dynamics | International Mathematical Forum | 2007-00-00 | |
| Decision process systems: modeling, analysis and optimization | Neural, parallel and scientific computations | 2007-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Business process modeling and validation using decision process petri nets | Neural, parallel and scientific computations | 2006-00-00 | |
| Integer factorization and twin primes verification algorithms | International Journal of Pure and Applied Mathematics | 2006-00-00 | |
| Modeling stability and regulation for genomical dynamical systems | International Journal of Pure and Applied Mathematics | 2006-00-00 | |
| Primes and twin primes generator algorithms | International Mathematical Journal | 2006-00-00 | |
| Primes and twin primes verification and genarator algorithms | International Journal of Pure and Applied Mathematics | 2006-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Decision process petri nets: analysis and optimization | International Journal of Hybrid Systems | 2005-00-00 | |
| Stability theory for a class of dynamical systems modeled with petri nets | Neural Parallel and Scientific Computations | 2005-00-00 | |
| Switching modeling, stability and regulation for biological systems genomics | International Journal of Hybrid Systems | 2005-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Modeling, stability and regulation for a class of dynamical systems with switching inputs | International Journal of Pure and Applied Mathematics | 2004-00-00 | |
| To become unstable can be a good dynamical property | International Journal of Pure and Applied Mathematics | 2004-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Modeling and stability analysis for a class of dynamical systems with switching inputs | International Journal of Pure and Applied Mathematics | 2003-00-00 | |
| Modeling, stability and regulation of fuzzy ruledbased systems | International Mathematical Journal | 2003-00-00 | |
| Practical stability of a class of discrete event systems modeled by coloured petri nets using lyapunov and comparison methods | International Journal of Pure and Applied Mathematics | 2003-00-00 | |
| Stability analysis of difference equations and its application to discrete event systems modeled with petri nets | International Mathematical Journal | 2003-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Business process modeling and verification a case study | Communications in Applied Analysis | 2002-00-00 | |
| Modeling, stability and regulation of a distillation column using colored petri nets and lyapunov methods | International Journal of Computational and Numeric | 2002-00-00 | |
| Modeling, stability and regulation of a liquid tank system using colored petri nets and lyapunov methods | International Mathematical Journal | 2002-00-00 | |
| Modeling, stability and regulation of an hybrid system. a case study the distillation column | International Journal of Differential Equations and Applications | 2002-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A vector lyapunov function approach for the stabilization of discrete event systems | International Journal of Applied Mathematics | 2001-01-01 | |
| Performance achievement problem for a class of discrete event systems modeled with placetransitions petri nets using lyapunov methods | International Journal of Mathematics | 2001-00-00 | |
| The load balancing problem with timed delays | International Journal of Differential Equations and Applications | 2001-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Modeling and stability analysis of a liquid tank | International Journal of Applied Mathematics | 2000-00-00 | |
| Modeling, stability, regulation and verification of a distillation column based on an expert controller | International Journal of Applied Mathematics | 2000-00-00 | |
| Stability and stabilization techniques for discrete event systems modeled by coloured petri nets | International Journal of Applied Mathematics | 2000-00-00 | |
| The load balancing problem | International Journal of Applied Mathematics | 2000-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A vector lyapunov function approach for the stabilization of nonlinear systems | Neural, parallel and scientific computations | 1998-01-01 | |
| Stability analysis of singularly perturbed systems via vector lyapunov method | Dynamic systems and applications | 1998-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Asymptotic output tracking through singular points for nonlinear systems stability, disturbance rejection and robustness | Dynamic systems and applications | 1997-00-00 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Computability and stability for hybrid algorithms | 10th International Conference on Swarm Intelligence, ICSI 2019 | 2019-07-26 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Modelling and verification analysis of the predator-prey system via a modal logic approach | 9th International Conference on Swarm Intelligence, ICSI 2018 | 2018-06-17 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| Modelling and verification analysis of the predator-prey system via a first order logic approach | 8th International Conference on Swarm Intelligence, ICSI 2017 | 2017-07-27 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A Generalized Eigenmode Algorithm for Reducible Regular Matrices over the Max-Plus Algebra | Chinese Control and Decisión Conference | 2009-06-17 | |
| Modeling and Analysis of the Metro-Bus Public Transport System in Mexico City using Timed Event Petri Nets and Max-Plus Algebra | IMACS-MODSIM09 World Congress | 2009-07-13 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A combinatorial Game Mathematical Chekmate Control Procedure for a Class of Chess Endgames | Chinese Control and Decisión Conference | 2008-07-02 | |
| Modeling and Analysis of the Metro-Bus Public Transport System in Mexico City using Timed Event Petri Nets and Max-Plus Algebra | Intelligent Systems and Control | 2008-11-16 |
| Título | Descripción | Fecha | |
|---|---|---|---|
| A vector Lyapunov function approach for the stabilization of discrete event systems | 2000 Americal Control Conference; Code 57635 | 2000-06-28 |
| Título | Rol | |
|---|---|---|
| Axiomatización, cómputo y estabilidad para algoritmos a eventos discretos | Responsable técnico |
| Título | Rol | |
|---|---|---|
| Algoritmos Analogicos | Responsable técnico |
| Título | Rol | |
|---|---|---|
| MODELACION Y VALIDACION DE SISTEMAS DINAMICOS MEDIANTE UN ENFOQUE DE LOGICAS DE PRIMER ORDEN | Responsable técnico |
| Título | Rol | |
|---|---|---|
| Mente Humana vs Maquina via Jerarqia Aritmetica de Kleene, Paradigmas de Computo, Complejidad Computacional, Probadores Mecanicos de Teoremas, Juegos y Aspectos Filosoficos | Responsable técnico |
| Título | Rol | |
|---|---|---|
| Cómputo, distintos paradigmas de cómputo y el teorema de la forma normal de Kleene para redes de Petri con arcos inhibidores. | Responsable técnico |
| Título | Rol | |
|---|---|---|
| Analisis de fallas en sistema de colas. | Responsable técnico |
| Título | Rol | |
|---|---|---|
| Modelado y estabilidad de sistemas a eventos discretos usando redes de Petri, algebras Max-Plus y métodos de Lyapunov: aplicaciones. | Responsable técnico |
| Título | Rol | |
|---|---|---|
| Modelado, Análisis de Estabilidad y Diseño de Horarios para Sistemas a Eventos Discretos: Aplicaciones. | Responsable técnico |
| Título | Rol | |
|---|---|---|
| Estabilidad de sistemas a eventos discretos usando algebras Max-Plus y métodos de Lyapunov. | Responsable técnico |
| Alumno | Tesis | Programa | Rol | |
|---|---|---|---|---|
| José Roberto Mercado Vega | Bot de Arimaa Basado en geometría lingüística | MCC | Director 1 | |
| Bernardo Aurelio González Torres | Compresión de datos para aprendizaje de máquina | MCC | Director 2 | |
| Manuel Alejandro Paredes Hernández | Modelado de las propiedades estilizadas y fractales que se dan en un mercado de valores | MCC | Director 2 |