Finite Abstractions of uncertain Max-Plus-Linear Systems

Pratama, Aditya Putra (2018) Finite Abstractions of uncertain Max-Plus-Linear Systems. Masters thesis, Institut Teknologi Sepuluh Nopember.

[thumbnail of 06111650010014-Master_Thesis.pdf]
Preview
Text
06111650010014-Master_Thesis.pdf - Accepted Version

Download (918kB) | Preview

Abstract

The uncertain Max-Plus-Linear (uMPL) Systems are a MPL system where the element of state matrix is non-deterministic and each entry of the matrix belongs to an interval. Analysis of uMPL Systems can be done by verification using model checking methods. We can verify the uMPL system using model checking methods automatically using software if its state is finite. Because of the state in uMPL Systems is infinite, we apply the finite abstraction to this system. The finite abstraction changes the infinite state to the finite state. After we do the abstraction, in this work we have an abstract system (abstract transition system) then we verify the abstract system. The specifications used to verify the uMPL Systems are Linear Temporal Logic (LTL) formula. ========== The uncertain Max-Plus-Linear (uMPL) Systems are a MPL system where
the element of state matrix is non-deterministic and each entry of the matrix
belongs to an interval. Analysis of uMPL Systems can be done by verification
using model checking methods. We can verify the uMPL system using model
checking methods automatically using software if its state is finite. Because of
the state in uMPL Systems is infinite, we apply the finite abstraction to this
system. The finite abstraction changes the infinite state to the finite state.
After we do the abstraction, in this work we have an abstract system (abstract
transition system) then we verify the abstract system. The specifications used
to verify the uMPL Systems are Linear Temporal Logic (LTL) formula

Item Type: Thesis (Masters)
Additional Information: RTMa 516.1 Pra a
Uncontrolled Keywords: Max-Plus Algebra; Model Abstractions; Model Checking; Uncertain Systems; Transition Systems; LTL Specifications
Subjects: Q Science > QA Mathematics
Q Science > QA Mathematics > QA184 Algebra, Linear
Q Science > QA Mathematics > QA402 System analysis.
Q Science > QA Mathematics > QA75 Electronic computers. Computer science. EDP
Divisions: Faculty of Mathematics, Computation, and Data Science > Mathematics > 44101-(S2) Master Thesis
Depositing User: Pratama Aditya Putra
Date Deposited: 19 Apr 2018 04:49
Last Modified: 10 Sep 2020 07:29
URI: http://repository.its.ac.id/id/eprint/50957

Actions (login required)

View Item View Item