Showing 1–10 of 10 results for author: Obradovic, J

Decentralized Multi-Robot Formation Control Using Reinforcement Learning

Authors: Juraj Obradovic, Marko Krizmancic, Stjepan Bogdan

Abstract: This paper presents a decentralized leader-follower multi-robot formation control based on a reinforcement learning (RL) algorithm applied to a swarm of small educational Sphero robots. Since the basic Q-learning method is known to require large memory resources for Q-tables, this work implements the Double Deep Q-Network (DDQN) algorithm, which has achieved excellent results in many robotic probl… ▽ More This paper presents a decentralized leader-follower multi-robot formation control based on a reinforcement learning (RL) algorithm applied to a swarm of small educational Sphero robots. Since the basic Q-learning method is known to require large memory resources for Q-tables, this work implements the Double Deep Q-Network (DDQN) algorithm, which has achieved excellent results in many robotic problems. To enhance the system behavior, we trained two different DDQN models, one for reaching the formation and the other for maintaining it. The models use a discrete set of robot motions (actions) to adapt the continuous nonlinear system to the discrete nature of RL. The presented approach has been tested in simulation and real experiments which show that the multi-robot system can achieve and maintain a stable formation without the need for complex mathematical models and nonlinear control laws. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Comments: 7 pages, 10 figures. To be published in 2023 International Conference on Information, Communication and Automation Technologies (ICAT)

Tridendriform algebras on hypergraph polytopes

Authors: Pierre-Louis Curien, Bérénice Delcroix-Oger, Jovana Obradović

Abstract: We extend the works of Loday-Ronco and Burgunder-Ronco on the tridendriform decomposition of the shuffle product on the faces of associahedra and permutohedra, to other families of hypergraph polytopes (or nestohedra), including simplices, hypercubes and some new families. We also extend the shuffle product to take more than two arguments, and define accordingly a new algebraic structure, that we… ▽ More We extend the works of Loday-Ronco and Burgunder-Ronco on the tridendriform decomposition of the shuffle product on the faces of associahedra and permutohedra, to other families of hypergraph polytopes (or nestohedra), including simplices, hypercubes and some new families. We also extend the shuffle product to take more than two arguments, and define accordingly a new algebraic structure, that we call polydendriform, from which the original tridendriform equations can be crisply synthesized. △ Less

Submitted 29 November, 2022; v1 submitted 14 January, 2022; originally announced January 2022.

Comments: 30 pages

MSC Class: 18M60; 52B05

A calculus for S^3-diagrams of manifolds with boundary

Authors: Bojana Femic, Vladimir Grujic, Jovana Obradovic, Zoran Petric

Abstract: We introduce a diagrammatic language for compact, orientable 3-dimensional manifolds with boundary. A diagrammatic calculus (both integral and rational version) appropriate for this language is introduced and its completeness is proved in the paper. Moreover, a calculus consisting of a finite list of local moves is presented. We introduce a diagrammatic language for compact, orientable 3-dimensional manifolds with boundary. A diagrammatic calculus (both integral and rational version) appropriate for this language is introduced and its completeness is proved in the paper. Moreover, a calculus consisting of a finite list of local moves is presented. △ Less

Submitted 26 September, 2023; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: 20 pages, this is a significantly shortened version of the paper "An operad of 3-manifolds'', which is also available here

MSC Class: 18D50; 57M25; 57M27

Minimal models for graph-related (hyper)operads

Authors: Michael Batanin, Martin Markl, Jovana Obradović

Abstract: We construct explicit minimal models for the (hyper)operads governing modular, cyclic and ordinary operads, and wheeled properads, respectively. Algebras for these models are homotopy versions of the corresponding structures. We construct explicit minimal models for the (hyper)operads governing modular, cyclic and ordinary operads, and wheeled properads, respectively. Algebras for these models are homotopy versions of the corresponding structures. △ Less

Submitted 12 December, 2022; v1 submitted 16 February, 2020; originally announced February 2020.

Comments: 44 pages. Final version, to appear in Journal of Pure and Applied Algebra

MSC Class: Primary 18M70; 18M85; secondary 05C65; 91A12

Proofs and surfaces

Authors: Djordje Baralic, Pierre-Louis Curien, Marina Milicevic, Jovana Obradovic, Zoran Petric, Mladen Zekic, Rade T. Zivaljevic

Abstract: A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean and projective interpretations of the sequents are defined and a soundness result is proved. This system is decidable and its provable sequents deliver incidence results. A cyclic operad structure tied to this system is… ▽ More A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean and projective interpretations of the sequents are defined and a soundness result is proved. This system is decidable and its provable sequents deliver incidence results. A cyclic operad structure tied to this system is presented by generators and relations. △ Less

Submitted 26 May, 2020; v1 submitted 5 July, 2019; originally announced July 2019.

Comments: 41 pages

MSC Class: 03F03; 18D50; 18G30; 51A05; 51A20

Combinatorial homotopy theory for operads

