Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
- Alternative title
-
Erweiterungen von Polynomiellen Zonotopen und deren Anwendung für die Verifikation von Cyber-Physischen Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2022
- Keyword
-
Cooperating objects (Computer systems)
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2022
- Creator
-
Kochdumper, Niklas
- Contributor
- URN
-
urn:nbn:de:bvb:91-diss-20220224-1620128-1-3
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:38 AM CEST
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
- Kochdumper, Niklas
- Althoff, Matthias
- Kretinsky, Jan
- Universitätsbibliothek der TU München
Time of origin
- 2022
Other Objects (12)
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
Specification and verification for real-time coordination protocols of cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
MAC protocols for cyber-physical systems
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
Specification and verification for real-time coordination protocols of cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
MAC protocols for cyber-physical systems
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
Specification and verification for real-time coordination protocols of cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems