Article Per Year (5 Year)
p-Index From 2019 - 2024
0
P-Index
This Author published in this journals
All Journal International Journal of Computing Science and Applied Mathematics
Aditya Putra Pratama
Department of Mathematics, Institut Teknologi Sepuluh Nopember
Computer Science & IT Education Mathematics

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
Safety Verification of Uncertain Max-Plus-Linear Systems Aditya Putra Pratama; Subchan Subchan; Dieky Adzkiya
(IJCSAM) International Journal of Computing Science and Applied Mathematics Vol 4, No 2 (2018)
Publisher : Institut Teknologi Sepuluh Nopember

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (151.361 KB) | DOI: 10.12962/j24775401.v4i2.3454

Abstract

In this work, we discussed the verification of autonomous uncertain Max-Plus-Linear (uncertain MPL) systems with respect to safety property by using the reachability analysis approach. More precisely, given an uncertain MPL system, a nonempty set of initial conditions, a time horizon and an unsafe set, we want to determine whether the state can reach the unsafe set within the given time horizon. If the unsafe set is reachable, then the system is not safe. Otherwise, the system is safe. Our approach uses the piecewise affine representation of MPL systems to compute the reachable sets exactly.
Co-Authors Dieky Adzkiya Subchan Subchan