{"id":295706,"date":"2016-09-21T16:26:58","date_gmt":"2016-09-21T23:26:58","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=295706"},"modified":"2016-11-07T10:59:48","modified_gmt":"2016-11-07T18:59:48","slug":"safe-autonomous-cyber-physical-systems-workshop-2016","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/safe-autonomous-cyber-physical-systems-workshop-2016\/","title":{"rendered":"Safe Autonomous Cyber Physical Systems Workshop 2016"},"content":{"rendered":"<p><strong>Venue:<\/strong> Baker Room, Microsoft Conference Center\u00a0(Building 33)<\/p>\n<p><strong>Contact us:<\/strong>\u00a0For any questions please contact <a href=\"mailto:dedey@microsoft.com\">Debadeepta Dey<\/a><\/p>\n<p>The Safe Autonomous Cyber Physical Systems Workshop was part of the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/faculty-summit-2016\/\" target=\"_blank\">Microsoft Research Faculty Summit 2016<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This workshop brought together experts in the areas of machine learning, vision, planning, programming languages and verification to discuss the latest advances with the aim of catalyzing a joint effort between academia and industry with the goal of advancing Safety in Autonomous Cyber Physical Systems. The daylong workshop consisted of invited talks, discussions, and demos as part of the Microsoft Faculty Summit 2016.<\/p>\n","protected":false},"featured_media":295721,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"msr_startdate":"2016-07-15","msr_enddate":"","msr_location":"Redmond, WA, USA","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"8:30 AM to 5:00 PM","msr_hide_region":false,"msr_private_event":false,"footnotes":""},"research-area":[13556,13560],"msr-region":[197900],"msr-event-type":[197944],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-295706","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-artificial-intelligence","msr-research-area-programming-languages-software-engineering","msr-region-north-america","msr-event-type-hosted-by-microsoft","msr-locale-en_us"],"msr_about":"<strong>Venue:<\/strong> Baker Room, Microsoft Conference Center\u00a0(Building 33)\r\n\r\n<strong>Contact us:<\/strong>\u00a0For any questions please contact <a href=\"mailto:dedey@microsoft.com\">Debadeepta Dey<\/a>\r\n\r\nThe Safe Autonomous Cyber Physical Systems Workshop was part of the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/faculty-summit-2016\/\" target=\"_blank\">Microsoft Research Faculty Summit 2016<\/a>.","tab-content":[{"id":0,"name":"About","content":"Recent advances in cyber physical systems, such as drones and autonomous cars, combined with the internet-of-things (IoT), have led to a lot of consumer interest. However, to fully unleash the capabilities of such systems we need to invent a new level of safety. For example, an autonomous robot needs to model the environment and take only those actions that will ensure the safety of itself and everything around it, while still making progress on the assigned task.\r\n\r\nAddressing this problem entails an interdisciplinary approach, where innovative ideas from perception, sensing and modeling need to work with advances in controls, planning and decision-making. This will be a large-scale effort in software and hardware engineering, and we all know that managing software complexity in large code bases is difficult, so it is important to also improve our programming languages so we can achieve deeper levels of verification and achieve a stronger guarantee of the safety of those systems.\r\n\r\nThis workshop brought together experts in the areas of machine learning, vision, planning, programming languages and verification to discuss the latest advances with the aim of catalyzing a joint effort between academia and industry with the goal of advancing Safety in Autonomous Cyber Physical Systems. The daylong workshop consisted of invited talks, discussions, and demos as part of the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/faculty-summit-2016\/\" target=\"_blank\">Microsoft Faculty Summit 2016<\/a>.\r\n<h2>Attendee Information<\/h2>\r\n<ul>\r\n \t<li><strong>Transportation<\/strong>: We ran a shuttle from the Hilton Bellevue and Marriott Bellevue to the MSCC from 7:15 AM\u20138:30 AM (every 15 minutes) the morning of July 15. Buses also made trips from MSCC to the two hotels every 15 minutes starting at 2:30 PM with the last bus leaving at 5:00 PM.<\/li>\r\n \t<li><strong>Food &amp; Beverages<\/strong>: We served breakfast, lunch and beverage breaks\/snacks. There was a dinner the night before (Thursday, July 14) to celebrate the 25th year anniversary of Microsoft Research. Details of this dinner were provided as part of the welcome packet at the hotel as well as on the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/faculty-summit-2016\/\" target=\"_blank\">faculty summit website<\/a>.<\/li>\r\n \t<li><strong>Check-in<\/strong>: Registration at Microsoft Conference Center to obtain stick-on-badge<\/li>\r\n \t<li><strong>Contacts:<\/strong>\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/akapoor\/\" target=\"_blank\">Ashish Kapoor<\/a>\u00a0(Chair),\u00a0<a href=\"http:\/\/www.debadeepta.com\/\" target=\"_blank\">Debadeepta Dey<\/a>, and\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shitals\/\" target=\"_blank\">Shital Shah<\/a><\/li>\r\n<\/ul>\r\n<h2>Speaker Information<\/h2>\r\n<ul>\r\n \t<li><strong>Check-in<\/strong>: At speaker desk near main entrance. Speakers were requested to sign a release form for the recording of the event and to provide their slides.<\/li>\r\n \t<li><strong>Gear Note<\/strong>: If speakers had an Apple\/Mac laptop, we requested they bring a HDMI adapter and Apple-to-DVI adapter and power cord<\/li>\r\n \t<li><strong>Speaking time<\/strong>: 30 mins including questions<\/li>\r\n<\/ul>\r\n<h2>Speakers<\/h2>\r\n[col-1-2]\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.cis.upenn.edu\/~alur\/\" target=\"_blank\">Rajeev Alur, University of Pennsylvania<\/a><\/li>\r\n \t<li><a href=\"https:\/\/depts.washington.edu\/ie\/people\/boyle\" target=\"_blank\">Linda Ng Boyle, University of Washington<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.debadeepta.com\/\" target=\"_blank\">Debadeepta Dey, Microsoft Research<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.eecs.berkeley.edu\/~anca\/\" target=\"_blank\">Anca Dragan, UC Berkeley<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.gavrila.net\/\" target=\"_blank\">Dariu Gavrila, Daimler Research &amp; Development<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.cs.cmu.edu\/~.\/hebert\/\" target=\"_blank\">Martial Hebert, Carnegie Mellon<\/a><\/li>\r\n<\/ul>\r\n[\/col-1-2]\r\n\r\n[col-1-2_last]\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/horvitz\/\" target=\"_blank\">Eric Horvitz, Microsoft Research<\/a><\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/akapoor\/\" target=\"_blank\">Ashish Kapoor, Microsoft Research<\/a><\/li>\r\n \t<li><a href=\"https:\/\/www.mpi-sws.org\/~rupak\/\" target=\"_blank\">Rupak Majumdar, Max Planck Institute<\/a><\/li>\r\n \t<li><a href=\"https:\/\/www.csail.mit.edu\/user\/902\" target=\"_blank\">Nicholas Roy, MIT<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.asl.ethz.ch\/the-lab\/people\/person-detail.html?persid=29981\" target=\"_blank\">Roland Siegwart, ETH Zurich<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.eecs.berkeley.edu\/Faculty\/Homepages\/tomlin.html\" target=\"_blank\">Claire Tomlin, UC Berkeley<\/a><\/li>\r\n<\/ul>\r\n[\/col-1-2_last]"},{"id":1,"name":"Agenda","content":"<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">\u00a0\u00a0Time<\/th>\r\n<th class=\"th\">Session<\/th>\r\n<th class=\"th\">Speaker<\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">\r\n<div class=\"msr-table-schedule-cell\">8:45 \u2013 9:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Opening Remarks<\/div><\/td>\r\n<td>Ashish Kapoor<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">\r\n<div class=\"msr-table-schedule-cell\">9:00 \u2013 9:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Driver Adaptation to Increasingly Autonomous Systems<\/div><\/td>\r\n<td>Linda Ng Boyle<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">9:30\u00a0\u2013 10:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Dependable Computer Vision for Autonomous Systems<\/div><\/td>\r\n<td>Martial Hebert<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">10:00\u00a0\u2013 10:30<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Intelligent Vehicles that (Fore) See<\/div><\/td>\r\n<td>Dariu Gavrila<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">\r\n<div class=\"msr-table-schedule-cell\">10:30\u00a0\u2013 11:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Break (Poster session in parallel)<\/div><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">\r\n<div class=\"msr-table-schedule-cell\">11:00\u00a0\u2013 11:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Real-time On-board Localization and Planning for Small UAVs<\/div><\/td>\r\n<td>Roland Siegwart<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">11:30 \u2013 12:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Representations vs. Algorithms: Higher Level Autonomy in Populated Environments<\/div><\/td>\r\n<td>Nicholas Roy<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">12:00 \u2013 12:30<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Fast Safe Perception Planning and Control<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Debadeepta Dey<\/div><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">12:30 \u2013 1:30<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Lunch (Poster session in parallel)<\/div><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">1:30 \u2013 2:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Safe Learning in Robotics<\/div><\/td>\r\n<td>Claire Tomlin<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">2:00\u00a0\u2013 2:30<\/td>\r\n<td>Quantitative Policies over Streaming Data<\/td>\r\n<td>Rajeev Alur<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">2:30\u00a0\u2013 3:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Models and Verification Tools for Cyber-Physical Systems<\/div><\/td>\r\n<td>Rupak Majumdar<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">3:00 \u2013 3:30<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Break (Poster session in parallel)<\/div><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">3:30 \u2013 4:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Robot Influence on Human Actions<\/div><\/td>\r\n<td>Anca Dragan<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">4:00 \u2013 4:30<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Closing Plenary: Reflections on Safety in AI Systems<\/div><\/td>\r\n<td>Eric Horvitz<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">4:30 \u2013 5:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Closing Remarks and Discussion<\/div><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n&nbsp;"},{"id":2,"name":"Posters","content":"<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Title<\/th>\r\n<th class=\"th\">Author<\/th>\r\n<th class=\"th\">Association<\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">\r\n<div class=\"msr-table-schedule-cell\">Planning for Autonomous Cars that Leverages Effects on Human Actions<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Dorsa Sadigh et al.<\/div><\/td>\r\n<td>University of California, Berkeley<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Compositional Reactive Synthesis for Multi-Agent Systems<\/td>\r\n<td>Solar Moarref<\/td>\r\n<td>University of Pennsylvania<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Decoupling Light Reflex from Pupillary Dilation, to Measure Emotional Arousal in Videos<\/td>\r\n<td>Pallavi Raiturkar<\/td>\r\n<td>University of Florida<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Probabilistic Shared Control for Maximizing Automation Success and Safety<\/td>\r\n<td>Parkar Owan<\/td>\r\n<td>University of Washington<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Building a system for interacting with swarms of robots<\/td>\r\n<td>Ivan Gavran<\/td>\r\n<td>Max-Planck Institute for Software Systems<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Exploring Motion Features for Off-Road Pedestrian Detection<\/td>\r\n<td>Benzun Babu<\/td>\r\n<td>Worcester Polytechnic Institute<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Pre-Capture Privacy Sensors for Computer Vision<\/td>\r\n<td>Francesco Pittaluga<\/td>\r\n<td>University of Florida<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">PLATO: Policy Learning using Adaptive Trajectory Optimization<\/td>\r\n<td>Tianhao Zhang<\/td>\r\n<td>University of California, Berkeley<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Learning to Gather Information<\/td>\r\n<td>Sanjiban Choudhury et al.<\/td>\r\n<td>Microsoft Research<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Re-planning without Regret: Optimism-Driven Re-planning in Uncertain Environments<\/td>\r\n<td>Wen Sun et al.<\/td>\r\n<td>Microsoft Research<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Actor Modules for Safe Asynchrony<\/td>\r\n<td>Ankush Desai et al.<\/td>\r\n<td>Microsoft Research<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-3\">Continuous-time Safety Certificates under Uncertainty<\/td>\r\n<td>Brian Axelrod et al.<\/td>\r\n<td>Microsoft Research<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>"}],"msr_startdate":"2016-07-15","msr_enddate":"","msr_event_time":"8:30 AM to 5:00 PM","msr_location":"Redmond, WA, USA","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"July 15, 2016","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"<img width=\"960\" height=\"198\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/09\/autodronepano_AH.jpg\" class=\"img-object-cover\" alt=\"autonomous cyber physical systems workshop\" decoding=\"async\" loading=\"lazy\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/09\/autodronepano_AH.jpg 1920w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/09\/autodronepano_AH-300x62.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/09\/autodronepano_AH-768x158.jpg 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/09\/autodronepano_AH-1024x211.jpg 1024w\" sizes=\"(max-width: 960px) 100vw, 960px\" \/>","event_excerpt":"This workshop brought together experts in the areas of machine learning, vision, planning, programming languages and verification to discuss the latest advances with the aim of catalyzing a joint effort between academia and industry with the goal of advancing Safety in Autonomous Cyber Physical Systems. The daylong workshop consisted of invited talks, discussions, and demos as part of the Microsoft Faculty Summit 2016.","msr_research_lab":[199565],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/295706"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":0,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/295706\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/295721"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=295706"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=295706"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=295706"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=295706"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=295706"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=295706"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=295706"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=295706"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=295706"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}