<div dir="ltr">Dear all (apologies for multiple copies),<br><br>Let me advertise a talk by Georgios Fainekos on 30th June, 15:00-. <br>Please find the 
title and the abstract below. You are all invited.<br><br>Sincerely,<br>--<br>Natsuki Urabe<br><a href="mailto:urabenatsuki@is.s.u-tokyo.ac.jp" target="_blank">urabenatsuki@is.s.u-tokyo.ac.j<wbr>p</a><br>The University of Tokyo<br><br>----------<br><a href="https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTpXDeA/edit?usp=sharing" target="_blank">https://docs.google.com/docume<wbr>nt/d/1Qrg4c8XDkbO3tmns6tQwxn5l<wbr>GHOrBON5LtHXXTpXDeA/edit?usp=s<wbr>haring</a><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:14pt;font-family:Arial;color:rgb(0,0,0);background-color:rgb(255,255,255);font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">Fri 30 June 2017, 15:00–17:00</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:8pt;font-family:Arial;color:rgb(0,0,0);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">NII meeting room 2010</span><span style="font-size:8pt;font-family:Arial;color:rgb(0,0,0);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline"><br class="gmail-m_2820439038257152460gmail-kix-line-break"></span><a href="https://www.nii.ac.jp/en/about/access/" style="text-decoration:none" target="_blank"><span style="font-size:8pt;font-family:Arial;color:rgb(17,85,204);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline">https://www.nii.ac.jp/en/<wbr>about/access/</span></a><span style="font-size:8pt;font-family:Arial;color:rgb(0,0,0);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline"> </span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"> </p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="http://www.public.asu.edu/%7Egfaineko/" style="text-decoration:none" target="_blank"><span style="font-size:11pt;font-family:Arial;color:rgb(17,85,204);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline">Georgios Fainekos</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline"> (Arizona State University), </span><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:rgb(255,255,255);font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline"> Beyond Requirements Falsification : Semi-formal methods and tools for the analysis of Cyber-Physical Systems</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:9pt;font-family:Arial;color:rgb(102,102,102);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">Correct-by-design
 synthesis methods for Cyber-Physical Systems (CPS) are still in their 
infancy for CPS with complex physical dynamics. For that reason, a 
combination of design theories for simpler systems and/or ad-hoc design 
approaches are utilized. Hence, numerous design and implementation 
errors are discovered while CPS are operational in the field. Such 
errors can have catastrophic effects to human life and to the economy. 
Over the last few years, requirements guided falsification methods have 
proven to be a practical approach to the verification problem of 
industrial size CPS. However, requirements falsification is just one 
component of the necessary tools for the development of safe and 
reliable CPS. In this talk, we provide an overview of our research in 
providing support for all the stages of the development for CPS, from 
formal requirements elicitation and mining to system conformance to 
on-line monitoring. Most of our methods have been implemented in a 
Matlab (TM) toolbox called S-TaLiRo (System's TemporAl LogIc 
Robustness). Finally, in this talk, we demonstrate that S-TaLiRo can 
provide answers to challenge problems from the automotive industry.</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"> </p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:9pt;font-family:Arial;color:rgb(102,102,102);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">Bio:</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:9pt;font-family:Arial;color:rgb(102,102,102);background-color:rgb(255,255,255);font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">Georgios
 Fainekos is an Associate Professor at the School of Computing, 
Informatics and Decision Systems Engineering (SCIDSE) at Arizona State 
University (ASU). He is director of the Cyber-Physical Systems (CPS) Lab
 and he is currently affiliated with the NSF I/UCRC Center for Embedded 
Systems (CES) at ASU. He received his Ph.D. in Computer and Information 
Science from the University of Pennsylvania in 2008 where he was 
affiliated with the GRASP laboratory. He holds a Diploma degree (B.Sc. 
& M.Sc.) in Mechanical Engineering from the National Technical 
University of Athens and an M.Sc. degree in Computer and Information 
Science from the University of Pennsylvania. Before joining ASU, he held
 a Postdoctoral Researcher position at NEC Laboratories America in the 
System Analysis & Verification Group. He is currently working on 
Cyber-Physical Systems (CPS) and robotics. In particular, his expertise 
is on formal methods, logic, control theory, artificial intelligence, 
and optimization. His research has applications to automotive systems, 
medical devices, autonomous (ground and aerial) robots and human-robot 
interaction (HRI). In 2013, Dr. Fainekos received the NSF CAREER award. 
He was also recipient of the SCIDSE Best Researcher Junior Faculty award
 for 2013 and of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT 
Student Award. Two of his conference papers have been nominated for 
student best paper awards. In 2016, Dr. Fainekos was the program 
co-Chair for the ACM International Conference on Hybrid Systems: 
Computation and Control.</span></p></div>