Infinite and bi-infinite words with decidable monadic theories. - In: Logical methods in computer science, ISSN 1860-5974, Bd. 14 (2018), 3:9, S. 1-24
We study word structures of the form (D,<,P) where D is either N or Z, < is the natural linear ordering on D and P⊆D is a predicate on D. In particular we show: (a) The set of recursive ω-words with decidable monadic second order theories is Σ3-complete. (b) Known characterisations of the ω-words with decidable monadic second order theories are transfered to the corresponding question for bi-infinite words. (c) We show that such "tame" predicates P exist in every Turing degree. (d) We determine, for P⊆Z, the number of predicates Q⊆Z such that (Z,≤,P) and (Z,≤,Q) are indistinguishable. Through these results we demonstrate similarities and differences between logical properties of infinite and bi-infinite words.
https://doi.org/10.23638/LMCS-14(3:9)2018
Navigation of autonomous marine robots - novel approaches using cooperating teams. - Ilmenau. - XXXII, 366 Seiten
Technische Universität Ilmenau, Habilitationsschrift 2018
Modelling and essential control of an oceanographic monitoring remotely operated underwater vehicle. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 51 (2018), 29, S. 213-219
https://doi.org/10.1016/j.ifacol.2018.09.495
Indirect adaptive control for higher order sliding mode. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 51 (2018), 13, S. 591-596
https://doi.org/10.1016/j.ifacol.2018.07.344
IDA-PBC for polynomial systems: an SOS-based approach. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 51 (2018), 13, S. 366-371
https://doi.org/10.1016/j.ifacol.2018.07.306
A new method for fault tolerant control through Q-learning. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 51 (2018), 24, S. 38-45
https://doi.org/10.1016/j.ifacol.2018.09.526
Path planning for an identification mission of an Autonomous Underwater Vehicle in a lemniscate form. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 51 (2018), 29, S. 323-328
https://doi.org/10.1016/j.ifacol.2018.09.503
Modelling the strip thickness in hot steel rolling mills using least-squares support vector machines. - In: The Canadian journal of chemical engineering, ISSN 1939-019X, Bd. 96 (2018), 1, S. 171-178
https://doi.org/10.1002/cjce.22956
Automated system identification in mineral processing industries: a case study using the zinc flotation cell. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 51 (2018), 18, S. 132-137
https://doi.org/10.1016/j.ifacol.2018.09.288
Simultaneous robust, decoupled output feedback control for multivariate industrial systems. - In: IEEE access, ISSN 2169-3536, Bd. 6 (2018), S. 6777-6782
https://doi.org/10.1109/ACCESS.2018.2790803