Universitätsbibliothek
Universitätsbibliographie

Universitätsbibliographie | Universitätsbibliothek | TU Chemnitz

Universitätsbibliothek

Ergebnis der Datenbankabfrage

Nr.	Titel	Autor	Jahr
1	Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis	Devadze, Grigory* et al.	2025
2	Constructive analysis and computer-certified formal proofs for selected control-theoretical aspects	Devadze, Grigory	2025
3	Prediction of core browning and fruit firmness in stored 'Braeburn' apples: Multivariate time series classification	Munser, Lukas et al.	2025
4	Extraction of a computer-certified SMT solver for nonlinear theories	Devadze, Grigory* et al.	2023
5	Formal proofs for Lyapunov stability theorems in exact real arithmetic	Devadze, Grigory* et al.	2023
6	Formal Verification of a Controller Implementation in Fixed-Point Arithmetic	Devadze, Grigory* et al.	2023
7	Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in 'Braeburn' apples	Osinenko, Pavel et al.	2021
8	Extraction of a computer-certified ODE solver	Devadze, Grigory et al.	2021
9	Constructive Analysis of Eigenvalue Problems in Control under Numerical Uncertainty	Osinenko, Pavel* et al.	2020
10	Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering	Munser, Lukas* et al.	2020
11	Practical stability analysis of sliding-mode control with explicit computation of sampling time	Osinenko, Pavel* et al.	2019
12	Analysis of the Caratheodoryʼ s theorem on dynamical system trajectories under numerical uncertainty	Osinenko, Pavel et al.	2018
13	Constructive analysis of control system stability	Osinenko, Pavel* et al.	2017
14	Stacked adaptive dynamic programming with unknown system model	Osinenko, Pavel* et al.	2017

Aktuelle Seite:
Anzahl der Ergebnisseiten:	1
Anzahl der Dokumente:	14