Robotics Events Calendar

Event Information

Robotics Student Seminar: Sunandita Patra, "Planning & Acting w/Hierarchical Input/Output Automata"
Tuesday, October 24, 2017
3:00 p.m.-4:00 p.m.
1146 A.V. Williams
For More Information:
Zachary Tumlin
301 405 9256
ztumlin@terpmail.umd.edu

Robotics Student Seminar

"Planning and Acting with Hierarchial Input/Output Automata"
 
Sunandita Patra
Ph.D. candidate
Computer Science 
Advisor: Dr. Dana Nau
 
Abstract
We propose an original framework for planning and acting in systems composed of multiple components. Typical applications are, for example, in harbor or warehouse automation which requires coordination among several agents. We model systems as the parallel composition of its components. The components are modeled using hierarchical input/output automata. The framework extends the usual parallel composition operation of I/O automata with a hierarchical composition operation that can refine a task. It defines planning as the synthesis of a control component to drive, through I/O interactions and task refinement, the system toward desired states. A new nondeterministic algorithm performs this synthesis. The two operations of parallel and hierarchical composition are distributive, which is essential for the correctness and completeness of the proposed planning algorithm.
 
About the Robotics Student Seminars
The Robotics Student Seminars at the University of Maryland College Park are a student-run series of talks given by current graduate and undergraduate students.
 
The purpose of these talks is to:
  • Encourage interaction between Robotics students from different subfields;
  • Provide an opportunity for Robotics students to be aware of and possibly get involved in the research their peers are conducting;
  • Provide an opportunity for Robotics students to receive feedback on their current research;
  • Provide speaking opportunities for Robotics students.

This Event is For: Graduate • Undergraduate • Faculty • Staff • Post-Docs

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

December 2017
SU M TU W TH F SA
1 2 w
3 4 5 6 7 8 9 w
10 11 12 13 14 15 16 w
17 18 19 20 21 22 23 w
24 25 26 27 28 29 30 w
Search Events