Source author record

Jarkko Peltomäki

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Discrete Mathematics math.CO Formal Languages and Automata Theory Machine Learning Software Engineering math.NT Robotics

Catalog footprint

Research overview

10works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Automatic winning shifts

To each one-dimensional subshift $X$ , we may associate a winning shift $W(X)$ which arises from a combinatorial game played on the language of $X$ . Previously it has been studied what properties of $X$ does $W(X)$ inherit. For example, $X$ and $W(X)$ have the same factor complexity and if $X$ is a sofic subshift, then $W(X)$ is also sofic. In this paper, we develop a notion of automaticity for $W(X)$ , that is, we propose what it means that a vector representation of $W(X)$ is accepted by a finite automaton. Let $S$ be an abstract numeration system such that addition with respect to $S$ is a rational relation. Let $X$ be a subshift generated by an $S$ -automatic word. We prove that as long as there is a bound on the number of nonzero symbols in configurations of $W(X)$ (which follows from $X$ having sublinear factor complexity), then $W(X)$ is accepted by a finite automaton, which can be effectively constructed from the description of $X$ . We provide an explicit automaton when $X$ is generated by certain automatic words such as the Thue-Morse word.

preprint2022arXiv

Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

We consider the problem of falsifying safety requirements of Cyber-Physical Systems expressed in signal temporal logic (STL). This problem can be turned into an optimization problem via STL robustness functions. In this paper, our focus is in falsifying systems with multiple requirements. We propose to solve such conjunctive requirements using online generative adversarial networks (GANs) as test generators. Our main contribution is an algorithm which falsifies a conjunctive requirement $φ_1 \land \cdots \land φ_n$ by using a GAN for each requirement $φ_i$ separately. Using ideas from multi-armed bandit algorithms, our algorithm only trains a single GAN at every step, which saves resources. Our experiments indicate that, in addition to saving resources, this multi-armed bandit algorithm can falsify requirements with fewer number of executions on the system under test when compared to (i) an algorithm training a single GAN for the complete conjunctive requirement and (ii) an algorithm always training $n$ GANs at each step.

preprint2022arXiv

Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems

We propose a novel online test generation algorithm WOGAN based on Wasserstein Generative Adversarial Networks. WOGAN is a general-purpose black-box test generator applicable to any system under test having a fitness function for determining failing tests. As a proof of concept, we evaluate WOGAN by generating roads such that a lane assistance system of a car fails to stay on the designated lane. We find that our algorithm has a competitive performance respect to previously published algorithms.

preprint2022arXiv

WOGAN at the SBST 2022 CPS Tool Competition

WOGAN is an online test generation algorithm based on Wasserstein generative adversarial networks. In this note, we present how WOGAN works and summarize its performance in the SBST 2022 CPS tool competition concerning the AI of a self-driving car.

preprint2020arXiv

Abelian periods of factors of Sturmian words

We study the abelian period sets of Sturmian words, which are codings of irrational rotations on a one-dimensional torus. The main result states that the minimum abelian period of a factor of a Sturmian word of angle $α$ with continued fraction expansion $[0; a_1, a_2, \ldots]$ is either $tq_k$ with $1 \leq t \leq a_{k+1}$ (a multiple of a denominator $q_k$ of a convergent of $α$ ) or $q_{k,\ell}$ (a denominator $q_{k,\ell}$ of a semiconvergent of $α$ ). This result generalizes a result of Fici et. al stating that the abelian period set of the Fibonacci word is the set of Fibonacci numbers. A characterization of the Fibonacci word in terms of its abelian period set is obtained as a corollary.

preprint2019arXiv

On $k$ -abelian Equivalence and Generalized Lagrange Spectra

We study the set of $k$ -abelian critical exponents of all Sturmian words. It has been proven that in the case $k = 1$ this set coincides with the Lagrange spectrum. Thus the sets obtained when $k > 1$ can be viewed as generalized Lagrange spectra. We characterize these generalized spectra in terms of the usual Lagrange spectrum and prove that when $k > 1$ the spectrum is a dense non-closed set. This is in contrast with the case $k = 1$ , where the spectrum is a closed set containing a discrete part and a half-line. We describe explicitly the least accumulation points of the generalized spectra. Our geometric approach allows the study of $k$ -abelian powers in Sturmian words by means of continued fractions.

preprint2016arXiv

Abelian Powers and Repetitions in Sturmian Words

