E-LIB Suche - Ergebnisse für: Mufid, Muhammad Syifa'Ul

1

Control design of discrete-time unicycle model using satisf..:

Adzkiya, Dieky ; Mufid, Muhammad Syifa'ul ; Saputri, Febrianti Silviana.
Systems Science & Control Engineering. 12 (2024) 1 - p. , 2024

Link: https://doi.org/10.1080/..

2

Estimating the Values of Malaria Spread Model Using the Ens..:

, In: 2023 1st International Conference on Advanced Engineering and Technologies (ICONNIC),

Safitria, Rina ; Arif, Didik Khusnul ; Fatmawati. - p. 328-333 , 2023

Link: https://doi.org/10.1109/..

3

Control Design of Autonomous Cars Using Satisfiability Modu..:

, In: 2023 International Conference on Advanced Mechatronics, Intelligent Manufacture and Industrial Automation (ICAMIMIA),

Hidayati, Megasepti Nur ; Saputri, Febrianti Silviana ; Mufid, Muhammad Syifa'Ul. - p. 679-684 , 2023

Link: https://doi.org/10.1109/..

4

Computation of the Transient in Max-Plus Linear Systems via..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Abate, Alessandro ; Cimatti, Alessandro ; Micheli, Andrea. - p. 161-177 , 2020

Link: https://doi.org/10.1007/..

5

Tropical Abstractions of Max-Plus Linear Systems:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Mufid, Muhammad Syifa'ul ; Adzkiya, Dieky ; Abate, Alessandro - p. 271-287 , 2018

Link: https://doi.org/10.1007/..

6

Eigenproblems of latin squares in bipartite (min,max,+)-sys..:

Subiono, ᅟ ; Mufid, Muhammad Syifa'ul ; Adzkiya, Dieky
Discrete Event Dynamic Systems. 26 (2014) 4 - p. 657-668 , 2014

Link: https://doi.org/10.1007/..

7

Solving Linear Equations Over Maxmin-ω Systems:

Syifa'ul Mufid, Muhammad ; Patel, Ebrahim ; Sergeev, Sergeĭ
Linear Algebra and its Applications. , 2023

Link: https://doi.org/10.1016/..

8

Bounded Model Checking of Max-Plus Linear Systems via Predi..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Syifa'ul Mufid, Muhammad ; Adzkiya, Dieky ; Abate, Alessandro - p. 142-159 , 2019

Link: https://doi.org/10.1007/..

9

Solving Linear Equations Over Maxmin-$\omega$ Systems:

Mufid, Muhammad Syifa'ul ; Patel, Ebrahim ; Sergeev, Sergei
http://arxiv.org/abs/2308.00690. , 2023

Link: http://arxiv.org/abs/230..

10

Peningkatan Kompetensi Guru dan Siswa SMAN 1 Kraksaan dan S..:

Fahim, Kistosil ; Subiono ; Imron, Chairul...
https://journal.its.ac.id/index.php/sewagati/article/view/897/837. , 2023

Link: https://journal.its.ac.i..

11

Formal Analysis and Verification of Max-Plus Linear Systems:

Mufid, Muhammad Syifa'ul ; Micheli, Andrea ; Abate, Alessandro.
http://arxiv.org/abs/2308.10587. , 2023

Link: http://arxiv.org/abs/230..

12

SMT-Based Model Checking of Max-Plus Linear Systems:

Mufid, Muhammad Syifa'ul ; Micheli, Andrea ; Abate, Alessandro.
doi:10.4230/LIPIcs.CONCUR.2021.22. , 2021

Link: https://doi.org/10.4230/..

13

Computation of the Transient in Max-Plus Linear Systems via..:

Abate, Alessandro ; Cimatti, Alessandro ; Micheli, Andrea.
http://arxiv.org/abs/2007.00505. , 2020

Link: http://arxiv.org/abs/200..

14

Symbolic Reachability Analysis of High Dimensional Max-Plus..:

Mufid, Muhammad Syifa'ul ; Adzkiya, Dieky ; Abate, Alessandro
http://arxiv.org/abs/2007.04510. , 2020

Link: http://arxiv.org/abs/200..

15

Bounded Model Checking of Max-Plus Linear Systems via Predi..:

Mufid, Muhammad Syifa'ul ; Adzkiya, Dieky ; Abate, Alessandro
http://arxiv.org/abs/1907.03564. , 2019

Link: http://arxiv.org/abs/190..