Centro de Investigación en Computación

Mordejai Zvi Retchkiman Konigsberg

Laboratorio de Simulación y Modelado

Curriculum

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.

Formación Académica

  • 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)

Contacto

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

Total de publicaciones 45

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

Total de congresos 8

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

Total de proyectos 9

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

Total de alumnos graduados: 3


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