Pushing and pulling : computing push plans for disk-shaped robots, and dynamic labelings for moving points

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.

[1]  Tom Staijen,et al.  Graph-based Specification and Verification for Aspect-Oriented Languages , 2010 .

[2]  Claudia C. Iturriaga-Velazquez.  Map labeling problems , 1999 .

[3]  Micha Sharir,et al.  On the union of Jordan regions and collision-free translational motion amidst polygonal obstacles , 1986, Discret. Comput. Geom..

[4]  Steven K. Feiner,et al.  View management for virtual and augmented reality , 2001, UIST '01.

[5]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[6]  Mark de Berg,et al.  Labeling Moving Points with a Trade-Off between Label Speed and Label Overlap , 2013, ESA.

[7]  Giulio Sandini,et al.  A Vision-Based Learning Method for Pushing Manipulation , 1993 .

[8]  Alexander Wolff,et al.  Trimming of Graphs, with Application to Point Labeling , 2009, Theory of Computing Systems.

[9]  B. J. Arnoldus,et al.  An illumination of the template enigma : software code generation with templates , 2011 .

[10]  Kenneth R. Allendoerfer,et al.  Display System Replacement Baseline Research Report , 2000 .

[11]  Robert J. Fowler,et al.  Optimal Packing and Covering in the Plane are NP-Complete , 1981, Inf. Process. Lett..

[12]  Parinya Chalermsook,et al.  Maximum independent set of rectangles , 2009, SODA.

[13]  Hossein Rahmani,et al.  Analysis of protein-protein interaction networks by means of annotated graph mining algorithms , 2012 .

[14]  Sander van der Burg,et al.  A Reference Architecture for Distributed Software Deployment , 2013 .

[15]  Trajce Dimkov,et al.  Alignment of organizational security policies: Theory and Practice , 2012 .

[16]  Joe Marks,et al.  The Computational Complexity of Cartographic Label Placement , 1991 .

[17]  Young-Joo Moon,et al.  Stochastic models for quality of service of component connectors , 2011 .

[18]  Takeo Igarashi,et al.  Automatic learning of pushing strategy for delivery of irregular-shaped objects , 2011, 2011 IEEE International Conference on Robotics and Automation.

[19]  M Muhammad Atif,et al.  Formal modeling and verification of distributed failure detectors , 2011 .

[20]  Wolfgang Maass,et al.  Approximation schemes for covering and packing problems in image processing and VLSI , 1985, JACM.

[21]  Georgeta Igna,et al.  Performance analysis of real-time task systems using timed automata , 2013 .

[22]  C. J. Boogerd,et al.  Focusing Automatic Code Inspections , 2010 .

[23]  A. Morali,et al.  IT architecture-based confidentiality risk assessment in networks of organizations , 2011 .

[24]  David E. Breen,et al.  Annotating Real-World Objects Using Augmented Reality , 1995, Computer Graphics.

[25]  Stephen R. Ellis,et al.  Label segregation by remapping stereoscopic depth in far-field augmented reality , 2008, 2008 7th IEEE/ACM International Symposium on Mixed and Augmented Reality.

[26]  Erik D. Demaine,et al.  PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation , 2002, Theor. Comput. Sci..

[27]  Lacramioara Astefanoaei,et al.  An executable theory of multi-agent systems refinement , 2011 .

[28]  van den,et al.  Composition and synchronization of real-time components upon one processor , 2013 .

[29]  van Pja Paul Tilburg.  From computability to executability : a process-theoretic view on automata theory , 2011 .

[30]  E. Imhof.  Positioning Names on Maps , 1975 .

[31]  Joe Marks,et al.  An empirical study of algorithms for point-feature label placement , 1995, TOGS.

[32]  Ivan J. Balaban,et al.  An optimal algorithm for finding segments intersections , 1995, SCG '95.

[33]  Leonidas J. Guibas,et al.  Data structures for mobile data , 1997, SODA '97.

[34]  Chan-Su Shin,et al.  Adaptive Zooming in Point Set Labeling , 2005, FCT.

[35]  Sartaj Sahni,et al.  Computationally Related Problems , 1974, SIAM J. Comput..

[36]  Heidrun Schumann,et al.  Particle-based labeling: Fast point-feature labeling without obscuring other visual features , 2008, IEEE Transactions on Visualization and Computer Graphics.

[37]  Mark de Berg,et al.  Computing push plans for disk-shaped robots , 2010, 2010 IEEE International Conference on Robotics and Automation.

[38]  Raimund Seidel,et al.  Constructing arrangements of lines and hyperplanes with applications , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[39]  Kevin M. Lynch,et al.  Stable Pushing: Mechanics, Controllability, and Planning , 1995, Int. J. Robotics Res..

[40]  Steven Zoraster,et al.  INTEGER PROGRAMMING APPLIED TO THE MAP LABEL PLACEMENT PROBLEM , 1986 .

[41]  Stephanie Kemper,et al.  Modelling and analysis of real-time coordination patterns , 2011 .

[42]  Adriaan Middelkoop,et al.  Inference of Program Properties with Attribute Grammars, Revisited , 2012 .

[43]  Alan D. Christiansen,et al.  Experiments in Robot Learning , 1989, ML.

[44]  Paul Muter,et al.  Reading dynamically displayed text , 1989 .

[45]  Frank Wagner,et al.  A packing problem with applications to lettering of maps , 1991, SCG '91.

[46]  D. E. Nadales Agut,et al.  A Compositional Interchange Format for Hybrid Systems: Design and Implementation , 2012 .

[47]  Rüdiger Westermann,et al.  Temporally coherent real-time labeling of dynamic scenes , 2012, COM.Geo '12.

[48]  Bernard Chazelle.  Triangulating a simple polygon in linear time , 1991, Discret. Comput. Geom..

[49]  Pedro Ramos,et al.  A Unified Approach to Conic Visibility , 2000, Algorithmica.

[50]  Claudio Zito,et al.  Two-level RRT planning for robotic push manipulation , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[51]  Goos Kant,et al.  A Better Heuristic for Orthogonal Graph Drawings , 1994, ESA.

[52]  Hendrik Michaël van der Bijl,et al.  On changing models in model-based testing , 2011 .

[53]  Peter Eades,et al.  Effects of Crossing Angles , 2008, 2008 IEEE Pacific Visualization Symposium.

[54]  Seyyed Hamed Hashemi,et al.  Studies on verification of wireless sensor networks and abstraction learning for system inference , 2008 .

[55]  Alexander Wolff,et al.  Point labeling with sliding labels , 1999, Comput. Geom..

[56]  Mari Antonius Cornelis Dekker,et al.  Flexible Access Control for Dynamic Collaborative Environments , 2009 .

[57]  Michael Schreyer.  Letting Ants Labeling Point Features , 2002 .

[58]  Stephen R. Ellis,et al.  Objective and subjective assessment of stereoscopically separated labels in augmented reality , 2009, Comput. Graph..

[59]  Roger L. Wainwright,et al.  Placing Text Labels an Maps and Diagrams using Genetic Algorithms with Masking , 1997, INFORMS J. Comput..

[60]  Martin R. Neuhäußer,et al.  Model checking nondeterministic and randomly timed systems , 2010 .

[61]  Dirk Thierens,et al.  Using Genetic Algorithms for Solving Hard Problems in GIS , 2002, GeoInformatica.

[62]  Mark H. Overmars,et al.  Pushing a Disk Using Compliance , 2007, IEEE Transactions on Robotics.

[63]  Alexander Wolff,et al.  Optimizing active ranges for consistent dynamic map labeling , 2008, SCG '08.

[64]  Kevin Mote,et al.  Fast Point-Feature Label Placement for Dynamic Visualizations , 2007, Inf. Vis..

[65]  John Kenneth Salisbury,et al.  Pushing using learned manipulation maps , 2008, 2008 IEEE International Conference on Robotics and Automation.

[66]  Alexander Wolff,et al.  How Alexander the Great brought the Greeks together while inflicting minimal damage to the Barbarians , 2010 .

[67]  Kab Kevin Verbeek.  Algorithms for cartographic visualization , 2012 .

[68]  Matthew T. Mason,et al.  Mechanics of Robotic Manipulation , 2001 .

[69]  Gunnar W. Klau,et al.  Force-Based Label Number Maximization , 2003 .

[70]  Luiz Antonio Nogueira Lorena,et al.  Tabu Search Heuristic for Point-Feature Cartographic Label Placement , 2002, GeoInformatica.

[71]  Fpm Frank Stappers.  Bridging formal models : an engineering perspective , 2012 .

[72]  Arthur C. Sanderson,et al.  Minimization of energy in quasi-static manipulation , 1988, IEEE Trans. Robotics Autom..

[73]  Piotr Berman,et al.  Efficient Approximation Algorithms for Tiling and Packing Problems with Rectangles , 2001, J. Algorithms.

[74]  S. Saxena,et al.  Depression: a global public health concern , 2012 .

[75]  Xavier Décoret,et al.  Dynamic label placement for improved interactive exploration , 2008, NPAR.

[76]  Eduardo Zambon,et al.  Abstract Graph Transformation - Theory and Practice , 2013 .

[77]  Micha Sharir,et al.  Fat Triangles Determine Linearly Many Holes , 1994, SIAM J. Comput..

[78]  Somayeh Malakuti Khah Olun Abadi.  Event composition model: achieving naturalness in runtime enforcement , 2011 .

[79]  R. Bakhshi.  Gossiping Models : Formal Analysis of Epidemic Protocols , 2011 .

[80]  Saeed Sedghi,et al.  Towards Provably Secure Efficiently Searchable Encryption , 2012 .

[81]  Kenneth Y. Goldberg,et al.  Orienting polygonal parts without sensors , 1993, Algorithmica.

[82]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[83]  M. S. Greiler,et al.  Test Suite Comprehension for Modular and Dynamic Systems , 2013 .

[84]  Rustam Stolkin,et al.  Learning to predict how rigid objects behave under simple manipulation , 2011, 2011 IEEE International Conference on Robotics and Automation.

[85]  Leonidas J. Guibas,et al.  Linear-time algorithms for visibility and shortest path problems inside triangulated simple polygons , 1987, Algorithmica.

[86]  Gerhard de Koning Gans,et al.  Outsmarting smart cards , 2013 .

[87]  M.T. Mason,et al.  Dynamic manipulation , 1993, Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '93).

[88]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[89]  Alexander Wolff,et al.  A Practical Map Labeling Algorithm , 1997, Comput. Geom..

[90]  Kevin Buchin,et al.  Dynamic point labeling is strongly PSPACE-hard , 2013 .

[91]  Kevin M. Lynch,et al.  Estimating the friction parameters of pushed objects , 1993, Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '93).

[92]  Miguel E. Andrés,et al.  Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems , 2011, ArXiv.

[93]  Zef Hemel.  Methods and Techniques for the Design and Implementation of Domain-Specific Languages , 2012 .

[94]  Steven Zoraster,et al.  The Solution of Large 0-1 Integer Programming Problems Encountered in Automated Cartography , 1990, Oper. Res..

[95]  Timothy M. Chan.  A note on maximum independent sets in rectangle intersection graphs , 2004, Inf. Process. Lett..

[96]  José Proença,et al.  Synchronous Coordination of Distributed Components , 2011 .

[97]  Stephen R. Ellis,et al.  Detection thresholds for label motion in visually cluttered displays , 2010, 2010 IEEE Virtual Reality Conference (VR).

[98]  B. Lijnse,et al.  TOP to the rescue. Task-oriented programming for incident response applications , 2005 .

[99]  Georg Stadler,et al.  A Practical Map Labeling Algorithm Utilizing Morphological Image Processing and Force-directed Methods , 2006 .

[100]  Jja Jeroen Keiren,et al.  Advanced reduction techniques for model checking , 2013 .

[101]  Tom Drummond,et al.  Real-Time Video Annotations for Augmented Reality , 2005, ISVC.

[102]  Stephen R. Ellis,et al.  Visual clutter management in augmented reality: Effects of three label separation methods on spatial judgments , 2009, 2009 IEEE Symposium on 3D User Interfaces.

[103]  Heidrun Schumann,et al.  FLOATING LABELS : IMPROVING DYNAMICS OF INTERACTIVE LABELING APPROACHES , 2009 .

[104]  René Weiskircher,et al.  Label Number Maximization in the Slider Model , 2004, Graph Drawing.

[105]  Stephen A. Hirsch,et al.  An Algorithm for Automatic Name Placement Around Point Data , 1982 .

[106]  Stephen R. Ellis,et al.  Evaluation of Alternative Label Placement Techniques in Dynamic Virtual Environments , 2009, Smart Graphics.

[107]  Subhash Suri,et al.  Label placement by maximum independent set in rectangles , 1998, CCCG.

[108]  Alexander Wolff,et al.  Labeling Points with Weights , 2001, Algorithmica.

[109]  W. Kuijper.  Compositional Synthesis of Safety Controllers , 2012 .

[110]  Chee-Keng Yap,et al.  Dynamic Map Labeling , 2006, IEEE Transactions on Visualization and Computer Graphics.

[111]  D. T. Lee,et al.  Euclidean shortest paths in the presence of rectilinear barriers , 1984, Networks.

[112]  Takeo Igarashi,et al.  A dipole field for object delivery by pushing on a flat surface , 2010, 2010 IEEE International Conference on Robotics and Automation.

[113]  Lennart C. L. Kats,et al.  Building Blocks for Language Workbenches , 2011 .

[114]  de A. Bruin,et al.  Service-oriented discovery of knowledge : foundations, implementations and applications , 2010 .

[115]  Bas Basten,et al.  Ambiguity Detection for Programming Language Grammars , 2011 .

[116]  Takao Asano,et al.  Finding the Connected Components and a Maximum Clique of an Intersection Graph of Rectangles in the Plane , 1983, J. Algorithms.

[117]  Martin Nöllenburg,et al.  Consistent labeling of rotating maps , 2011, J. Comput. Geom..

[118]  Lionel Mamane,et al.  Interactive mathematical documents: creation and presentation , 2004 .

[119]  Walter J. Savitch,et al.  Relationships Between Nondeterministic and Deterministic Tape Complexities , 1970, J. Comput. Syst. Sci..

[120]  G. Swaminathan.  Robot Motion Planning , 2006 .

[121]  Tsuneo Yoshikawa,et al.  Indentification of the center of friction from pushing an object by a mobile robot , 1991, Proceedings IROS '91:IEEE/RSJ International Workshop on Intelligent Robots and Systems '91.

[122]  Sergey Bereg,et al.  New Bounds on Map Labeling with Circular Labels , 2004, ISAAC.

[123]  Binhai Zhu,et al.  A Factor-2 Approximation for Labeling Points with Maximum Sliding Labels , 2002, SWAT.

[124]  Lutz Plümer,et al.  FAST SCREEN MAP LABELING – DATA-STRUCTURES AND ALGORITHMS , 2003 .

[125]  Dennis Nieuwenhuisen,et al.  Path planning in changeable environments , 2004 .

[126]  Timothy M. Chan,et al.  Approximation Algorithms for Maximum Independent Set of Pseudo-Disks , 2009, Discrete & Computational Geometry.

[127]  Rajeev Motwani,et al.  Nonholonomic path planning for pushing a disk among obstacles , 1997, Proceedings of International Conference on Robotics and Automation.

[128]  Günther R. Raidl,et al.  A Genetic Algorithm for Labeling Point Features , 2003 .

[129]  Martin Nöllenburg,et al.  Sliding labels for dynamic point labeling , 2011, CCCG.

[130]  Z Zvezdan Protic,et al.  Configuration management for models : generic methods for model comparison and model co-evolution , 2011 .