[logic-ml] 【中止, cancelled】Re: Talk by Prof. Georgios Fainekos (June 21st, 13:00-)

[Kohei SUENAGA]

皆様，

昨日アナウンスしました下記のセミナーですが，
都合によりキャンセルさせていただくことになりました．
申し訳ないのですが，よろしくお願いいたします．

末永
2018年6月17日(日) 11:27 Kohei SUENAGA <ksuenaga at gmail.com>:
>
> 皆様，
>
> ロボットのパスプランニングの研究に関する講演会を
> 6月21日の13:00より，京都大学吉田キャンパス
> 総合研究7号館1F講義室3で開催します．
> 話者のGeorgios Fainekosさんは，時相論理式で記述された
> システムの仕様をチェックするツールS-TaLiRoで有名な方です．
> どうぞご参加ください．
>
> Prof. Georgios Fainekos is giving a talk about path planning in robotics
> on June 21st from 13:00-- at the lecture room 3 in
> Research Building 7 (Sogo-Kenkyu 7 gou kan) in
> Yoshida campus of Kyoto University.
> Georgios is famous for the work on a tool S-TaLiRo,
> a checker of a system specification written in an extension of
> temporal logic called metric temporal logic.
> Looking forward to your participation!
>
> Kohei
>
> --
> Title:
> Temporal Logic Planning for Mobile Robots: What happens when missions
> cannot be satisfied?
>
> Abstract:
> Temporal logic planning methods have provided a viable path towards
> solving the single- and multi-robot path planning, control and
> coordination problems from high level formal requirements. In the
> existing frameworks, the prevalent assumptions are (1) that a plan
> always exists which satisfies the mission requirements, and (2) that
> there is a single stakeholder with full or partial knowledge of the
> environment that the robots operate in. In addition, it is typically
> assumed that the requirements themselves are fixed and do not change
> over time. However, any of these assumptions may not be valid in both
> off-line and on-line temporal logic planning problems. That is,
> multiple stakeholders and inaccurate sources of information may
> produce unsatisfiable missions or self-contradictory models of the
> world or the system. Classical temporal logic planning methods cannot
> handle non-consistent model environments or missions even though such
> inconsistencies may not affect the planning problem. In this talk, we
> present how the user feedback problem for unsatisfiable missions can
> be reduced to searching for an optimal weighted path on a graph.
> Albeit the general search problem is NP-complete, the graph
> formulation of the problem opens-up the possibility for the
> development of efficient approximation algorithms. We present a number
> of heuristics for quickly computing such user feedback and we present
> experimental results on the performance and scalability of our
> solutions. Finally, we show how inconsistencies and conflicts in the
> mission requirements and the model of the world can be circumvented by
> utilizing multi-valued temporal logics and system models.
>
> Bio:
> 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/UCR
> 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 (NTUA). Before joining ASU, he
> held a Postdoctoral Researcher position at NEC Laboratories America in
> the System Analysis & Verification Group. His expertise is on logic,
> formal verification, testing, control theory, artificial intelligence,
> and optimization. His research has applications to automotive systems,
> medical devices, autonomous (ground and aerial) vehicles, and
> human-robot interaction (HRI). In 2013, Dr. Fainekos received the NSF
> CAREER award and the ASU SCIDSE Best Researcher Junior Faculty Award.
> He is also recipient of the 2008 Frank Anger Memorial ACM
> SIGBED/SIGSOFT Student Award. His software toolbox, S-TaLiRo, for
> testing and monitoring of CPS has been nominated twice as a
> technological breakthrough by the industry. In 2016, Dr. Fainekos was
> the program co-Chair for the ACM International Conference on Hybrid
> Systems: Computation and Control (HSCC).
>
> --
> Kohei Suenaga (末永幸平), Ph.D
> Associate professor (准教授)
> Graduate School of Informatics, Kyoto University
> (京都大学情報学研究科)
> ksuenaga at gmail.com
> http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/



-- 
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
ksuenaga at gmail.com
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/