<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462021000100165</article-id>
<article-id pub-id-type="doi">10.13053/cys-25-1-3888</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Retchkiman Konigsberg]]></surname>
<given-names><![CDATA[Zvi]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Instituto Politécnico Nacional Centro de Investigación en Computación ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>03</month>
<year>2021</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>03</month>
<year>2021</year>
</pub-date>
<volume>25</volume>
<numero>1</numero>
<fpage>165</fpage>
<lpage>172</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462021000100165&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462021000100165&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462021000100165&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: In this work computability and stability issues for analog algorithms with discontinuous states and non-unique evolution operators are studied. The notions of analog algorithm and dynamical system are postulated to be equivalent. The stability and stabilization concepts for analog algorithms are defined. The stability and stabilization presentation starts concentrating in continuous and discrete dynamical systems i.e., analog algorithms, defined by differential or difference equations, and continues considering Lyapunov energy functions for analog algorithms with continuous and discontinuous states. Dynamical systems with non-unique evolution operators are also studied.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Analog algorithms]]></kwd>
<kwd lng="en"><![CDATA[dynamical systems]]></kwd>
<kwd lng="en"><![CDATA[discontinuous]]></kwd>
<kwd lng="en"><![CDATA[non-unique evolution operators]]></kwd>
<kwd lng="en"><![CDATA[stability]]></kwd>
<kwd lng="en"><![CDATA[Lyapunov functions]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<label>1</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bournez]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Dershowitz]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Neron]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Axiomatizing Analog Algorithms]]></source>
<year>2016</year>
</nlm-citation>
</ref>
<ref id="B2">
<label>2</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gurevich]]></surname>
<given-names><![CDATA[Y.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Sequential abstract-state machines capture sequential algorithms]]></article-title>
<source><![CDATA[ACM Trans Comput Log]]></source>
<year>2000</year>
<volume>1</volume>
</nlm-citation>
</ref>
<ref id="B3">
<label>3</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Retchkiman]]></surname>
<given-names><![CDATA[K.Z.]]></given-names>
</name>
<name>
<surname><![CDATA[Dershowitz]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Church thesis, its proof, and the notion of stability and stabilization for analog algorithms]]></article-title>
<source><![CDATA[Communications in Applied Analysis]]></source>
<year>2019</year>
<volume>23</volume>
<numero>2</numero>
<issue>2</issue>
</nlm-citation>
</ref>
<ref id="B4">
<label>4</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Murata]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Petri nets: Properties, analysis, and applications]]></article-title>
<source><![CDATA[Proceedings of the IEEE]]></source>
<year>1989</year>
<volume>77</volume>
<page-range>541-80</page-range></nlm-citation>
</ref>
<ref id="B5">
<label>5</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Retchkiman]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Stability theory for a class of dynamical systems modeled with Petri nets]]></article-title>
<source><![CDATA[International Journal of Hybrid Systems]]></source>
<year>2005</year>
<volume>4</volume>
<numero>1</numero>
<issue>1</issue>
</nlm-citation>
</ref>
<ref id="B6">
<label>6</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Retchkiman]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Timed Petri Net Modeling and Lyapunov/Max-Plus-Algebra Stability Analysis for a type of Queuing Systems by means of timed Petri nets, Lyapunov methods and max-plus algebra]]></article-title>
<source><![CDATA[International Journal of Pure and Applied Mathematics]]></source>
<year>2012</year>
<volume>77</volume>
<numero>3</numero>
<issue>3</issue>
</nlm-citation>
</ref>
<ref id="B7">
<label>7</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lakshmikantham]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Matrosov]]></surname>
<given-names><![CDATA[V.M.]]></given-names>
</name>
<name>
<surname><![CDATA[Sivasundaram]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Vector Lyapunov functions and stability analysis of nonlinear systems]]></source>
<year>1991</year>
<publisher-name><![CDATA[Kluwer Academic Publ]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<label>8</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Heimsch]]></surname>
<given-names><![CDATA[T.F.]]></given-names>
</name>
<name>
<surname><![CDATA[Leine]]></surname>
<given-names><![CDATA[R.I.]]></given-names>
</name>
</person-group>
<source><![CDATA[A novel Lyapunov-like method for the non-autonomous bouncing ball system]]></source>
<year>2011</year>
<conf-name><![CDATA[ 7th European Nonlinear Dynamics Conference (ENOC)]]></conf-name>
<conf-loc> </conf-loc>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
