Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Fränzle, Martin: Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation. In: 13th Summer Workshop on Interval Methods - Book of Abstracts. Hannover : Gottfried Wilhelm Leibniz Universität, 2022
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2022
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2022
- Creator
- DOI
-
10.15488/13211
- URN
-
urn:nbn:de:101:1-2023032117174026009614
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Fränzle, Martin
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2022
Other Objects (12)
Navigation with uncertain spatio-temporal resources
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
Handling uncertain spatial data in monitoring and control problems
Contributions to Sliding Mode Control and Observation of Nonlinear Uncertain Systems
Similarity search and mining in uncertain spatial and spatio-temporal databases
Similarity search and mining in uncertain spatial and spatio-temporal databases
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems
Coping with distance and location dependencies in spatial, temporal and uncertain data
Efficiency in repeated games with local interaction and uncertain local monitoring
Are affine invariant submanifolds affine
Uncertain companions
uncertain space
Navigation with uncertain spatio-temporal resources
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
Handling uncertain spatial data in monitoring and control problems
Contributions to Sliding Mode Control and Observation of Nonlinear Uncertain Systems
Similarity search and mining in uncertain spatial and spatio-temporal databases
Similarity search and mining in uncertain spatial and spatio-temporal databases
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems
Coping with distance and location dependencies in spatial, temporal and uncertain data
Efficiency in repeated games with local interaction and uncertain local monitoring
Are affine invariant submanifolds affine
Uncertain companions
uncertain space
Navigation with uncertain spatio-temporal resources
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
Handling uncertain spatial data in monitoring and control problems
Contributions to Sliding Mode Control and Observation of Nonlinear Uncertain Systems
Similarity search and mining in uncertain spatial and spatio-temporal databases
Similarity search and mining in uncertain spatial and spatio-temporal databases
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems
Coping with distance and location dependencies in spatial, temporal and uncertain data
Efficiency in repeated games with local interaction and uncertain local monitoring
Are affine invariant submanifolds affine
Uncertain companions