Authors: Jovana Obradović

Abstract: We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are defined in terms of hypergraph polytopes and the composition structure generalizes the one of the $A_{\infty}$-operad. As further generalizations of this constructio… ▽ More We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are defined in terms of hypergraph polytopes and the composition structure generalizes the one of the $A_{\infty}$-operad. As further generalizations of this construction, we present a combinatorial description of the $W$-construction applied on ${\cal O}$, as well as of the minimal model of the coloured operad ${\cal C}$ encoding non-symmetric cyclic operads. △ Less

Submitted 25 November, 2019; v1 submitted 14 June, 2019; originally announced June 2019.

Comments: 36 pages

Syntactic aspects of hypergraph polytopes

Authors: Pierre-Louis Curien, Jovana Obradovic, Jelena Ivanovic

Abstract: This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for descri… ▽ More This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for describing such polytopes. We build on the particular approach developed by Dosen and Petric, who used the formalism of hypergraphs to describe the interval of polytopes from the simplex to the permutohedron. This interval was further stretched by Petric to allow truncations of faces that are themselves obtained by truncations, and iteratively so. Our notation applies to all these polytopes. We illustrate this by showing that it instantiates to a notation for the faces of the permutohedron-based associahedra, that consists of parenthesised words with holes. Dosen and Petric have exhibited some families of hypergraph polytopes (associahedra, permutohedra, and hemiassociahedra) describing the coherences, and the coherences between coherences etc., arising by weakening sequential and parallel associativity of operadic composition. We complement their work with a criterion allowing us to recover the information whether edges of these "operadic polytopes" come from sequential, or from parallel associativity. We also give alternative proofs for some of the original results of Dosen and Petric. △ Less

Submitted 9 August, 2017; originally announced August 2017.

Comments: 42 pages, 4 figures

Categorified cyclic operads

Authors: Pierre-Louis Curien, Jovana Obradovic

Abstract: In this paper, we introduce a notion of categorified cyclic operad for set-based cyclic operads with symmetries. Our categorification is obtained by relaxing defining axioms of cyclic operads to isomorphisms and by formulating coherence conditions for these isomorphisms. The coherence theorem that we prove has the form "all diagrams of canonical isomorphisms commute". Our coherence results come in… ▽ More In this paper, we introduce a notion of categorified cyclic operad for set-based cyclic operads with symmetries. Our categorification is obtained by relaxing defining axioms of cyclic operads to isomorphisms and by formulating coherence conditions for these isomorphisms. The coherence theorem that we prove has the form "all diagrams of canonical isomorphisms commute". Our coherence results come in two flavours, corresponding to the "entries-only" and "exchangeable-output" definitions of cyclic operads. Our proof of coherence in the entries-only style is of syntactic nature and relies on the coherence of categorified non-symmetric operads established by Došen and Petrić. We obtain the coherence in the exchangeable-output style by "lifting" the equivalence between entries-only and exchangeable-output cyclic operads, set up by the second author. Finally, we show that a generalisation of the structure of profunctors of B\' enabou provides an example of categorified cyclic operad, and we exploit the coherence of categorified cyclic operads in proving that the Feynman category for cyclic operads, due to Kaufmann and Ward, admits an odd version. △ Less

Submitted 21 November, 2019; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 57 pages

Monoid-like definitions of cyclic operads

Authors: Jovana Obradović

Abstract: Guided by the microcosm principle of Baez-Dolan and by the algebraic definitions of operads of Kelly and Fiore, we introduce two "monoid-like" definitions of cyclic operads, one for the original, "exchangable-output" characterisation of Getzler-Kapranov, and the other for the alternative "entries-only" characterisation, both within the category of Joyal's species of structures. Relying on a result… ▽ More Guided by the microcosm principle of Baez-Dolan and by the algebraic definitions of operads of Kelly and Fiore, we introduce two "monoid-like" definitions of cyclic operads, one for the original, "exchangable-output" characterisation of Getzler-Kapranov, and the other for the alternative "entries-only" characterisation, both within the category of Joyal's species of structures. Relying on a result of Lamarche on descent for species, we use these "monoid-like" definitions to prove the equivalence between the "exchangable-output" and "entries-only" points of view on cyclic operads. △ Less

Submitted 25 April, 2017; v1 submitted 8 July, 2016; originally announced July 2016.

MSC Class: 18D50; 18D10; 05A99

Journal ref: Theory and Applications of Categories, Vol. 32, 2017, No. 12, pp 396-436

A formal language for cyclic operads

Authors: Pierre-Louis Curien, Jovana Obradović

Abstract: We propose a $λ$-calculus-style formal language, called the $μ$-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step proof of the equivalence between the unbiased and biased definitions of cyclic operads. We propose a $λ$-calculus-style formal language, called the $μ$-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step proof of the equivalence between the unbiased and biased definitions of cyclic operads. △ Less

Submitted 25 April, 2017; v1 submitted 24 February, 2016; originally announced February 2016.