Multi-vehicle Cooperative Control Raffaello D’Andrea Mechanical & Aerospace Engineering Cornell University u Progress on RoboFlag Test-bed u MLD approach.

Slides:



Advertisements
Similar presentations
Bayesian Belief Propagation
Advertisements

Michael Alves, Patrick Dugan, Robert Daniels, Carlos Vicuna
1 University of Southern California Keep the Adversary Guessing: Agent Security by Policy Randomization Praveen Paruchuri University of Southern California.
Motion Planning for Point Robots CS 659 Kris Hauser.
Security Issues in Ant Routing Weilin Zhong. Outline Swarm Intelligence AntNet Routing Algorithm Security Issues in AntNet Possible Solutions.
Probabilistic Path Planner by Someshwar Marepalli Pratik Desai Ashutosh Sahu Gaurav jain.
CSE 380 – Computer Game Programming Pathfinding AI
Emilio Frazzoli, Munther A. Dahleh and Eric Feron Jingru Luo.
Sogang University ICC Lab Using Game Theory to Analyze Wireless Ad Hoc networks.
A discussion on.  Path Planning  Autonomous Underwater Vehicles  Adaptive Sampling  Mixed Integer Linear programming.
Randomized Kinodynamics Motion Planning with Moving Obstacles David Hsu, Robert Kindel, Jean-Claude Latombe, Stephen Rock.
1 Logic-Based Methods for Global Optimization J. N. Hooker Carnegie Mellon University, USA November 2003.
Nonholonomic Multibody Mobile Robots: Controllability and Motion Planning in the Presence of Obstacles (1991) Jerome Barraquand Jean-Claude Latombe.
Distributed Algorithms for Secure Multipath Routing
Inspection Planning for Sensor Coverage of 3d Marine Structures Brendan Englot and Franz Hover Presented by Arvind Pereira for the CS599 Class on Sequential.
Zach Ramaekers Computer Science University of Nebraska at Omaha Advisor: Dr. Raj Dasgupta 1.
GridFlow: Workflow Management for Grid Computing Kavita Shinde.
Multi-vehicle Cooperative Control Raffaello D’Andrea Mechanical & Aerospace Engineering Cornell University u Progress on RoboFlag Test-bed u MLD approach.
Cooperative Control of Distributed Autonomous Vehicles in Adversarial Environments AFOSR 2002 MURI Annual Review Caltech/Cornell/MIT/UCLA June 4, 2002.
Math443/543 Mathematical Modeling and Optimization
Motor Schema Based Navigation for a Mobile Robot: An Approach to Programming by Behavior Ronald C. Arkin Reviewed By: Chris Miles.
Distributed Algorithms for Guiding Navigation across a Sensor Network Qun Li, Michael DeRosa, and Daniela Rus Dartmouth College MOBICOM 2003.
Dr. Shankar Sastry, Chair Electrical Engineering & Computer Sciences University of California, Berkeley.
CS 326A: Motion Planning Basic Motion Planning for a Point Robot.
Multi-vehicle Cooperative Control Raffaello D’Andrea Mechanical & Aerospace Engineering Cornell University u Hierarchical Decomposition u Example: RoboCup.
1 Combinatorial Problems in Cooperative Control: Complexity and Scalability Carla Gomes and Bart Selman Cornell University Muri Meeting March 2002.
INTEGRATED PROGRAMME IN AERONAUTICAL ENGINEERING Coordinated Control, Integrated Control and Condition Monitoring in Uninhabited Air-Vehicles Ian Postlethwaite,
Roadmap-Based End-to-End Traffic Engineering for Multi-hop Wireless Networks Mustafa O. Kilavuz Ahmet Soran Murat Yuksel University of Nevada Reno.
01/16/2002 Reliable Query Reporting Project Participants: Rajgopal Kannan S. S. Iyengar Sudipta Sarangi Y. Rachakonda (Graduate Student) Sensor Networking.
Artificial Intelligence Dr. Paul Wagner Department of Computer Science University of Wisconsin – Eau Claire.
World space = physical space, contains robots and obstacles Configuration = set of independent parameters that characterizes the position of every point.
Energy Efficient Routing and Self-Configuring Networks Stephen B. Wicker Bart Selman Terrence L. Fine Carla Gomes Bhaskar KrishnamachariDepartment of CS.
A Framework for Distributed Model Predictive Control
Leslie Luyt Supervisor: Dr. Karen Bradshaw 2 November 2009.
Stochastic Algorithms Some of the fastest known algorithms for certain tasks rely on chance Stochastic/Randomized Algorithms Two common variations – Monte.
Wireless Networks Breakout Session Summary September 21, 2012.
Introduction to Job Shop Scheduling Problem Qianjun Xu Oct. 30, 2001.
Department of Mechanical Engineering The University of Strathclyde, Glasgow Hybrid Systems: Modelling, Analysis and Control Yan Pang Department of Mechanical.
1 Exploring Custom Instruction Synthesis for Application-Specific Instruction Set Processors with Multiple Design Objectives Lin, Hai Fei, Yunsi ACM/IEEE.
IBM T. J. Watson Research © 2004 IBM Corporation On Scalable Storage Area Network(SAN) Fabric Design Algorithm Bong-Jun Ko (Columbia University) Kang-Won.
1 Distributed and Optimal Motion Planning for Multiple Mobile Robots Yi Guo and Lynne Parker Center for Engineering Science Advanced Research Computer.
A Study of Central Auction Based Wholesale Electricity Markets S. Ceppi and N. Gatti.
Resource Mapping and Scheduling for Heterogeneous Network Processor Systems Liang Yang, Tushar Gohad, Pavel Ghosh, Devesh Sinha, Arunabha Sen and Andrea.
Learning to Navigate Through Crowded Environments Peter Henry 1, Christian Vollmer 2, Brian Ferris 1, Dieter Fox 1 Tuesday, May 4, University of.
Information Theory for Mobile Ad-Hoc Networks (ITMANET): The FLoWS Project Competitive Scheduling in Wireless Networks with Correlated Channel State Ozan.
UNC Chapel Hill M. C. Lin Introduction to Motion Planning Applications Overview of the Problem Basics – Planning for Point Robot –Visibility Graphs –Roadmap.
A Quantitative Trust Model for Negotiating Agents A Quantitative Trust Model for Negotiating Agents Jamal Bentahar, John Jules Ch. Meyer Concordia University.
MURI Telecon, Update 7/26/2012 Summary, Part I:  Completed: proving and validating numerically optimality conditions for Distributed Optimal Control (DOC)
DISTIN: Distributed Inference and Optimization in WSNs A Message-Passing Perspective SCOM Team
Decision Making Under Uncertainty PI Meeting - June 20, 2001 Distributed Control of Multiple Vehicle Systems Claire Tomlin and Gokhan Inalhan with Inseok.
1 An Arc-Path Model for OSPF Weight Setting Problem Dr.Jeffery Kennington Anusha Madhavan.
School of Systems, Engineering, University of Reading rkala.99k.org April, 2013 Motion Planning for Multiple Autonomous Vehicles Rahul Kala Rapidly-exploring.
Randomized Kinodynamics Planning Steven M. LaVelle and James J
Ramakrishna Lecture#2 CAD for VLSI Ramakrishna
Energy Efficient Data Management for Wireless Sensor Networks with Data Sink Failure Hyunyoung Lee, Kyoungsook Lee, Lan Lin and Andreas Klappenecker †
Custom Computing Machines for the Set Covering Problem Paper Written By: Christian Plessl and Marco Platzner Swiss Federal Institute of Technology, 2002.
Planning Under Uncertainty. Sensing error Partial observability Unpredictable dynamics Other agents.
Onlinedeeneislam.blogspot.com1 Design and Analysis of Algorithms Slide # 1 Download From
1 Low Latency Multimedia Broadcast in Multi-Rate Wireless Meshes Chun Tung Chou, Archan Misra Proc. 1st IEEE Workshop on Wireless Mesh Networks (WIMESH),
Efficient Point Coverage in Wireless Sensor Networks Jie Wang and Ning Zhong Department of Computer Science University of Massachusetts Journal of Combinatorial.
Formal Complexity Analysis of RoboFlag Drill & Communication and Computation in Distributed Negotiation Algorithms in Distributed Negotiation Algorithms.
1 Chapter 5 Branch-and-bound Framework and Its Applications.
Auto-Park for Social Robots By Team I. Meet the Team Alessandro Pinto ▫ UTRC, Sponsor Dorothy Kirlew ▫ Scrum Master, Software Mohak Bhardwaj ▫ Vision.
Unified Adaptivity Optimization of Clock and Logic Signals Shiyan Hu and Jiang Hu Dept of Electrical and Computer Engineering Texas A&M University.
Review IMGD Engine Architecture Types Broadly, what are the two architecture types discussed for game engines? What are the differences?
Keep the Adversary Guessing: Agent Security by Policy Randomization
Optimal Acceleration and Braking Sequences for Vehicles in the Presence of Moving Obstacles Jeff Johnson, Kris Hauser School of Informatics and Computing.
CS b659: Intelligent Robotics
Optimal UAV Flight Path Selection
Beyond Classical Search
Presentation transcript:

