Search Results - Devadze, Grigory

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Constructive Analysis of Eigenvalue Problems in Control under Numerical Uncertainty

    Constructive Analysis of Eigenvalue Problems in Control under Numerical Uncertainty by Osinenko, Pavel, Devadze, Grigory, Streif, Stefan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in ‘Braeburn’ apples

    Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in ‘Braeburn’ apples by Osinenko, Pavel, Biegert, Konni, McCormick, Roy J., Göhrt, Thomas, Devadze, Grigory, Streif, Josef, Streif, Stefan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Practical stability analysis of sliding‐mode control with explicit computation of sampling time

    Practical stability analysis of sliding‐mode control with explicit computation of sampling time by Osinenko, Pavel, Devadze, Grigory, Streif, Stefan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Analysis of the Caratheodory&#x02BC s theorem on dynamical system trajectories under numerical uncertainty

    Analysis of the Caratheodory&#x02BC s theorem on dynamical system trajectories under numerical uncertainty by Osinenko, Pavel, Devadze, Grigory, Streif, Stefan

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Analysis of the Caratheodory s theorem on dynamical system trajectories under numerical uncertainty

    Analysis of the Caratheodory s theorem on dynamical system trajectories under numerical uncertainty by Osinenko, Pavel, Devadze, Grigory, Streif, Stefan

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Constructive analysis of control system stability

    Constructive analysis of control system stability by Osinenko, Pavel, Devadze, Grigory, Streif, Stefan

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis

    Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis by Devadze, Grigory, Magron, Victor, Streif, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Stacked adaptive dynamic programming with unknown system model

    Stacked adaptive dynamic programming with unknown system model by Osinenko, Pavel, Göhrt, Thomas, Devadze, Grigory, Streif, Stefan

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Prototypical Description and Controller Design for a Set of Systems Using ν-gap Based Clustering

    Prototypical Description and Controller Design for a Set of Systems Using ν-gap Based Clustering by Munser, Lukas, Hempel, Arne-Jens, Devadze, Grigory, Streif, Stefan

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Stacked adaptive dynamic programming with unknown system model

    Stacked adaptive dynamic programming with unknown system model by Osinenko, Pavel, Göhrt, Thomas, Devadze, Grigory, Streif, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Synthesis of Lyapunov Functions using Formal Verification

    Synthesis of Lyapunov Functions using Formal Verification by Munser, Lukas, Devadze, Grigory, Streif, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Formal verification of a controller implementation in fixed-point arithmetic

    Formal verification of a controller implementation in fixed-point arithmetic by Flessing, Lars, Devadze, Grigory, Streif, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Extraction of a computer-certified ODE solver

    Extraction of a computer-certified ODE solver by Devadze, Grigory, Flessing, Lars, Streif, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering

    Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering by Munser, Lukas, Hempel, Arne-Jens, Devadze, Grigory, Streif, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    A note on constructive treatment of eigenvectors

    A note on constructive treatment of eigenvectors by Osinenko, Pavel, Devadze, Grigory, Streif, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: