Guaranteed Verification of Dynamic Systems |
Autore | Schwab Stefan |
Pubbl/distr/stampa | Karlsruhe, : KIT Scientific Publishing, 2022 |
Descrizione fisica | 1 electronic resource (216 p.) |
Collana | Karlsruher Beiträge zur Regelungs- und Steuerungstechnik |
Soggetto topico | Electrical engineering |
Soggetto non controllato |
Verifikation
Dynamische Systeme Intervall Arithmetik Diagnose Bounded Error Verification Dynamic Systems Interval Arithmetic Diagnosis |
ISBN | 1000097527 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910553076003321 |
Schwab Stefan
![]() |
||
Karlsruhe, : KIT Scientific Publishing, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Learning Dynamic Systems for Intention Recognition in Human-Robot-Cooperation |
Autore | Krauthausen Peter |
Pubbl/distr/stampa | KIT Scientific Publishing, 2013 |
Descrizione fisica | 1 electronic resource (XIV, 210 p. p.) |
Collana | Karlsruhe Series on Intelligent Sensor-Actuator-Systems / Karlsruher Institut für Technologie, Intelligent Sensor-Actuator-Systems Laboratory |
Soggetto non controllato |
Intention Recognition
Dynamic Systems (Conditional) Density Estimation Regularization Human-Robot-Cooperation |
ISBN | 1000031356 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910346889403321 |
Krauthausen Peter
![]() |
||
KIT Scientific Publishing, 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Nonclassical linear Volterra equations of the first kind [[electronic resource] /] / A.S. Apartsyn |
Autore | Apart͡sin A. S |
Edizione | [Reprint 2010] |
Pubbl/distr/stampa | Utrecht ; ; Boston, : VSP, 2003 |
Descrizione fisica | 1 online resource (176 p.) |
Disciplina | 515/.45 |
Collana |
Inverse and ill-posed problems series
Inverse and Ill-Posed Problems Series |
Soggetto topico | Volterra equations |
Soggetto non controllato |
Computational Mathematics
Dynamic Systems First Kind Integra Integral Models Integration Limits Linear Volterra Equations Volterra Operators |
ISBN | 3-11-094497-9 |
Classificazione | SK 640 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Introduction -- Chapter 1. Classical Volterra equations of the first kind -- Chapter 2. Volterra equations of the first kind with two variable integration limits. The case a(t0) < t0 -- Chapter 3. Volterra equations of the first kind with two variable limits of integration. The case a(t0) = t0 -- Bibliography -- Index |
Record Nr. | UNINA-9910785809903321 |
Apart͡sin A. S
![]() |
||
Utrecht ; ; Boston, : VSP, 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|