A control architecture for autonomous robots founded on resource agents, 2012. ,
User Driven Improvements to Robotics Simulation in MORSE, Submitted to Simulation, Modeling, and Programming for Autonomous Robots, 2012. ,
Roar : Resource oriented agent architecture for the autonomy of robots, International Conference on Robotics and Automation, 2011. ,
Roar : Resource oriented agent architecture for the autonomy of robots, 9th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), 2011. ,
Modular open robots simulation engine: MORSE, 2011 IEEE International Conference on Robotics and Automation, pp.46-51, 2011. ,
DOI : 10.1109/ICRA.2011.5980252
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.469.4292
OVER THE HILL AND FAR AWAY: AERIAL/GROUND COOPERATION FOR LONG RANGE NAVIGATION, Field Robotics, 2011. ,
DOI : 10.1142/9789814374286_0025
Roar : une architecture orientée agents pour l'autonomie des robots, 18ème congrès francophone sur la Reconnaissance des Formes et l'Intelli- ANNEXE A. LISTE DES PUBLICATIONS gence Artificielle, 2012. ,
Une architecture pour l'autonomie des robots basée sur des agents-ressources, 6ème Conférence francophone sur les architectures logicielles, 2012. ,
A resource-agents robot control architecture : design and formalization, 7ème Conférence francophone sur les architectures logicielles, 2012. ,
Structuring processes into abilities : an informationoriented architecture for autonomous robots, 5th National Conference on Control Architectures of Robots, 2010. ,
Comments on capabilities, limitations and ???correctness??? of Petri nets, ACM SIGARCH Computer Architecture News, vol.2, issue.4, pp.81-86, 1973. ,
DOI : 10.1145/633642.803973
An Architecture for Autonomy, The International Journal of Robotics Research, vol.17, issue.4, pp.315-337, 1998. ,
DOI : 10.1177/027836499801700402
URL : https://hal.archives-ouvertes.fr/hal-00123273
Specifying and analyzing dynamic software architectures. Fundamental Approaches to Software Engineering, pp.21-37, 1998. ,
DOI : 10.1007/bfb0053581
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5206
Rewriting logic based approach for the formalization of critical systems based on multi-agent system, International Journal of Computer Applications, vol.13, issue.2, pp.6-13, 2011. ,
RT-middleware: distributed component middleware for RT (robot technology), 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.3933-3938, 2005. ,
DOI : 10.1109/IROS.2005.1545521
Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992. ,
DOI : 10.1093/logcom/2.3.297
Linear objects: Logical processes with built-in inheritance, New Generation Computing, vol.1, issue.3-4, pp.495-510, 1991. ,
DOI : 10.1007/BF03037173
The Linear Temporal Logic of Rewriting Maude Model Checker, Rewriting Logic and Its Applications, pp.208-225, 2010. ,
DOI : 10.1007/978-3-642-16310-4_14
URBI: towards a universal robotic low-level programming language, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.820-825, 2005. ,
DOI : 10.1109/IROS.2005.1545467
Procosa : a software package for autonomous system supervision, 1st National Workshop on Control Architectures of Robots : software approaches and issues, 2006. ,
Concurrent reactive plans : anticipating and forestalling execution failures, 2000. ,
DOI : 10.1007/3-540-46436-0
On the ??-calculus and linear logic, Theoretical Computer Science, vol.135, issue.1, pp.11-65, 1994. ,
DOI : 10.1016/0304-3975(94)00104-9
Design of the Remote Agent experiment for spacecraft autonomy, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339), 1998. ,
DOI : 10.1109/AERO.1998.687914
The foundations of Esterel. Proof, Language and Interaction : Essays in Honour of Robin Milner, pp.425-454, 2000. ,
An enumerative approach for analyzing time Petri nets, Proceedings IFIP. Citeseer, 1983. ,
The SMACH High-Level Executive [ROS News], IEEE Robotics & Automation Magazine, vol.17, issue.4, pp.18-20, 2010. ,
DOI : 10.1109/MRA.2010.938836
Experiences with an architecture for intelligent, reactive agents, Journal of experimental and theorical artificial intelligence, vol.9, pp.237-256, 1995. ,
DOI : 10.1007/3540608052_67
The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, p.338, 1998. ,
DOI : 10.1177/027836499801700403
URL : https://hal.archives-ouvertes.fr/hal-00930119
OVER THE HILL AND FAR AWAY: AERIAL/GROUND COOPERATION FOR LONG RANGE NAVIGATION, Field Robotics, pp.215-222, 2011. ,
DOI : 10.1142/9789814374286_0025
OVER THE HILL AND FAR AWAY: AERIAL/GROUND COOPERATION FOR LONG RANGE NAVIGATION, Field Robotics, 2011. ,
DOI : 10.1142/9789814374286_0025
Model checking linear logic specifications, Theory and Practice of Logic Programming, pp.5-6573, 2004. ,
DOI : 10.1017/S1471068404002066
Orca: A Component Model and Repository, Software Engineering for Experimental Robotics, pp.231-251, 2007. ,
DOI : 10.1007/978-3-540-68951-5_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.1653
Elephants don't play chess, Robotics and Autonomous Systems, vol.6, issue.1-2, pp.3-15, 1990. ,
DOI : 10.1016/S0921-8890(05)80025-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.6657
Software engineering for experimental robotics, 2007. ,
DOI : 10.1007/978-3-540-68951-5
Component-Based Robotic Engineering (Part II), IEEE Robotics & Automation Magazine, vol.17, issue.1, 2010. ,
DOI : 10.1109/MRA.2010.935798
Open robot control software: the OROCOS project, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), pp.2523-2528, 2001. ,
DOI : 10.1109/ROBOT.2001.933002
A multiagent approach to qualitative landmark-based navigation, Autonomous Robots, vol.15, issue.2, pp.129-154, 2003. ,
DOI : 10.1023/A:1025536924463
A concurrent logical framework ii : Examples and applications, 2003. ,
Relating state-based and process-based concurrency through linear logic (full-version) Information and Computation, pp.1044-1077, 2009. ,
DOI : 10.1016/j.ic.2008.11.006
URL : http://doi.org/10.1016/j.ic.2008.11.006
The focused inverse method for linear logic, 2006. ,
A Focusing Inverse Method Theorem Prover for First-Order Linear Logic, Automated Deduction ? CADE-20, pp.737-737, 2005. ,
DOI : 10.1007/11532231_6
Using iterative repair to improve responsiveness of planning and scheduling, Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling, pp.300-307, 2000. ,
Scenario analysis based on linear logic, Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology , ACE '05, 2005. ,
DOI : 10.1145/1178477.1178583
Special Issue on Integrated Architectures for Robot Control and Programming, The International Journal of Robotics Research, vol.17, issue.4, 1998. ,
DOI : 10.1177/027836499801700401
Architecture, the backbone of robotic systems, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065), 2000. ,
DOI : 10.1109/ROBOT.2000.844041
Deductive Synthesis of Recursive Plans in Linear Logic, Proceedings of the 5th European Conference on Planning : Recent Advances in AI Planning, pp.252-264, 2000. ,
DOI : 10.1007/10720246_20
Structuring processes into abilities : an information-oriented architecture for autonomous robots, 5th National Conference on Control Architectures of Robots, 2010. ,
Roar : Resource oriented agent architecture for the autonomy of robots, International Conference on Robotics and Automation, 2011. ,
Roar : Resource oriented agent architecture for the autonomy of robots, 9th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), 2011. ,
A control architecture for autonomous robots founded on resource agents, 2012. ,
A resource-agents robot control architecture : design and formalization, 7th National Conference on Control Architectures of Robots, 2012. ,
Roar : une architecture orientée agents pour l'autonomie des robots, 18ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle, 2012. ,
Une architecture pour l'autonomie des robots basée sur des agents-ressources, 6ème Conférence francophone sur les architectures logicielles, 2012. ,
Planning as deductive synthesis in intuitionistic linear logic, 2006. ,
A formal analysis framework for plexil, Proceedings of 3rd Workshop on Planning and Plan Execution for Real-World Systems, pp.45-51, 2007. ,
Rewriting Logic Semantics of a Plan Execution Language, Electronic Proceedings in Theoretical Computer Science, pp.77-91, 2010. ,
DOI : 10.4204/EPTCS.18.6
Flexible Optimization and Evolution of Underwater Autonomous Agents, New Directions in Rough Sets, Data Mining, and Granular-Soft Computing, pp.519-527, 1999. ,
DOI : 10.1007/978-3-540-48061-7_64
Modular open robots simulation engine: MORSE, 2011 IEEE International Conference on Robotics and Automation, pp.46-51, 2011. ,
DOI : 10.1109/ICRA.2011.5980252
User Driven Improvements to Robotics Simulation in MORSE, Submitted to Simulation, Modeling, and Programming for Autonomous Ro- bots, 2012. ,
Decision-making in a robotic architecture for autonomy, Proceedings of the International Symposium on Artificial Intelligence, Robotics, and Automation in Space, 2001. ,
Linear Concurrent Constraint Programming: Operational and Phase Semantics, Information and Computation, vol.165, issue.1, pp.14-41, 2001. ,
DOI : 10.1006/inco.2000.3002
URL : https://hal.archives-ouvertes.fr/hal-01431358
Adaptive Execution in Complex Dynamic Worlds, 1989. ,
Towards long-lived robot genes, Robotics and Autonomous Systems, vol.56, issue.1, pp.29-45, 2008. ,
DOI : 10.1016/j.robot.2007.09.014
GenoM : a tool for the specification and the implementation of operating modules in a distributed robot architecture, Proceedings of the 1997 IEEE, pp.842-849, 1997. ,
Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.159-173, 2010. ,
DOI : 10.1145/1925805.1925814
ALFA: a language for programming reactive robotic control systems, Proceedings. 1991 IEEE International Conference on Robotics and Automation, pp.1116-1121, 1991. ,
DOI : 10.1109/ROBOT.1991.131743
Integrating reaction and planning in a heterogeneous asynchronous architecture for mobile robot navigation, ACM SIGART Bulletin, vol.2, issue.4, pp.70-74, 1991. ,
DOI : 10.1145/122344.122357
ESL: a language for supporting robust plan execution in embedded autonomous agents, 1997 IEEE Aerospace Conference, pp.319-324, 1997. ,
DOI : 10.1109/AERO.1997.574422
On three-layer architectures, Artificial intelligence and mobile robots, pp.195-210, 1997. ,
Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935. ,
DOI : 10.1007/BF01201353
Multi-agent architectures as organizational structures, Autonomous Agents and Multi-Agent Systems, vol.13, 2001. ,
Linear logic. Theoretical computer science, pp.1-101, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00075966
The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996. ,
DOI : 10.1145/235321.235322
Resource-distribution via Boolean constraints, pp.222-236, 1997. ,
Experiments with the subsumption architecture, Proceedings. 1991 IEEE International Conference on Robotics and Automation, pp.1652-1658, 1991. ,
DOI : 10.1109/ROBOT.1991.131856
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
DOI : 10.1145/359576.359585
Logic programming in a fragment of intuitionistic linear logic, Logic in Computer Science, 1991. LICS'91 Proceedings of Sixth Annual IEEE Symposium on, pp.32-42, 1991. ,
PRS: a high level supervision and control language for autonomous mobile robots, Proceedings of IEEE International Conference on Robotics and Automation, 1996. ,
DOI : 10.1109/ROBOT.1996.503571
A multi-agent architecture with cooperative fuzzy control for a mobile robot, Robotics and Autonomous Systems, vol.55, issue.12, pp.55881-891, 2007. ,
DOI : 10.1016/j.robot.2007.07.007
Semantics of Inhibitor Nets, Information and Computation, vol.123, issue.1, pp.1-16, 1995. ,
DOI : 10.1006/inco.1995.1153
Coloured Petri Nets, Petri Nets : Central Models and Their Properties, pp.248-299, 1007. ,
DOI : 10.1007/978-3-540-47919-2_10
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.213-254, 2007. ,
DOI : 10.1007/s10009-007-0038-x
Universal Executive and PLEXIL : Engine and Language for Robust Spacecraft Control and Operations, AIAA Space Confe- rence, 2006. ,
A Plan Manager for Multi-robot Systems, The International Journal of Robotics Research, vol.28, issue.2, pp.220-240, 2009. ,
DOI : 10.1177/0278364908098370
URL : https://hal.archives-ouvertes.fr/hal-00166798
On linear logic planning and concurrency, Information and Computation, vol.207, issue.11, pp.1229-1258, 2009. ,
DOI : 10.1016/j.ic.2009.02.008
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity, Mathematical Structures in Computer Science, vol.11, issue.06, pp.689-716, 2001. ,
DOI : 10.1017/S0960129501003413
URL : https://hal.archives-ouvertes.fr/hal-00003493
ACL -A concurrent linear logic programming paradigm, Proceedings of the 1993 International Logic Programming Symposium, pp.279-294, 1993. ,
Creating computer simulation systems : an introduction to the high level architecture, 1999. ,
Resource-conscious AI planning with conjunctions and disjunctions, Acta Cybernetica, vol.15, issue.4, pp.601-620, 2002. ,
Autonomous rover navigation on unknown terrains : Functions and integration, International Journal of Robotics Research, vol.21, pp.10-11917, 2002. ,
Foundations of Logic Programming, 1987. ,
Monadic concurrent linear logic programming, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.35-46, 2005. ,
DOI : 10.1145/1069774.1069778
Representing and analyzing action plans as networks of concurrent processes Robotics and Automation, IEEE Transactions on, vol.9, issue.3, pp.241-256, 1993. ,
GenoM3: Building middleware-independent robotic components, 2010 IEEE International Conference on Robotics and Automation, 2010. ,
DOI : 10.1109/ROBOT.2010.5509539
From Petri Nets to Linear Logic, Category Theory and Computer Science, pp.313-340, 1989. ,
Rewriting Logic as a Logical and Semantic Framework, Electronic Notes in Theoretical Computer Science, vol.4, pp.190-225, 1996. ,
DOI : 10.1007/978-94-017-0464-9_1
Dynamic Worlds : From the Frame Problem to Knowledge Management, chapter Action and change in rewriting logic, 1999. ,
Integrated Planning and Execution for Robotic Exploration, International Workshop on Hybrid Control of Autonomous Systems, 2009. ,
A deliberative architecture for AUV control, 2008 IEEE International Conference on Robotics and Automation, 2008. ,
DOI : 10.1109/ROBOT.2008.4543343
Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992. ,
DOI : 10.1016/0304-3975(92)90182-F
Notes on model checking and abstraction in rewriting logic, 2003. ,
Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992. ,
DOI : 10.1109/2.161279
A calculus of communicating systems, 1982. ,
DOI : 10.1007/3-540-10235-3
The definition of standard ML : revised, 1997. ,
A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-77, 1992. ,
DOI : 10.1016/0890-5401(92)90008-4
Resolution calculus for the first order linear logic, Journal of Logic, Language and Information, vol.35, issue.N2, pp.59-83, 1993. ,
DOI : 10.1007/BF01051768
Notions of computation and monads. Information and computation, pp.55-92, 1991. ,
SCOOP ??? A Contract-Based Concurrent Object-Oriented Programming Model, Lecture Notes in Computer Science, vol.21, issue.4, pp.41-90, 2007. ,
DOI : 10.1007/s00165-008-0073-8
IDEA : Planning at the Core of Autonomous Reactive Agents, International NASA Workshop on Planning and Scheduling for Space, 2002. ,
MOOS-mission orientated operating suite, Massachusetts Institute of Technology , Tech. Rep, issue.08, p.2299, 2008. ,
Principles of artificial intelligence, 1980. ,
DOI : 10.1007/978-3-662-09438-9
Isabelle/HOL : a proof assistant for higherorder logic, 2002. ,
DOI : 10.1007/3-540-45949-9
??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004. ,
DOI : 10.1145/986710.986728
Monadic robotics, the Proceedings of the Workshop on Domain Specific Languages, 1999. ,
Lambda in motion : Controlling robots with haskell. Practical Aspects of Declarative Languages, pp.91-105, 1998. ,
Dependable execution control for autonomous robots, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), 2004. ,
DOI : 10.1109/IROS.2004.1389549
A systematic agent framework for situated autonomous systems, 9th International Conference on Autonomous Agents and Multiagent Systems, pp.583-590, 2010. ,
Proactor ? An Object Behavioral Pattern for Demultiplexing and Dispatching Handlers for Asynchronous Events, 4th annual Pattern Languages of Programming conference in Allerton Park, 1997. ,
ROS : an open-source Robot Operating System, ICRA Workshop on Open Source Software, 2009. ,
Coordination in evolving systems, Distributed Systems CORBA and Beyond, pp.162-176, 1996. ,
DOI : 10.1007/3-540-61842-2_34
Model-checking csp. A Classical Mind, Essays in Honour of CAR Hoare, pp.353-378, 1994. ,
RT-SLAM: A Generic and Real-Time Visual SLAM Implementation, International Conference on Vision Systems, 2011. ,
DOI : 10.1016/j.patrec.2005.03.022
URL : https://hal.archives-ouvertes.fr/hal-00667191
Celf ? A Logical Framework for Deductive and Concurrent Systems (System Description) Automated Reasoning, pp.320-326, 2008. ,
Pattern-oriented software architecture : Patterns for concurrent and networked objects, 2000. ,
Best Practice in Robotics : Best Practice Assessment of Software Technologies for Robotics, 2010. ,
A task description language for robot control, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190), 1998. ,
DOI : 10.1109/IROS.1998.724883
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver, IEEE Transactions on Computers, vol.29, issue.12, pp.1104-1113, 1980. ,
DOI : 10.1109/TC.1980.1675516
Applying the ARTIS Agent Architecture to Mobile Robot Control, Proceedings of the 7th Ibero-American Conference on AI : Advances in Artificial Intelligence, pp.359-368, 2000. ,
Phase model checking for some linear logic calculi, Proceedings of the Second International Workshop of the Implementation of Logics, pp.60-80, 2001. ,
Rewriting logic as a unifying framework for petri nets. Unifying Petri Nets, pp.250-303, 2001. ,
Model checking CSP revisited : Introducing a process analysis toolkit. Leveraging Applications of Formal Methods, Verification and Validation, pp.307-322, 2009. ,
Proof strategies in linear logic, Journal of Automated Reasoning, vol.12, issue.1?3, pp.273-304, 1994. ,
DOI : 10.1007/BF00885763
A Complete Methodology for Generating Multi-Robot Task Solutions using ASyMTRe-D and Market-Based Task Allocation, Proceedings 2007 IEEE International Conference on Robotics and Automation, pp.3351-3358, 2007. ,
DOI : 10.1109/ROBOT.2007.363990
ASyMTRe: Automated Synthesis of Multi-Robot Task Solutions through Software Reconfiguration, Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp.1513-1520, 2005. ,
DOI : 10.1109/ROBOT.2005.1570327
Input/Output for ELAN, Electronic Notes in Theoretical Computer Science, vol.4, pp.51-64, 1996. ,
DOI : 10.1016/S1571-0661(04)00033-7
URL : http://doi.org/10.1016/s1571-0661(04)00033-7
The CLARAty architecture for robotic autonomy, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542), 2001. ,
DOI : 10.1109/AERO.2001.931701
A concurrent logical framework : The propositional fragment. Types for Proofs and Programs, pp.355-377, 2004. ,
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien. Leitfäden der Informatik. Vieweg+Teubner. 248 pages, 2010. ,
Petri Net Plans, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems International Foundation for Autonomous Agents and Multiagent Systems, pp.79-86, 2008. ,
DOI : 10.1007/s10458-010-9146-1