Multi-vehicle Cooperative Control Raffaello D’Andrea Mechanical & Aerospace Engineering Cornell University u Progress on RoboFlag Test-bed u MLD approach to Multi-Vehicle Cooperation u Obstacle Avoidance in Dynamic Environments u Path Planning with Uncertainty OUTLINE

ACTUATE SENSE LOW LEVEL CONTROL HIGH LEVEL CONTROL COMMS VEHICLE SENSE COMMS PROCESSING GLOBAL SENSING COMMS HIGH LEVEL DECISION MAKING CENTRAL CONTROL COMMUNICATIONS NETWORK COMMS SYSTEMS OF INTEREST HUMAN INTERFACE COMMS

What is RoboFlag?

RoboFlag System.. Overhead cameras Vision computer Arbiter Computers for each entity... RF transceiver

SOFTWARE ARCHITECTURE VEHICLE HIGH LEVEL CONTROL LOW LEVEL CONTROL INTERFACE COMMUNICATIONS NETWORK SIMULATOR WIRELESS INTERFACE CENTRAL CONTROL MACHINE VISION BASED GLOBAL AND LOCAL SENSING VEHICLE HIGH LEVEL CONTROL ARBITER VEHICLE LOW LEVEL CONTROL LOCAL GLOBAL HUMAN INTERFACE

