Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
- Alternative title
-
Automatische Verifikation und Steuerung von hochdimensionalen stochastischen cyber-physikalischen Systemen: kompositionelle Methoden
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2019
- Keyword
-
Cooperating objects (Computer systems)
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2019
- Creator
-
Lavaei, Abolfazl
- Contributor
-
Buss, Martin
Soudjani, Sadegh
Zamani, Majid
Buss, Martin
- URN
-
urn:nbn:de:bvb:91-diss-20191216-1521465-1-6
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:51 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
- Lavaei, Abolfazl
- Buss, Martin
- Soudjani, Sadegh
- Zamani, Majid
- Universitätsbibliothek der TU München
Time of origin
- 2019
Other Objects (12)
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Specification and verification for real-time coordination protocols of cyber-physical systems
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
A Case for Integrated Data Processing in Large-Scale Cyber-Physical Systems
Decomposition for compositional verification
Accountability for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
MAC protocols for cyber-physical systems
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Specification and verification for real-time coordination protocols of cyber-physical systems
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
A Case for Integrated Data Processing in Large-Scale Cyber-Physical Systems
Decomposition for compositional verification
Accountability for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
MAC protocols for cyber-physical systems
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Specification and verification for real-time coordination protocols of cyber-physical systems
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
A Case for Integrated Data Processing in Large-Scale Cyber-Physical Systems
Decomposition for compositional verification
Accountability for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems