Now showing items 1-5 of 5

    • LinGraph: a graph-based automated planner for concurrent task planning based on linear logic 

      Kortik S.; Saranli, U. (Springer New York LLC, 2017)
      In this paper, we introduce an automated planner for deterministic, concurrent domains, formulated as a graph-based theorem prover for a propositional fragment of intuitionistic linear logic, relying on the previously ...
    • Novel compression algorithm based on sparse sampling of 3-D laser range scans 

      Dobrucali, O.; Barshan, B. (Oxford University Press, 2013)
      Three-dimensional models of environments can be very useful and are commonly employed in areas such as robotics, art and architecture, facility management, water management, environmental/industrial/urban planning and ...
    • Reactive footstep planning for a planar spring mass hopper 

      Arslan O.; Saranli, U.; Morgül O. (2009)
      The main driving force behind research on legged robots has always been their potential for high performance locomotion on rough terrain and the outdoors. Nevertheless, most existing control algorithms for such robots ...
    • Reactive planning and control of planar spring-mass running on rough terrain 

      Arslan, Ö.; Saranlı, U. (Institute of Electrical and Electronics Engineers, 2012)
      An important motivation for work on legged robots has always been their potential for high-performance locomotion on rough terrain. Nevertheless, most existing control algorithms for such robots either make rigid assumptions ...
    • Voting as validation in robot programming 

      Utete, S. W.; Barshan, B.; Ayrulu, B. (Sage Publications Ltd., 1999-04)
      This paper investigates the use of voting as a conflict-resolution technique for data analysis in robot programming. Voting represents an information-abstraction technique. It is argued that in some cases a voting approach ...