Model-based Techniques for Dependable Decision Making in Groups of Agents Operating Autonomously

of the Dissertation Model-based Techniques for Dependable Decision Making in Groups of Agents Operating Autonomously

[1]  David M. Keirsey,et al.  Planning Strategic Paths Through Variable Terrain Data , 1984, Other Conferences.

[2]  Thomas A. Henzinger,et al.  An Interface Algebra for Real-Time Components , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[3]  K. Passino,et al.  A class of attractions/repulsion functions for stable swarm aggregations , 2004 .

[4]  Oussama Khatib,et al.  Elastic bands: connecting path planning and control , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[5]  Yoav Shoham,et al.  Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations , 2009 .

[6]  P. Taillibert,et al.  Fast Trajectory Planning for Multiple Site Surveillance through Moving Obstacles and Wind , 2006 .

[7]  Oliver Brock,et al.  Real-time obstacle avoidance and motion coordination in a multi-robot workcell , 1999, Proceedings of the 1999 IEEE International Symposium on Assembly and Task Planning (ISATP'99) (Cat. No.99TH8470).

[8]  Franco Zambonelli,et al.  Distributed motion coordination with Co-Fields: a case study in urban traffic management , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..

[9]  Ryan Newton,et al.  Region streams: functional macroprogramming for sensor networks , 2004, DMSN '04.

[10]  Juris Vagners,et al.  EVOLVING (SEMI)-AUTONOMOUS VEHICLES , 2001 .

[11]  Jose B. Cruz,et al.  Adaptive models of pop-up threats for multi-agent persistent area denial , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[12]  D. B. Fogel,et al.  Optimal routing of multiple autonomous underwater vehicles through evolutionary programming , 1990, Symposium on Autonomous Underwater Vehicle Technology.

[13]  Alexander Zelinsky,et al.  A mobile robot exploration algorithm , 1992, IEEE Trans. Robotics Autom..

[14]  Viktor K. Prasanna,et al.  ModelML: a Markup Language for Automatic Model Synthesis , 2007, 2007 IEEE International Conference on Information Reuse and Integration.

[15]  MengLei Jia,et al.  An efficient strategy integrating grid and topological information for robot exploration , 2004, IEEE Conference on Robotics, Automation and Mechatronics, 2004..

[16]  Héctor H. González-Baños,et al.  Navigation Strategies for Exploring Indoor Environments , 2002, Int. J. Robotics Res..

[17]  Meng Wang,et al.  Towards Scalable Distributed Control of Unmanned Autonomous Vehicles , 2007, 2007 4th International Symposium on Applied Computational Intelligence and Informatics.

[18]  Anthony Stentz,et al.  Optimal and efficient path planning for partially-known environments , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[19]  Ian M. Mitchell,et al.  Safety verification of conflict resolution manoeuvres , 2001, IEEE Trans. Intell. Transp. Syst..

[20]  Ramesh Govindan,et al.  Macro-programming Wireless Sensor Networks Using Kairos , 2005, DCOSS.

[21]  Martin Buss,et al.  Combined Trajectory Planning and Gaze Direction Control for Robotic Exploration , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[22]  O. A. Yakimenko,et al.  Airplane trajectory control at the stage of rendezvous with maneuvering object algorithms synthesis , 1998, Proceedings of the IEEE 1998 National Aerospace and Electronics Conference. NAECON 1998. Celebrating 50 Years (Cat. No.98CH36185).

[23]  O. Yakimenko.  Direct Method for Rapid Prototyping of Near-Optimal Aircraft Trajectories , 2000 .

[24]  H. Van Dyke Parunak,et al.  Digital pheromone mechanisms for coordination of unmanned vehicles , 2002, AAMAS '02.

[25]  Takehisa Yairi,et al.  Information-based exploration strategy for mobile robot in dynamic environment , 2009, 2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation - (CIRA).

[26]  Lothar Thiele,et al.  Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling , 2005, EMSOFT.

[27]  Carlo Rossi,et al.  Giotto a time-triggered language for embedded programming , 2011 .

[28]  S. Sastry,et al.  Autonomous Exploration in Unknown Urban Environments for Unmanned Aerial Vehicles , 2005 .

[29]  Brian Capozzi,et al.  EVOLUTIONARY APPROACHES TO PATH PLANNING THROUGH UNCERTAIN ENVIRONMENTS , 2002 .

[30]  S. Shankar Sastry,et al.  Utilizing parallax information for collision avoidance in dynamic environments , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[31]  David C. Brogan,et al.  Group Behaviors for Systems with Significant Dynamics , 1997, Auton. Robots.

[32]  Kevin M. Passino,et al.  Decentralized redistribution for cooperative patrol , 2008 .

[33]  Francesco Amigoni,et al.  A Multi-Objective Exploration Strategy for Mobile Robots , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[34]  Sven Koenig,et al.  Improved analysis of greedy mapping , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[35]  Shell-Ying Huang,et al.  New Cost Function for Multi-Robot Exploration , 2006, 2006 9th International Conference on Control, Automation, Robotics and Vision.

[36]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

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

[38]  Dit-Yan Yeung,et al.  A decentralized approach to the motion planning problem for multiple mobile robots , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[39]  James H. Oliver,et al.  UAV Swarm Control: Calculating Digital Pheromone Fields with the GPU , 2006 .

[40]  I.I. Kaminer,et al.  Cooperative control of small UAVs for naval applications , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[41]  Allon Guez,et al.  Time optimal robot navigation via the slack set method , 1990, IEEE Trans. Syst. Man Cybern..

[42]  Koren,et al.  Real-Time Obstacle Avoidance for Fast Mobile Robots , 2022 .

[43]  Kevin M. Passino,et al.  Stability analysis of swarms , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[44]  P. Eles,et al.  Scheduling with Buss Access Optimization for Distributed Embedded Systems , 2008 .

[45]  Carlos A. Coello Coello,et al.  An updated survey of GA-based multiobjective optimization techniques , 2000, CSUR.

[46]  Hiroaki Yamaguchi,et al.  A distributed motion coordination strategy for multiple nonholonomic mobile robots in cooperative hunting operations , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[47]  Diran Basmadjian,et al.  The Art of Modeling in Science and Engineering with Mathematica , 1999 .

[48]  D. Rathbun,et al.  An evolution based path planning algorithm for autonomous motion of a UAV through uncertain environments , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[49]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[50]  Vincenzo Caglioti,et al.  A Mobile Robot Mapping System with an Information-Based Exploration Strategy , 2004, ICINCO.

[51]  Alan C. Schultz,et al.  Integrating map learning, localization and planning in a mobile robot , 1998, Proceedings of the 1998 IEEE International Symposium on Intelligent Control (ISIC) held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA) Intell.

[52]  Jonathan P. How,et al.  Linear Programming and Language Processing for Human-Unmanned Aerial-Vehicle Team Missions , 2006 .

[53]  K.M. Passino,et al.  Cooperative task scheduling for networked uninhabited air vehicles , 2008, IEEE Transactions on Aerospace and Electronic Systems.

[54]  Yoshiaki Kuwata,et al.  Flight Demonstrations of Cooperative Control for UAV Teams , 2004 .