Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api

Indonesia

Authors

  • Aditya Putra Pratama Institut Teknologi Kalimantan
  • Nurul Fuady Adhalia H Institut Teknologi Bacharuddin Jusuf Habibie

DOI:

https://doi.org/10.30605/proximal.v6i2.2447

Keywords:

Aljabar max-plus, analisis reachability, sistem transisi, sistem uncertain max-plus linear, verifikasi keamanan

Abstract

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.

Downloads

Download data is not yet available.

References

1. Adzkiya, D., Zhang, Y. dan Abate, A.: VeriSiMPL 2: An Open-Source Software for the Verification of Max-Plus-Linear Systems. Discrete Event Dynamic Systems, 2015, manuscript.
2. Candido, R. M. F., Hardouin, L., Lhommeau, M. dan Mendes, R. S. 2017.Conditional Reachability Of Uncertain Max Plus Linear Systems.
3. Heemels, W.P., De Schutter, B. and Bemporad, A., 2001. Equivalence of hybrid dynamical models. Automatica, 37(7), pp.1085-1091.
4. Necoara, I., Kerrigan, E.C., De Schutter, B., and Van den Boom, T.J.J.,2006.Worst-case optimal control of uncertain max-plus-linear systems. Proceedings of the 45th IEEE Conference on Decision and Control, San Diego, California, pp. 60556060, Dec. 2006
5. Pratama, A.P., Subchan, S. and Adzkiya, D., 2018. Safety Verification of Uncertain Max-Plus-Linear Systems. (IJCSAM) International Journal of Computing Science and Applied Mathematics, 4(2), pp.52-55.
6. Van den Boom, T., dan De Schutter,B., A stablizing model predictive controller for uncertain max-plus-linear systems and uncertain switching max-plus linear systems, Proceedings of the 18th IFAC World Congress, Milan, Italy, pp. 8663-8668, 2011. DOI: 10.3182/20110828-6-IT-1002.00872

Downloads

Published

2023-05-13

How to Cite

Aditya Putra Pratama, & Adhalia H, N. F. . (2023). Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia. Proximal: Jurnal Penelitian Matematika Dan Pendidikan Matematika, 6(2), 1–11. https://doi.org/10.30605/proximal.v6i2.2447

Issue

Vol. 6 No. 2 (2023): Matematika dan Pendidikan Matematika: Permasalahan dan Solusinya

Section

Articles

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:

  1. 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.
  2. 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.
  3. 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.