HARDWARE ARCHITECTURE MACHINE VISION COMPUTER INTERFACE AND ARBITRATION COMPUTER WIRELESS HARDWARE CENTRAL CONTROL AND COMMUNICATIONS NETWORK COMPUTER VEHICLE(S) HIGH LEVEL CONTROL COMPUTER VEHICLE VEHICLE(S) HIGH LEVEL CONTROL COMPUTER HUMAN INTERFACE COMPUTER WIRELESS HARDWARE LOCAL HARDWARE PORT HUMAN INTERFACE COMPUTER

SIMPLE COMMUNICATIONS NETWORK MODEL: B i,j data units buffer L i,j B i,j data units buffer L i,j -1buffer 0 UiUi UjUj

People u Michael Babish (Research Support) u Andrey Klochko (Programmer) u JinWoo Lee (Post-Doc) u 30 UG and M.Eng. students

The RoboFlag Drill Attacking robots are drones directed toward defense zone Defending robots want to intercept attackers before they enter the defense zone Constraints: defenders must avoid collisions and must not enter the defense zone; defenders have limited control authority Start out simple and work up (Earl and D’Andrea ‘02)

The RoboFlag Drill: Modeling Model drill as a mixed logical dynamical system subject to constraints (MLD system) (Bemporad and Morari ‘99) Defender dynamics Constraints

