Now showing items 1-4 of 4

    • An extension of LaSalle’s invariance principle for switched systems 

      Mancilla-Aguilar, J. L.; García Galiñanes, Rafael (2006)
      "This paper addresses invariance principles for a certain class of switched nonlinear systems. We provide an extension of LaSalle’s Invariance Principle for these systems and state asymptotic stability criteria. We also ...
    • From operational to declarative specifications using a genetic algorithm 

      Molina, Facundo; Degiovanni, Renzo; Regis, Germán; Castro, Pablo; Aguirre, Nazareno; Frías, Marcelo (2018-05)
      "In specification-based test generation, sometimes having a formal specification is not sufficient, since the specification may be in a different formalism from that required by the generation approach being used. In this ...
    • On zero-input stability inheritance for time-varying systems with decaying-to-zero input power 

      Mancilla-Aguilar, J. L.; Haimovich, Hernán (2017-06)
      "Stability results for time-varying systems with inputs are relatively scarce, as opposed to the abundant literature available for time-invariant systems. This paper extends to time-varying systems existing results that ...
    • Training binary classifiers as data structure invariants 

      Molina, Facundo; Degiovanni, Renzo; Ponzio, Pablo; Regis, Germán; Aguirre, Nazareno; Frías, Marcelo (2019-05)
      "We present a technique to distinguish valid from invalid data structure objects. The technique is based on building an artificial neural network, more precisely a binary classifier, and training it to identify valid and ...