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

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 |