Richomme, Saari and Zamboni (J. Lond. Math. Soc. 83: 79-95, 2011) proved that at every position of a Sturmian word starts an abelian power of exponent $k$ for every $k > 0$ . We improve on this result by studying the maximum exponents of abelian powers and abelian repetitions (an abelian repetition is an analogue of a fractional power) in Sturmian words. We give a formula for computing the maximum exponent of an abelian power of abelian period $m$ starting at a given position in any Sturmian word of rotation angle $α$ . vAs an analogue of the critical exponent, we introduce the abelian critical exponent $A(s_α)$ of a Sturmian word $s_α$ of angle $α$ as the quantity $A(s_α) = limsup\ k_{m}/m=limsup\ k'_{m}/m$ , where $k_{m}$ (resp. $k'_{m}$ ) denotes the maximum exponent of an abelian power (resp.~of an abelian repetition) of abelian period $m$ (the superior limits coincide for Sturmian words). We show that $A(s_α)$ equals the Lagrange constant of the number $α$ . This yields a formula for computing $A(s_α)$ in terms of the partial quotients of the continued fraction expansion of $α$ . Using this formula, we prove that $A(s_α) \geq \sqrt{5}$ and that the equality holds for the Fibonacci word. We further prove that $A(s_α)$ is finite if and only if $α$ has bounded partial quotients, that is, if and only if $s_α$ is $β$ -power-free for some real number $β$ . Concerning the infinite Fibonacci word, we prove that: i) The longest prefix that is an abelian repetition of period $F_j$ , $j>1$ , has length $F_j( F_{j+1}+F_{j-1} +1)-2$ if $j$ is even or $F_j( F_{j+1}+F_{j-1} )-2$ if $j$ is odd, where $F_{j}$ is the $j$ th Fibonacci number; ii) The minimum abelian period of any factor is a Fibonacci number. Further, we derive a formula for the minimum abelian periods of the finite Fibonacci words

preprint2015arXiv

Characterization of repetitions in Sturmian words: A new proof

We present a new, dynamical way to study powers (that is, repetitions) in Sturmian words based on results from Diophantine approximation theory. As a result, we provide an alternative and shorter proof of a result by Damanik and Lenz characterizing powers in Sturmian words [Powers in Sturmian sequences, Eur. J. Combin. 24 (2003), 377--390]. Further, as a consequence, we obtain a previously known formula for the fractional index of a Sturmian word based on the continued fraction expansion of its slope.

preprint2015arXiv

Privileged Factors in the Thue-Morse Word - A Comparison of Privileged Words and Palindromes

In this paper we study the privileged complexity function of the Thue-Morse word. We prove a recursive formula describing this function, and using the formula we show that the function is unbounded and that the values of the function have arbitrarily large gaps of zeros. This demonstrates that the privileged complexity function of an infinite word can drastically differ from its palindromic complexity function, even though there are relations between these functions. Further we study the behavior of palindromes and privileged words in infinite words and the relation between rich words and privileged words.

preprint2013arXiv

Introducing Privileged Words: Privileged Complexity of Sturmian Words

In this paper we study the class of so-called privileged words which have been previously considered only a little. We develop the basic properties of privileged words, which turn out to share similar properties with palindromes. Privileged words are studied in relation to previously studied classes of words, rich words, Sturmian words and episturmian words. A new characterization of Sturmian words is given in terms of privileged complexity. The privileged complexity of the Thue-Morse word is also briefly studied.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jarkko Peltomäki

Research overview

Is this your work?

10 publications

Automatic winning shifts

Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems

WOGAN at the SBST 2022 CPS Tool Competition

Abelian periods of factors of Sturmian words

On $k$ -abelian Equivalence and Generalized Lagrange Spectra

Abelian Powers and Repetitions in Sturmian Words

Characterization of repetitions in Sturmian words: A new proof

Privileged Factors in the Thue-Morse Word - A Comparison of Privileged Words and Palindromes

Introducing Privileged Words: Privileged Complexity of Sturmian Words

See the researcher in context

Building this map preview

Jarkko Peltomäki

Research overview

Is this your work?

10 publications

Automatic winning shifts

Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems

WOGAN at the SBST 2022 CPS Tool Competition

Abelian periods of factors of Sturmian words

On kkk-abelian Equivalence and Generalized Lagrange Spectra

Abelian Powers and Repetitions in Sturmian Words

Characterization of repetitions in Sturmian words: A new proof

Privileged Factors in the Thue-Morse Word - A Comparison of Privileged Words and Palindromes

Introducing Privileged Words: Privileged Complexity of Sturmian Words

See the researcher in context

Building this map preview

On $k$ -abelian Equivalence and Generalized Lagrange Spectra