Control of industrial robots through high-level task programming

In this thesis we present an experimental research platform in robotics, XPROB. This platform has been designed to be a tool that facilitates the development of robotic applications. XPROB achieves ...

[1]  Ulf Cederling,et al.  Industrial Software Development - A Case Study , 1993, ESEC.

[2]  Stanley A. Schneider,et al.  System design and interfaces for intelligent manufacturing workcell , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[3]  Pär Carlshamre.  A collaborative approach to usability engineering : technical communicators and system developers in usability-oriented systems development , 1994 .

[4]  Giovanni C. Pettinaro,et al.  Basic set of behaviours for programming assembly robots , 1995 .

[5]  Henrik Nilsson,et al.  A Declarative Approach to Debugging for Lazy Functional Languages , 1994 .

[6]  Peter Jonsson.  Complexity of state-variable planning under structural restrictions , 1995 .

[7]  Lars Karlsson,et al.  Specification and Synthesis of Plans Using the Features and Fluents Framework , 1995 .

[8]  Jonas S. Karlsson.  A Scalable Data Structure for A Parallel Data Server , 1997 .

[9]  Johan Herber.  Environment support for building structured mathematical models , 1995 .

[10]  Stefan Svenberg.  Structure-driven derivation of inter-lingual functor-argument trees for multi-lingual generation , 1995 .

[11]  Shamsul I. Chowdhury,et al.  Statistical expert systems : a special application area for knowledge-based computer methodology , 1987 .

[12]  Matthieu Herrb,et al.  Design of a modular architecture for autonomous robot , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[13]  Ling Lin,et al.  A Value-Based Indexing Technique for Time Sequences , 1997 .

[14]  A. Larsson.  Ekonomisk styrning och organisatorisk passion : ett interaktivt perspektiv , 1997 .

[15]  Joakim Eriksson.  Specifying and Managing Rules in an Active Real-Time Database System , 1998 .

[16]  Jonas Löwgren.  The Ignatius Environment: Supporting the Design and Development of Expert-System User Interfaces , 1992, IEEE Expert.

[17]  Per-Arne Persson.  Toward a grounded theory for support of command and control in military coalitions , 1997 .

[18]  G Wittenberg.  Developments in offline programming: an overview , 1995 .

[19]  Bengt E. W. Andersson.  Samverkande informationssystem mellan aktörer i offentliga åtaganden : en teori om aktörsarenor i samverkan om utbyte av information , 1998 .

[20]  Torbjörn Näslund.  SLDFA-resolution : computing answers for negative queries , 1990 .

[21]  Joakim Gustafsson.  Extending temporal action logic for ramification and concurrency , 1998 .

[22]  J. Lind.  Creditor - firm relations : an interdisciplinary analysis , 1994 .

[23]  Roland N. Bol,et al.  Tabulated Resolution for the Well-Founded Semantics , 1993, J. Log. Program..

[24]  Christian Laugier,et al.  Combining vision based information and partial geometric models in automatic grasping , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[25]  Phillip J. McKerrow,et al.  Introduction to robotics , 1991 .

[26]  Juha Takkinen,et al.  CAFE: Towards a Conceptual Model for Information Management in Electronic Mail , 1997 .

[27]  Vadim Engelson,et al.  An Approach to Automatic Construction of Graphical User Interfaces for Applications in Scientific Co , 1996 .

[28]  Henrik Nordin.  On the use of typical cases for knowledge-based consultation and teaching , 1985 .

[29]  John E. Howland,et al.  Computer graphics , 1990, IEEE Potentials.

[30]  Bernd Scholz-Reiter,et al.  Flexible robot-based disassembly cell for obsolete TV-sets and monitors , 1999 .

[31]  Mats Larsson,et al.  A transformational approach to formal digital system design , 1993, Linköping studies in science and technology thesis.

[32]  Thomas Padron-McCarthy.  Performance-Polymorphic Declarative Queries , 1998 .

[33]  J. P. Baartman.  Automation of Assembly operations on Parts , 1995 .

[34]  Karin Hedström.  Kunskapsanvändning och kunskapsutveckling hos verksamhetskonsulter - erfarenheter från ett FoU- samarbete , 2000 .

[35]  Peter Carlsson.  Separation av företagsledning och finansiering : fallstudier av företagsledarutköp ur ett agentteoretiskt perspektiv ... , 1994 .

[36]  Kristina Larsen.  Förutsättningar och begränsningar för arbete på distans : erfarenheter från fyra svenska företag , 1996 .

[37]  Bartholomew O. Nnaji.  Theory of automatic robot assembly and programming , 1992 .

[38]  Ruzena Bajcsy,et al.  Three-Dimensional Object Representation , 1982 .

[39]  Gerry B. Andeen,et al.  Toward a science of assembly , 1997, Robotics Auton. Syst..

[40]  Jimmy Tjäder.  Projektledaren a planen : en studie av projektledning i tre installations- och systemutvecklingprojekt , 1998 .

[41]  Tomas Sokolnicki.  Coaching partial plans : an approach to knowledge-based tutoring , 1990 .

[42]  Xinli Gu.  Testability analysis and improvement in high-level synthesis systems , 1992 .

[43]  Olof Johansson,et al.  Improving implementation of graphical user interfaces for object-oriented knowledge-bases , 1991 .

[44]  John Lapham.  RobotScript™: the introduction of a universal robot programming language , 1999 .

[45]  Johnny Eckerland.  Retargeting of an incremental code generator. , 1984 .

[46]  D. Chevron,et al.  Automation of disassembly processes and its information systems , 1999, Proceedings First International Symposium on Environmentally Conscious Design and Inverse Manufacturing.

