Axiomatization, Computability and Stability for Discrete Event Time Algorithms

Authors

  • Zvi Retchkiman Konigsberg Instituto Politécnico Nacional, Centro de Investigación en Computación

DOI:

https://doi.org/10.13053/cys-24-4-3875

Keywords:

Discrete event time algorithms, discrete event time dynamical systems, church Thesis, petri nets, stability

Abstract

This work proposes a formalization of discrete event time algorithms. A Church type thesis, its proof, and the notion of stability for discrete event time algorithms are presented. The Church thesis for discrete algorithms motivates us to consider the Church thesis for the case when we are dealing with discrete event time algorithms. The notions of discrete event time algorithm and discrete event time dynamical system are postulated to be equivalent. The stability concept for discrete event time algorithms is defined. The stability analysis presentation starts concentrating in discrete event time algorithms, i.e., discrete event time dynamical systems, whose Petri net model is described by difference equations, and continues considering Lyapunov energy function sin terms of the logical structures of the vocabulary. A stability analysis based on the reachability tree of the Petri net model is also discussed.

Downloads

Published

2020-12-02

Issue

Vol. 24 No. 4 (2020): 24(4)2020

Section

Articles

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.