Skip to main content

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

.
  1. 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

    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)

  2. arXiv:2201.05365  [pdf, other

    math.CO

    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

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

    Comments: 30 pages

    MSC Class: 18M60; 52B05

  3. arXiv:2111.11311  [pdf, other

    math.CT math.GT

    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.

    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

  4. arXiv:2002.06640  [pdf, ps, other

    math.CT math.AT

    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.

    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

  5. arXiv:1907.02949  [pdf, ps, other

    math.LO

    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

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

    Comments: 41 pages

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

  6. arXiv:1906.06260  [pdf, ps, other

    math.AT math.CO

    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

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

    Comments: 36 pages

  7. arXiv:1708.02780  [pdf, other

    math.CO

    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

    Submitted 9 August, 2017; originally announced August 2017.

    Comments: 42 pages, 4 figures

  8. arXiv:1706.06788  [pdf, ps, other

    math.CT

    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

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

    Comments: 57 pages

  9. arXiv:1607.02438  [pdf, ps, other

    math.CT

    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

    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

  10. arXiv:1602.07502  [pdf, ps, other

    math.AT

    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.

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