- AutorIn
- Vitaly Perevoshchikov
- Titel
- Multi-weighted Automata Models and Quantitative Logics
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa-166142
- Datum der Einreichung
- 11.12.2014
- Datum der Verteidigung
- 28.04.2015
- Abstract (EN)
- Recently, multi-priced timed automata have received much attention for real-time systems. These automata extend priced timed automata by featuring several price parameters. This permits to compute objectives like the optimal ratio between rewards and costs. Arising from the model of timed automata, the multi-weighted setting has also attracted much notice for classical nondeterministic automata. The present thesis develops multi-weighted MSO-logics on finite, infinite and timed words which are expressively equivalent to multi-weighted automata, and studies decision problems for them. In addition, a Nivat-like theorem for weighted timed automata is proved; this theorem establishes a connection between quantitative and qualitative behaviors of timed automata. Moreover, a logical characterization of timed pushdown automata is given.
- Freie Schlagwörter (DE)
- multi-gewichtete Automaten, quantitative Logik, monadische Logik zweiter Stufe, Zeitautomaten, Omega-Automaten, quantitative Sprachen, Keller-Zeitautomaten
- Freie Schlagwörter (EN)
- multi-weighted automata, quantitative logic, monadic second-order logic, timed automata, omega-automata, quantitative languages, timed pushdown languages
- Klassifikation (DDC)
- 500
- GutachterIn
- Prof. Dr. Paul Gastin
- BetreuerIn
- Prof. Dr. Manfred Droste
- Den akademischen Grad verleihende / prüfende Institution
- Universität Leipzig, Leipzig
- URN Qucosa
- urn:nbn:de:bsz:15-qucosa-166142
- Veröffentlichungsdatum Qucosa
- 06.05.2015
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Deutsch
- Englisch