[47]  Russell H. Taylor,et al.  On homogeneous transforms, quaternions, and computational efficiency , 1990, IEEE Trans. Robotics Autom..

[48]  Jonas S. Karlsson.  Towards a strategy for software requirements selection , 1995 .

[49]  Gerhard Schrott.  An Experimental Environment for Task-Level Programming of Robots , 1991, ISER.

[50]  D.J. Miller,et al.  An object-oriented environment for robot system architectures , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[51]  Owen Eriksson.  Informationssystem med verksamhetskvalitet : utvärdering baserat på ett verksamhetsinriktat och samskapande perspektiv , 1994 .

[52]  P. Doherty.  A three-valued approach to non-monotonic reasoning , 1990 .

[53]  Narendra Ahuja,et al.  Gross motion planning—a survey , 1992, CSUR.

[54]  Jiang Cuiyun,et al.  A knowledge-based approach for object classification for robotic assembly , 1997, 1997 IEEE International Conference on Intelligent Processing Systems (Cat. No.97TH8335).

[55]  Eva L. Ragnemalm.  Towards student modelling through collaborative dialogue with a learning companion , 1995 .

[56]  Christer Hansson.  A prototype system for logical reasoning about time and action , 1990 .

[57]  D. J. Miller,et al.  An object-oriented environment for robot system architectures , 1991 .

[58]  Ulf Seigerroth.  Integration av Förändringsmetoder : en modell för välgrundad metodintegration , 1998 .

[59]  Tomás Lozano-Pérez,et al.  Task-level planning of pick-and-place robot motions , 1989, Computer.

[60]  Pär J. Ågerfalk,et al.  Pragmatization of Information Systems - A Theoretical and Methodological Outline , 1999 .

[61]  Chipan Hwang,et al.  A knowledge-based task-level programming and execution environment for robots , 1996 .

[62]  Avinash C. Kak,et al.  Integrating sensing, task planning and execution , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[63]  Tim C. Lueth,et al.  From CAD-based kinematic modeling to automated robot programming , 1996 .

[64]  Anna Moberg.  Satellitkontor : en studie av kommunikationsmönster vid arbete på distans , 1993 .

[65]  J. Hesselbach,et al.  Disassembly simulation for an effective recycling of electrical scrap , 1999, Proceedings First International Symposium on Environmentally Conscious Design and Inverse Manufacturing.

[66]  Tim Hansen.  Diagnosing faults using knowledge about malfunctioning behavior , 1988 .

[67]  U. Rembold,et al.  Computer Integrated Manufacturing And Engineering , 1993 .

[68]  Atef Fahim,et al.  The UniSet approach for the programming of flexible manufacturing cells , 1998 .

[69]  Zebo Peng.  Steps towards the formalization of designing VLSI systems , 1985 .

[70]  Anders Bäckström,et al.  Värdeskapande kreditgivning : kreditriskhantering ur ett agentteoretiskt perspektiv , 1998 .

[71]  William A. Gruver.  Intelligent robotics in manufacturing, service, and rehabilitation: an overview , 1994, IEEE Trans. Ind. Electron..

[72]  K. Pettersson.  Informationssystemstrukturering, ansvarsfördelning och användarinflytande : en komparativ studie med utgångspunkt i två informationssystemstrategier , 1994 .

[73]  Marcus Bjäreland,et al.  Two Aspects of Automating Logics of Action and Change : Regression and Tractability , 1998 .

[74]  Mikael Lind.  Affärsprocessinriktad förändringsanalys : utveckling och tillämpning av synsätt och metod , 1996 .

[75]  Jean-Claude Latombe,et al.  On-Line Manipulation Planning for Two Robot Arms in a Dynamic Environment , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[76]  Fumio Mizoguchi,et al.  A multiagent robot language for communication and concurrency control , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[77]  Peter Ingels,et al.  A Robust Text Processing Technique Applied to Lexical Error Recovery , 1997, ArXiv.

[78]  Ulf Melin.  Informationssystem vid ökad affärs- och processorientering: egenskaper, strategier och utveckling , 1998 .

[79]  Linda Askenäs,et al.  Affärssystemet : en studie om teknikens aktiva och passiva roll i en organisation , 2000 .

[80]  Tim Hansen,et al.  Diagnosing multiple faults using knowledge about malfunctioning behavior , 1988, IEA/AIE '88.

[81]  Staffan Flodin,et al.  Efficient Management of Object-Oriented Queries with Late Binding , 1996 .

[82]  Gustav Fahl,et al.  Object Views of Relational Data in Multidatabase Systems , 1994 .

[83]  Anders Törne,et al.  Model for the Execution of Task-Level Specifications for Intelligent and Flexible Manufacturing Systems , 1994 .

[84]  Nikolaos Papanikolopoulos,et al.  Vision-guided robotic grasping: issues and experiments , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[85]  Russell H. Taylor,et al.  AML: A Manufacturing Language , 1982 .

[86]  Vincent S. S. Hwang,et al.  Integrated prototyping environment for programmable automation , 1992, Other Conferences.

[87]  Charlotte Björkegren,et al.  Learning for the next project : bearers and barriers in knowledge transfer within an organisation , 1999 .

[88]  Tomás Lozano-Pérez,et al.  Planning two-fingered grasps for pick-and-place operations on polyhedra , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[89]  Jonni Harrius.  An architecture and a knowledge representation model for expert critiquing systems , 1993 .

[90]  Henry Y. K. Lau,et al.  Object-oriented specification of automated manufacturing systems , 1999 .

[91]  Anders Törne,et al.  A layered architecture for real time applications , 1995, Proceedings Seventh Euromicro Workshop on Real-Time Systems.