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 |