Pratama, Aditya Putra
(2018)
*Abstraksi berhingga sistem uncertain-max-plus-linear.*
Masters thesis, Institut Teknologi Sepuluh Nopember.

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: | 25 Apr 2024 08:47 |

URI: | http://repository.its.ac.id/id/eprint/50957 |

## Actions (login required)

View Item |