<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>