1 KIMAS 2003Dr. K. Kleinmann An Infrastructure for Adaptive Control of Multi-Agent Systems Dr. Karl Kleinmann, Richard Lazarus, Ray Tomlinson KIMAS, October.

Slides:



Advertisements
Similar presentations
© Chinese University, CSE Dept. Software Engineering / Software Engineering Topic 1: Software Engineering: A Preview Your Name: ____________________.
Advertisements

4.1.5 System Management Background What is in System Management Resource control and scheduling Booting, reconfiguration, defining limits for resource.
COORDINATION and NETWORKING of GROUPS OF MOBILE AUTONOMOUS AGENTS.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
Using DSVM to Implement a Distributed File System Ramon Lawrence Dept. of Computer Science
The Network Connection Yasmin Merali
1 Intelligent Agents Software analog to human agents real estate agent, librarian, salesperson Perform tasks individually, or in collaboration Static and.
Variability Oriented Programming – A programming abstraction for adaptive service orientation Prof. Umesh Bellur Dept. of Computer Science & Engg, IIT.
Analyzing the tradeoffs between breakup and cloning in the context of organizational self-design By Sachin Kamboj.
Vertically Integrated Analysis and Transformation for Embedded Software John Regehr University of Utah.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
1 Quality Objects: Advanced Middleware for Wide Area Distributed Applications Rick Schantz Quality Objects: Advanced Middleware for Large Scale Wide Area.
Improving Robustness in Distributed Systems Jeremy Russell Software Engineering Honours Project.
Architectural Design Principles. Outline  Architectural level of design The design of the system in terms of components and connectors and their arrangements.
The Architecture of Transaction Processing Systems
Diffusion scheduling in multiagent computing system MotivationArchitectureAlgorithmsExamplesDynamics Robert Schaefer, AGH University of Science and Technology,
Agents to Simulate Social Human Behaviour in a Work Team Agents to Simulate Social Human Behaviour in a Work Team Barcelona, February Arantza Aldea.
1 FM Overview of Adaptation. 2 FM RAPIDware: Component-Based Design of Adaptive and Dependable Middleware Project Investigators: Philip McKinley, Kurt.
.NET Mobile Application Development Introduction to Mobile and Distributed Applications.
Web Application Architecture: multi-tier (2-tier, 3-tier) & mvc
1 Prediction of Software Reliability Using Neural Network and Fuzzy Logic Professor David Rine Seminar Notes.
Chapter 7 Requirement Modeling : Flow, Behaviour, Patterns And WebApps.
Adaptive Optimization of Solution Time In A Distributed Multi-agent System Amy Fedyk, Gary Kratkiewicz, Jeff Berliner, Mark Davis, Beth DePass, Rich Lazarus,
1 Open Cougaar 2004 Dr. Mark Greaves DARPA / IXO.
1/19 Component Design On-demand Learning Series Software Engineering of Web Application - Principles of Good Component Design Hunan University, Software.
Architecture-Based Runtime Software Evolution Peyman Oreizy, Nenad Medvidovic & Richard N. Taylor.
© Yilmaz “Agent-Directed Simulation – Course Outline” 1 Course Outline Dr. Levent Yilmaz M&SNet: Auburn M&S Laboratory Computer Science &
©Ian Sommerville 2000, Mejia-Alvarez 2009 Slide 1 Software Processes l Coherent sets of activities for specifying, designing, implementing and testing.
Managing a Cloud For Multi Agent System By, Pruthvi Pydimarri, Jaya Chandra Kumar Batchu.
Cluster Reliability Project ISIS Vanderbilt University.
WP9 Resource Management Current status and plans for future Juliusz Pukacki Krzysztof Kurowski Poznan Supercomputing.
Software Agents: An Overview by Hyacinth S. Nwana and Designing Behaviors for Information Agents by Keith Decker, Anandeep Pannu, Katia Sycara and Mike.
UbiStore: Ubiquitous and Opportunistic Backup Architecture. Feiselia Tan, Sebastien Ardon, Max Ott Presented by: Zainab Aljazzaf.
Architectures of distributed systems Fundamental Models
OOI CI LCA REVIEW August 2010 Ocean Observatories Initiative OOI Cyberinfrastructure Architecture Overview Michael Meisinger Life Cycle Architecture Review.
Interception and Analysis Framework for Win32 Scripts (not for public release) Tim Hollebeek, Ph.D.
1 Software Design Overview Reference: Software Engineering, by Ian Sommerville, Ch. 12 & 13.
Advanced Computer Networks Topic 2: Characterization of Distributed Systems.
Survivability of Large Scale Networks and Design Research Soundar R.T. Kumara Distinguished Professor of Industrial and Manufacturing Engineering The Pennsylvania.
1 5. Application Examples 5.1. Programmable compensation for analog circuits (Optimal tuning) 5.2. Programmable delays in high-speed digital circuits (Clock.
Investigating Survivability Strategies for Ultra-Large Scale (ULS) Systems Vanderbilt University Nashville, Tennessee Institute for Software Integrated.
DARPA ITO/MARS Project Update Vanderbilt University A Software Architecture and Tools for Autonomous Robots that Learn on Mission K. Kawamura, M. Wilkes,
A Systematic Approach to the Design of Distributed Wearable Systems Urs Anliker, Jan Beutel, Matthias Dyer, Rolf Enzler, Paul Lukowicz Computer Engineering.
Coordination Artifacts in Multi-Agent Systems April 19, 2005 IEEE KIMAS 2005 Sarah Siracuse, John Zinky, Richard Shapiro
Scalability Aspects of Agent-based Naming Services Todd Wright, Karl Kleinmann BBN Technologies
GSAF: A Grid-based Services Transfer Framework Chunyan Miao, Wang Wei, Zhiqi Shen, Tan Tin Wee.
MODEL-BASED SOFTWARE ARCHITECTURES.  Models of software are used in an increasing number of projects to handle the complexity of application domains.
Abstract A Structured Approach for Modular Design: A Plug and Play Middleware for Sensory Modules, Actuation Platforms, Task Descriptions and Implementations.
Complementary Methods for QoS Adaptation in Component-based Multi-Agent Systems MASS 2004 August 30, 2004 John Zinky, Richard Shapiro, Sarah Siracuse BBN.
1 010/02 Aspect-Oriented Interceptors Pattern 1/4/2016 ACP4IS 2003John Zinky BBN Technologies Aspect-Oriented Interceptors Pattern Dynamic Cross-Cutting.
Multi-Tier Communication Abstractions for Distributed Multi-Agent Systems Michael Thome
1 Galatea: Open-Source Software for Developing Anthropomorphic Spoken Dialog Agents S. Kawamoto, et al. October 27, 2004.
Agent Overview. Topics Agent and its characteristics Architectures Agent Management.
CS 351/ IT 351 Modeling and Simulation Technologies Review ( ) Dr. Jim Holten.
Introduction Complex and large SW. SW crises Expensive HW. Custom SW. Batch execution Structured programming Product SW.
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
Chapter : 9 Architectural Design
TRIUMF HLA Development High Level Applications Perform tasks of accelerator and beam control at control- room level, directly interfacing with operators.
An Architecture-Centric Approach for Software Engineering with Situated Multiagent Systems PhD Defense Danny Weyns Katholieke Universiteit Leuven October.
COUGAAR 1 A CRITICAL STUDY OF THE COUGAAR AGENT-ARCHITECTURE Submitted to Prof. Lawrence Chung Tarun R. Belagodu Sasikiran Kandula.
Primitive Concepts of Distributed Systems Chapter 1.
ARTEMIS SRA 2016 Trust, Security, Robustness, and Dependability Dr. Daniel Watzenig ARTEMIS Spring Event, Vienna April 13, 2016.
Session 1: Technology Development August 15 NSF Workshop.
AMSA TO 4 Advanced Technology for Sensor Clouds 09 May 2012 Anabas Inc. Indiana University.
R SE to the challenges of ntelligent systems
OO Methodology OO Architecture.
Software Design and Architecture
Business Rule Based Configuration Management and Software System Implementation Using Decision Tables Olegas Vasilecas, Aidas Smaizys VGTU, Vilnius, Lithuania.
Software testing strategies 2
The Vision of Autonomic Computing
Presentation transcript:

1 KIMAS 2003Dr. K. Kleinmann An Infrastructure for Adaptive Control of Multi-Agent Systems Dr. Karl Kleinmann, Richard Lazarus, Ray Tomlinson KIMAS, October 1, 2003

2 KIMAS 2003Dr. K. Kleinmann Control of DMAS: Problem Description Characteristics of Distributed Multi-Agent Systems (DMAS) reason that formal methods of control theory are rarely applied in software engineering for agent systems “What makes DMAS a hard (complex) control problem?” –Dynamic system boundaries, interactions and communication paths –System size, number of internal states, degrees of freedom (flexibility) –Strong couplings between system states (shared resources) “What makes DMAS a unique control problem?” –Shape of cost functions and performance criteria Changes of control inputs at (almost) no cost (nonlinear impact) –Explicit model available, accurate description of behavior (code) System as its own simulator –Extensive experimentation “for free” (automated testing) Control approaches and parameter variations by “trial and error”

3 KIMAS 2003Dr. K. Kleinmann Cougaar Project Background and Control Objectives Paper presents the Control Infrastructure of the Cougaar Distributed Agent System Cougaar is an Open Source Agent Infrastructure developed under the DARPA Programs –ALP ( ): Military Logistics Planning –UltraLog ( ): Survivable Logistics Planning and Execution Primary System Function –Logistics Plan Robustness Function –Maintain Processing Infrastructure despite Loss of Resources Security Function –Maintain System Integrity despite Information Attacks Military Logistics Operation UltraLog DMAS Logistics Requirements Logistic Actions (Plan) SW Failures HW Failures

4 KIMAS 2003Dr. K. Kleinmann Cougaar Architecture Overview 100% Java Architecture for building large DMAS Proven Scalability –Prototype with 500 distinct agents distributed over 5LAN network of >100 machines Two-Level interaction model –Intra-agent blackboard for tightly- coupled interactions –Inter-agent message passing for scalable loosely-coupled interactions Distributed object management –Prototype/delegation data model –Capabilities-based representations Two-Dimensional containment model –Components can be both containers and plugins TRANSCOM 1BDE 2BDE

5 KIMAS 2003Dr. K. Kleinmann Control Levels designed to achieve Control Objectives Agent Infrastructure-Level Control –Parameters of Components within an Agent –“Local Agent Autonomy” (e.g., Message Compression; Status Report Rate) Military Logistics Operation UltraLog DMAS Logistics Requirements Logistic Actions (Plan) SW Failures HW Failures Agent Components Agent Controller TRANSCOM 1BDE 2BDE UltraLog DMAS Application-Level Control –Complex Actions or Sequences of Actions composed of Control Primitives –“Specific Defenses against Stresses” (e.g., Load Balancing; Agent Restart)

6 KIMAS 2003Dr. K. Kleinmann The Cougaar Control Infrastructure

7 KIMAS 2003Dr. K. Kleinmann Example (Part of the Open Source Code Base) 2 Agents –(Consumer); Provider 2 Sensor Inputs (Conditions) –Task Rate; Avail. CPU 1 Control Input (Operating Mode) –Task Allocator Plugin Mode (Tradeoff Accuracy vs Speed) Task Allocator Plugin Adaptivity Engine Task Rate CPU Allocation Alg. Provider Agent Consumer Agent

8 KIMAS 2003Dr. K. Kleinmann Interpretation of the Approach Infrastructure allows both feedforward and feedback control, depending on selection of Conditions and Operating Modes Heuristic parametrization of Plays makes Adaptivity Engine typically nonlinear controller (-> fuzzy control) If Plays in Adaptivity Engine are modified according to TechSpecs or constrained by Policies, Control System becomes truly “Adaptive” Rule Matrix in Example:

9 KIMAS 2003Dr. K. Kleinmann Conclusions Presented Agent-level Control Infrastructure for the Open Source Cougaar Architecture –Generic Approach allows to address Control Objectives of a DMAS Survivability Application –Connects Software Engineering with Control Theory Models in Order to leverage Control Theory Methodologies Future Research Issues –Components publishing TechSpecs –Deconfliction of Application-level Control Strategies

10 KIMAS 2003Dr. K. Kleinmann For more information … BBN Technologies: Cougaar: UltraLog: Other Cougaar-related KIMAS’03 papers: –“Multi-Tier Communication Abstractions for Distributed Multi-Agent Systems”, M. Thome, et al –“Multi-resolutional Knowledge Representation for Logistics Systems using Prototypes,Properties and Behaviors”, J. Berliner, et al