Agenda

A Symbolic Approach for Reachability Analysis of Max-Plus Linear System

Rab, 27 Mei 2020
11:52 am
Agenda
Share :
Oleh : Admin-Matematika   |

Departemen matematika akan meyelenggarakan webinar dengan tema A Symbolic Approach for Reachability Analysis of Max-Plus Linear System, kegiatan ini akan dilaksanakan pada hari Rabu, 3 Juni 2020 Pukul 10.00-12.00 WIB. Pemateri Muhammad Syifa’ul Mufid, M.Si alumni Matematika ITS angkatan 2008 dan sedang menempuh doctoral di University of Oxford, UK

Link Zoom: https://zoom.us/j/93338767900

Abstract: This work discusses the reachability analysis (RA) of Max-Plus Linear (MPL) systems, a class of continuous-space, discrete-event models defined over the max-plus algebra. Given the initial and target sets, we develop algorithms to verify whether there exist trajectories of the MPL system that, starting from the initial set, eventually reach the target set. We show that RA can be solved symbolically by encoding the MPL system, as well as initial and target sets into difference logic, and then checking the satisfaction of the resulting logical formula via an off-the-shelf satisfiability modulo theories (SMT) solver. The performance and scalability of the developed SMT-based algorithms are shown to clearly outperform state-of-the-art RA algorithms for MPL systems, newly allowing to investigate RA of high-dimensional MPL systems.

 

Latest Agenda

  • Conic Optimization for Drone-Ship Routing Problem - 24 Nov

    Departemen Matematika akan menyelenggarakan International Guest Lecture dengan tema Conic Optimization for Drone-Ship Routing Problem yang akan disampaikan oleh Prof. Makoto

    22 Nov 2022
  • Design for Lyapunov Stability and Stabilization of Control Systems - 28 Nov

    Departemen matematika akan melaksanaka kuliah tamu dengan tema Design for Lyapunov Stability and Stabilization of Control Systems yang akan

    14 Nov 2022
  • International Guest Lecture Two generalizations of groups: hypergroups and n-groups - 07 Nov

    Departemen Matematika akan menyelenggarakan International Guest Lecture dengan tema Two generalizations of groups: hypergroups and n-groups yang akan disampaikan

    31 Okt 2022