The RoboFlag Drill: Modeling Attacker dynamics Constraints

The RoboFlag Drill: MLD form Converting logic expressions into inequalities using HYSDEL (Torrisi et al. ‘00) we can write system in MLD form

The RoboFlag Drill Strategy synthesis using an optimization approach (Bemporad and Morari ‘99) Using this modeling approach the cost can easily model a wide array of objectives We take the cost to be the total score of the drill Objective: Find control input that minimizes the cost subject to the dynamics and constraints

The RoboFlag Drill: Results The optimization problem reduces to a mixed integer linear program (MILP) 3 defenders, 8 attackers MILP problem: 4040 integer variables 400 continuous variables constraints CPLEX solves in 244 seconds on Linux PIII 866MHz

The RoboFlag Drill FUTURE WORK: Better modeling to avoid discretization in time Speed up solution time Perform optimization repeatedly (MPC) to obtain strategy for dynamically changing and uncertain environments Add more components from the RoboFlag game (limited sensor footprint, latency and bandwidth limitations, etc.) Decentralization

People u Matthew Earl (Graduate Student)

Obstacle Avoidance in Dynamic Environments Objective: Computationally fast algorithms for path planning in multi-agent adversarial environments with delayed information. APPROACH Game Theoretic: Avoiding a rational adversary in a delayed environment can be modeled as a non-cooperative imperfect information game. Trajectory generation is an outcome of such an approach. Randomized Algorithm: This algorithm uses an existing trajectory generation routine to generate feasible paths in the presence of obstacles. One way to incorporate the effect of delay is to associate with each obstacle a reachability regime over the delayed steps.

Randomized Algorithm Terminology: Primary Node: An equilibrium configuration belonging to the state-space of the agent. Secondary Node: An element of the state space of the agent which lies on the path from the initial point to a primary node.

Randomized Algorithm Main Idea: (Frazzoli,Dahleh & Feron ‘00) The main idea is to search for random intermediate points in the state-space which might generate a feasible path to the destination. A feasible path being the one without any collisions. Among all the feasible paths the one with the lowest cost (eg. time) is then chosen. The underlying assumption in using this algorithm is that one already has a way of generating trajectories in the absence of obstacles.

Randomized Algorithm Feasible Path found, update costs Initialize tree with starting position Randomly generate primary node and also a start point node and also a start point from the already generated tree Is Path(start,primary) feasible yes Generate random secondary points and add them to the tree Is Path(secondary, destination) feasible yes No No Main Idea and Implementation: This algorithm is probabilistically complete that is it returns a feasible path if there exists one, else it returns failure, in the probabilistic sense. Contrary to the tree data structure that was used by the author to store the data, we use a grid data structure which takes a large storage space but has faster access time.

Future Work Implementing the randomized algorithm framework for multiple agents in a centralized fashion, which would be a relatively easy extension to the present algorithm by increasing the state-space dimension. Developing a protocol enabling the decentralization of the above computation. PROVE that the protocol achieves the desired objective.

People u Pritam Ganguly (Graduate Student)

Path Planning under Uncertainty MAIN IDEAS: Construction of probability map from available data Measurement data A priori statistics Convert the probability map to a directed graph Path planning by solving shortest path problem in digraph Uncertainty in information leads naturally to probabilistic approach Motivation:

Probability Map Building Measurement update by measured data Time update by a priori statistics of environment Map building sensor characteristics environment statistics

Conversion to Digraph DigraphProbability Map

Simulation Dynamic ReplanningCase with Multiple Vehicles

Contribution and Future Work Finding an algorithm to efficiently integrate map building and path planning Consideration of time and velocity in path planning for multiple vehicles Consideration penalty for frequent acceleration and deceleration Building a probability map in uncertain dynamic environments Path planning of multiple vehicles in uncertain dynamic environments based on probability map Contribution: Future Works:

People u Myungsoo Jun (Post-Doc) u Atif Chaudry (Graduate Student)