<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><br class=""><div class="">
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii" class="">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)" class="">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style class=""><!--
/* Font Definitions */
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Tahoma;
        panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";
        mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
p
        {mso-style-priority:99;
        mso-margin-top-alt:auto;
        margin-right:0in;
        mso-margin-bottom-alt:auto;
        margin-left:0in;
        font-size:12.0pt;
        font-family:"Times New Roman","serif";
        mso-fareast-language:KO;}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
        {mso-style-priority:99;
        mso-style-link:"Balloon Text Char";
        margin:0in;
        margin-bottom:.0001pt;
        font-size:8.0pt;
        font-family:"Tahoma","sans-serif";
        mso-fareast-language:EN-US;}
span.BalloonTextChar
        {mso-style-name:"Balloon Text Char";
        mso-style-priority:99;
        mso-style-link:"Balloon Text";
        font-family:"Tahoma","sans-serif";}
p.Default, li.Default, div.Default
        {mso-style-name:Default;
        mso-style-priority:99;
        margin:0in;
        margin-bottom:.0001pt;
        text-autospace:none;
        font-size:12.0pt;
        font-family:"Calibri","sans-serif";
        color:black;
        mso-fareast-language:EN-US;}
span.EmailStyle21
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:windowtext;}
span.EmailStyle22
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle23
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle24
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle25
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle26
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle27
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle28
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle29
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle30
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle31
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle32
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle33
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle36
        {mso-style-type:personal-reply;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
<div lang="EN-US" link="blue" vlink="purple" class="">
<div class="WordSection1"><p class="MsoNormal"><img width="480" height="160" id="_x0000_i1025" class="" apple-inline="yes" apple-width="yes" apple-height="yes" src="cid:image001.jpg@01D18355.8138FEF0"><span style="color:#1F497D" class=""><o:p class=""></o:p></span></p>
<table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" align="left" width="691" style="width:7.2in;border-collapse:collapse;margin-left:6.75pt;margin-right:6.75pt">
<tbody class="">
<tr style="height:15.9pt" class="">
<td width="79" valign="top" style="width:59.4pt;padding:0in 5.4pt 0in 5.4pt;height:15.9pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<strong class=""><i class=""><span style="font-size:12.0pt;font-family:"Calibri","sans-serif"" class="">Speaker:</span></i></strong><i class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></i><em class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO;font-style:normal" class=""><o:p class=""></o:p></span></em></p>
</td>
<td width="612" colspan="3" valign="top" style="width:459.0pt;padding:0in 5.4pt 0in 5.4pt;height:15.9pt" class=""><p class="Default" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<span style="font-family:"Times New Roman","serif"" class="">Vasumathi Raman, United Technologies Research Center</span><span style="font-family:"Times New Roman","serif";mso-fareast-language:KO" class=""><o:p class=""></o:p></span></p>
</td>
</tr>
<tr style="height:15.6pt" class="">
<td width="79" valign="top" style="width:59.4pt;padding:0in 5.4pt 0in 5.4pt;height:15.6pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<strong class=""><i class=""><span style="font-size:12.0pt;font-family:"Calibri","sans-serif"" class="">Title:</span></i></strong><i class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></i><em class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO;font-style:normal" class=""><o:p class=""></o:p></span></em></p>
</td>
<td width="612" colspan="3" valign="top" style="width:459.0pt;padding:0in 5.4pt 0in 5.4pt;height:15.6pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class="">Synthesis for Autonomy: Connecting the Physical, the Logical and the Human</span><span style="font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:KO" class=""><o:p class=""></o:p></span></p>
</td>
</tr>
<tr style="height:14.3pt" class="">
<td width="79" valign="top" style="width:59.4pt;padding:0in 5.4pt 0in 5.4pt;height:14.3pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<strong class=""><i class=""><span style="font-size:12.0pt;font-family:"Calibri","sans-serif"" class="">Day:</span></i></strong><i class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></i><em class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO;font-style:normal" class=""><o:p class=""></o:p></span></em></p>
</td>
<td width="345" valign="top" style="width:258.7pt;padding:0in 5.4pt 0in 5.4pt;height:14.3pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<span style="font-size: 12pt; font-family: 'Times New Roman', serif;" class="">Thursday, March 24, 2016</span><em class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO;font-style:normal" class=""><o:p class=""></o:p></span></em></p>
</td>
<td width="58" valign="top" style="width:43.6pt;padding:0in 5.4pt 0in 5.4pt;height:14.3pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<em class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO;font-style:normal" class=""> </span></em></p>
</td>
<td width="209" valign="top" style="width:156.7pt;padding:0in 5.4pt 0in 5.4pt;height:14.3pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<em class=""><b class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO;font-style:normal" class=""> </span></b></em></p>
</td>
</tr>
<tr style="height:14.3pt" class="">
<td width="79" valign="top" style="width:59.4pt;padding:0in 5.4pt 0in 5.4pt;height:14.3pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<strong class=""><i class=""><span style="font-size:12.0pt;font-family:"Calibri","sans-serif"" class="">Time:</span></i></strong><strong class=""><i class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO" class=""><o:p class=""></o:p></span></i></strong></p>
</td>
<td width="612" colspan="3" valign="top" style="width:459.0pt;padding:0in 5.4pt 0in 5.4pt;height:14.3pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<em class=""><span style="font-size:12.0pt;font-style:normal" class="">4:30 pm</span></em><em class=""><span style="mso-fareast-language:KO;font-style:normal" class=""><o:p class=""></o:p></span></em></p>
</td>
</tr>
<tr style="height:14.3pt" class="">
<td width="79" valign="top" style="width:59.4pt;padding:0in 5.4pt 0in 5.4pt;height:14.3pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<strong class=""><i class=""><span style="font-size:12.0pt;font-family:"Calibri","sans-serif"" class="">Room:</span></i></strong><i class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></i><em class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO;font-style:normal" class=""><o:p class=""></o:p></span></em></p>
</td>
<td width="612" colspan="3" valign="top" style="width:459.0pt;padding:0in 5.4pt 0in 5.4pt;height:14.3pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<em class=""><span style="font-size:12.0pt;font-style:normal" class="">B205, E-Quad</span></em><em class=""><span style="mso-fareast-language:KO;font-style:normal" class=""><o:p class=""></o:p></span></em></p>
</td>
</tr>
<tr style="height:4.0pt" class="">
<td width="79" valign="top" style="width:59.4pt;padding:0in 5.4pt 0in 5.4pt;height:4.0pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<strong class=""><i class=""><span style="font-size:12.0pt;font-family:"Calibri","sans-serif"" class="">Host:</span></i></strong><strong class=""><i class=""><span style="font-family:"Calibri","sans-serif";mso-fareast-language:KO" class=""><o:p class=""></o:p></span></i></strong></p>
</td>
<td width="612" colspan="3" valign="top" style="width:459.0pt;padding:0in 5.4pt 0in 5.4pt;height:4.0pt" class=""><p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<em class=""><span style="font-size:12.0pt;font-style:normal" class="">Prof. Antoine Kahn </span></em><em class=""><span style="mso-fareast-language:KO;font-style:normal" class=""><o:p class=""></o:p></span></em></p>
</td>
</tr>
</tbody>
</table><p class="MsoNormal" style="text-align:justify"><span style="font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:KO" class=""> </span></p><p class="MsoNormal" style="text-align:justify"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></b></p><p class="MsoNormal" style="text-align:justify"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></b></p><p class="MsoNormal" style="text-align:justify"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></b></p><p class="MsoNormal" style="text-align:justify"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></b></p><p class="MsoNormal" style="text-align:justify"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></b></p><p class="MsoNormal" style="text-align:justify"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></b></p><p class="MsoNormal" style="text-align:justify"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></b></p><p class="MsoNormal" style="text-align:justify"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class="">Abstract:<o:p class=""></o:p></span></b></p><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class="">Autonomous cyber-physical systems like unmanned aircraft and self-driving cars stretch the limits of engineering, and reasoning precisely about their behavior is increasingly
difficult. Moreover, a correct implementation is often elusive even when the desired outcome is obvious. Algorithmic synthesis makes the formal specification of desired behavior an integral part of the controller design process -- the resulting controllers
are correct by construction. Synthesis enables non-expert human users to provide complex system specifications, and be assured of their fulfillment. However, this goal of automatically generating autonomous control from user-defined specifications poses a
host of unprecedented challenges. <o:p class=""></o:p></span></p><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></p><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class="">In this talk, I will present two frameworks for automated synthesis from high-level specifications. I will first describe a system for generating, troubleshooting, and
executing controllers for autonomous robots from natural language specifications, including analytical tools for automatically determining causes of failure to synthesize. I will then introduce an optimization-based controller-synthesis framework for high-dimensional
systems operating in uncertain environments, bypassing the need for discretizing the state space and admitting specifications that govern not only the order of events, but also their timing. Finally, I will present new research directions that push the envelope
of synthesis for autonomous systems.<o:p class=""></o:p></span></p><p class="MsoNormal" style="text-autospace:none"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class=""> </span></b></p><p class="MsoNormal"><b class=""><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class="">Bio:<br class="">
</span></b><span style="font-size:12.0pt;font-family:"Times New Roman","serif"" class="">Vasu Raman is a Senior Scientist at the United Technologies Research Center in Berkeley, CA. Her research explores algorithmic methods for designing and controlling autonomous cyber-physical
systems, guaranteeing correctness with respect to user-defined specifications. She earned a PhD in Computer Science from Cornell University in 2013, and was a postdoctoral scholar in the Department of Computing and Mathematical Sciences and the Department
of Control and Dynamical Systems at the California Institute of Technology from 2013-2015. She has contributed extensively to the LTLMoP toolkit for robot mission planning and the slugs reactive synthesis tool, and developed BluSTL, a toolbox for automatically
generating controllers from timed temporal logic specifications. Vasu also holds a BA in Computer Science and Mathematics from Wellesley College.<o:p class=""></o:p></span></p></div></div></div></blockquote></div><br class=""></body></html>