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.

[img] Text
06111650010014-Master_Thesis.pdf - Published Version
Restricted to Repository staff only

Download (918kB) | Request a copy

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)
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 and Science > Mathematics > (S2) Master Theses
Depositing User: Pratama Aditya Putra
Date Deposited: 19 Apr 2018 04:49
Last Modified: 19 Apr 2018 04:49
URI: http://repository.its.ac.id/id/eprint/50957

Actions (login required)

View Item View Item