Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle
- Weitere Titel
-
Deterministische Kellerautomaten als Spezifikationen für ereignisdiskrete Überwachungsregelung in Isabelle
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Dissertation, 2019
- Schlagwort
-
Specifications
Robots
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2019
- Urheber
- Beteiligte Personen und Organisationen
-
Nestmann, Uwe
Raisch, Jörg
Nestmann, Uwe
Raisch, Jörg
Giese, Holger
Kammüller, Florian
- DOI
-
10.14279/depositonce-9332
- Handle
-
11303/10372
- URN
-
urn:nbn:de:101:1-2019122501030944190267
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Schneider, Sven
- Nestmann, Uwe
- Raisch, Jörg
- Giese, Holger
- Kammüller, Florian
- Technische Universität Berlin
Entstanden
- 2019
Ähnliche Objekte (12)
Deterministic set automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Fault-tolerant control of deterministic input/output automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Deterministic two-way one-head pushdown automata are very powerful
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Supervisory stress tests
Technical Supervisory Union
Deterministic chance
Deterministic pomsets
Deterministic set automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Fault-tolerant control of deterministic input/output automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Deterministic two-way one-head pushdown automata are very powerful
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Supervisory stress tests
Technical Supervisory Union
Deterministic chance
Deterministic pomsets
Deterministic set automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Fault-tolerant control of deterministic input/output automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Deterministic two-way one-head pushdown automata are very powerful
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Supervisory stress tests
Technical Supervisory Union
Deterministic chance