- All Categories
- Featured Events
- Alumni
- Application Deadline
- Arts
- Campus Discourse
- Careers
- BU Central
- Center for the Humanities
- Charity & Volunteering
- Kilachand Center
- Commencement
- Conferences & Workshops
- Diversity & Inclusion
- Examinations
- Food & Beverage
- Global
- Health & Wellbeing
- Keyword Initiative
- Lectures
- LAW Community
- LGBTQIA+
- Meetings
- Orientation
- Other Events
- Religious Services & Activities
- Special Interest to Women
- Sports & Recreation
- Social Events
- Study Abroad
- Weeks of Welcome
- Human Resources Open Enrollment 2013All day
- Senior Sculpture ShowAll day
- One Million Bones 9:00 am
- GSU Craft Fair 9:00 am
- World AIDS Day Free HIV Testing 10:00 am
- The Space in Between: Daniel Feldman, Stefanie Klavens, and Lynn Saville10:00 am
- Stephen A. Frank: Exploring My Kodachrome Dreams-Photographs from the West, Southwest, & Maine 2010-201211:00 am
- Earth & Environment Dissertation Defense of Jessica M. Salmon11:00 am
- Recycling Cafe11:00 am
- Wednesday Community Worship11:10 am
- SE PhD Prospectus Defense of Alphan Ulusoy12:00 pm
- Is Lowering Amyloid Beta Peptide the Answer for Treating Alzheimer's? From Basics to Specifics12:00 pm
- Chemistry Dissertation Defense of Kaicheng Zhu12:00 pm
- PhD Dissertation Seminar, Department of Molecular Medicine12:30 pm
- Networking 101: Make the Most of Your Connections 1:00 pm
- Condensed Matter Theory Seminar2:00 pm
- Antibody Drug Discovery at The Centers for Technology Innovation (CTI)2:00 pm
- Graduate School Decision Making3:00 pm
- Express Workshop: Resumes4:00 pm
- Madrid Language and Liberal Arts Program (Level 1 & 2), Madrid Internship Program (Level 2) Pre-Departure Meeting4:00 pm
- Express Workshop: Cover Letters4:30 pm
- Architecture Night
 5:00 pm
- Art's Abject Other of the 'New Cool': Rethinking the Art/Craft Dichotomy5:00 pm
- BU Energy Club Speaker Session: Overview of the North American Power Markets5:00 pm
- @SchneiderMike: The Role of Authentic Content in Modern Branding5:00 pm
- "Electoral Dysfunction" Screening and Q&A5:00 pm
- Ecumenical Evening Prayer5:15 pm
- Graduate Christian Fellowship5:30 pm
- Iraq+10 Film Series: Turtles Can Fly5:30 pm
- Summer Leadership 2013 Information Session5:30 pm
- 1984 Riots - Film and Discussion on Injustice Against Sikhs6:15 pm
- Hypnophied6:30 pm
- Student Recital-Ji Eun Park 6:30 pm
- Professor Martin Pearlman: "Performing Handel's Messiah"6:30 pm
- Men's Basketball vs. Coastal Carolina7:00 pm
- Wednesday Night Live! A Comedy Show in BU Central8:00 pm
- Student Recital-Yoo na Jeong 8:30 pm
SE PhD Prospectus Defense of Alphan Ulusoy
TITLE: Optimal Temporal Logic Control of Autonomous SystemsABSTRACT: Temporal logics, such as Linear Temporal Logic (LTL) and Computation Tree Logic (CTL), are extensions of propositional logic that can capture temporal relations. Even though temporal logics have been used in model checking of finite systems for quite some time, they have gained popularity as a means for specifying complex mission requirements in path planning and control synthesis problems only recently. The proposed thesis focuses on methods and algorithms for optimal path planning and control synthesis for autonomous systems where a global high-level mission specification expressed in LTL (or a fragment of LTL) must be satisfied. In a nutshell, after obtaining a discrete representation of the overall system, ideas and tools from formal verification and graph theory are leveraged to synthesize provably correct and optimal control strategies. The main research objectives of the proposed thesis can be summarized as follows: - Optimal planning for multi-agent systems in static environments: This part will focus on automatic planning of optimal paths for a group of robots that must satisfy a common high level mission specification. The effect of slight deviations in traveling times on the behavior of the team will be analyzed and methods that are robust to bounded non-determinism in traveling times will be proposed. Most centralized planning approaches typically suffer from the so-called state-space explosion problem. We will also look at ways to alleviate this issue. - Optimal control synthesis for agents interacting with external probabilistic agents. This part will focus on the case where an autonomous agent is required to satisfy a high-level mission specification in the presence of other probabilistic agents that we cannot control. Efficient methods to synthesize control policies that maximize the probability of satisfaction of the mission specification will be presented. - Optimal control synthesis for agents in non-deterministic environments: The main focus of this part will be the problem where an autonomous agent is required to satisfy a high-level mission specification in a non-deterministic environment that we know only partially. Methods for synthesizing control policies that can guarantee the satisfaction of the mission specification, while simultaneously minimizing the worst-case cost defined with respect to some relevant metric, will be presented. We will also investigate receding horizon like approaches that make use of the local information provided by the sensors in addition to the a priori information about the environment. - Implementation and validation: For all of the automatic planning and control synthesis problems that are considered, the proposed algorithms will be implemented and validated through experiments and/or simulations.COMMITTEE: Advisor: Calin Belta, ME/SE; John Baillieul, ME/ECE; Sean Anderson, ME/SE; Mac Schwager, ME/SE
When | 12:00 pm to 1:30 pm on Wednesday, November 28, 2012 |
---|---|
Location | 15 Saint Mary's Street, Rm 116 |