Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api
Indonesia
DOI:
https://doi.org/10.30605/proximal.v6i2.2447Keywords:
Aljabar max-plus, analisis reachability, sistem transisi, sistem uncertain max-plus linear, verifikasi keamananAbstract
Dalam penelitian ini dibahas mengenai cara untuk melakukan verifikasi terhadap sistem penjadwalan keberangkatan kereta api atas Aljabar Max-Plus berdasarkan suatu property keamanan yang akan diamati. Lebih khusus, sistem yang digunakan sebagai representasi dari sistem penjadwalan keberangkatan kereta api, yaitu: Sistem uncertain Max-Plus Linear (uMPL). Sistem uMPL tersebut dapat dikonstruksi berdasarkan graf berarah yang merepresentasikan jalur lintasan kereta api. Jika diberikan suatu Sistem uMPL autonomous yang merepresentasikan sistem penjadwalan keberangkatan kereta api, maka proses untuk melakukan verifikasi keamanan terhadap sistem tersebut berdasarkan property yang diberikan dapat dilakukan dengan menggunakan analisis reachability. Lebih lanjut, jika diberikan Sistem uMPL, suatu initial conditions yang tak kosong, time horizon, dan unsafe set, maka verifikasi keamanan terhadap Sistem uMPL dapat dilakukan dengan melihat apakah state dari sistem tersebut mampu mencapai unsafe set atau tidak. Jika state dari Sistem uMPL mampu mencapai unsafe set berdasarkan time horizon yang diberikan, maka Sistem uMPL tersebut tidak aman. Sebaliknya, jika state sistem tidak mampu mencapai unsafe set berdasarkan time horizon yang diberikan, maka sistem tersebut dikatakan aman.
References
Downloads
Published
Issue
Section
License
In submitting the manuscript to the journal, the authors certify that:
- They are authorized by their co-authors to enter into these arrangements.
- The work described has not been formally published before, except in the form of an abstract or as part of a published lecture, review, thesis, or overlay journal.
- That it is not under consideration for publication elsewhere,
- That its publication has been approved by all the author(s) and by the responsible authorities – tacitly or explicitly – of the institutes where the work has been carried out.
- They secure the right to reproduce any material that has already been published or copyrighted elsewhere.
- They agree to the following license and copyright agreement.
License and Copyright Agreement
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under Creative Commons Attribution License (CC BY 4.0) that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
