Ikuti
Muhammad Syifa'ul Mufid
Judul
Dikutip oleh
Dikutip oleh
Tahun
ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics
G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ...
EasyChair, 2019
122019
Bounded model checking of max-plus linear systems via predicate abstractions
M Syifa’ul Mufid, D Adzkiya, A Abate
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
72019
Tropical abstractions of max-plus linear systems
MS Mufid, D Adzkiya, A Abate
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
62018
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
L Bu, A Abate, D Adzkiya, MSU Mufid, R Ray, Y Wu, E Zaffanella
ARCH, 1-15, 2020
42020
Computation of the transient in max-plus linear systems via SMT-solving
A Abate, A Cimatti, A Micheli, MS Mufid
Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020
42020
Eigenvalues and eigenvectors of latin squares in max-plus algebra
MS Mufid
Journal of the Indonesian Mathematical Society, 37-45, 2014
42014
Smt-based reachability analysis of high dimensional interval max-plus linear systems
MS Mufid, D Adzkiya, A Abate
IEEE Transactions on Automatic Control 67 (6), 2700-2714, 2021
22021
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems
MS Mufid, D Adzkiya, A Abate
IFAC-PapersOnLine 53 (4), 459-465, 2020
22020
Eigenproblems of latin squares in bipartite (min,max,+)-systems
Subiono, MS Mufid, D Adzkia
Discrete Event Dynamic Systems 26 (4), 657–668, 2016
22016
On The Lagrange Interpolation of Fibonacci Sequence
MS Mufid, T Asfihani, L Hanafi
(IJCSAM) International Journal of Computing Science and Applied Mathematics …, 2016
22016
SMT-based model checking of max-plus linear systems
MSU Mufid, A Micheli, A Abate, A Cimatti
Schloss Dagstuhl, 2021
12021
Eigenproblems of latin squares in bipartite (min, max, plus)-systems
Subiono, MS Mufid, D Adzkiya
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS 26 (4), 657-668, 2016
12016
Committees: 7th International Conference on Mathematics–Pure, Applied and Computation
MS Mufid, D Adzkiya
AIP Conference Proceedings 2641 (1), 010002, 2022
2022
Preface: 7th International Conference on Mathematics–Pure, Applied and Computation
MS Mufid, D Adzkiya
AIP Conference Proceedings 2641 (1), 010001, 2022
2022
Tropical Abstractions of Max-Plus-Linear Systems
M Syifa'ul Mufid, D Adzkiya, A Abate
arXiv e-prints, arXiv: 1806.04604, 2018
2018
Analytical solution approximation for bearing
L Hanafi, MS Mufid
AIP Conference Proceedings 1867 (1), 020041, 2017
2017
SMART GENERATIVE ALGORITHM (SMART GEN-A): 2D ARCHITECTURAL PHOTO CONVERTER TO BE THE DIGITAL 3D OBJECT
MS Mufid, YA Fredian, J Jayadi, N Qomariah
Journal of Architecture&ENVIRONMENT 10 (1), 27-37, 2011
2011
A Symbolic Approach for Reachability Analysis of Max-Plus Linear Systems
MS Mufid, D Adzkiya, A Abate
Feedback Exponential Stabilization of GHZ States of Multiqubit Systems........ W. Liang, NH Amini, and P. Mason 2918 Hybrid Feedback for Global Tracking on Matrix Lie Groups SO …
MS Mufid, D Adzkiya, A Abate, D Goswami, DA Paley, W Liu, DE Quevedo, ...
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
MS Mufid
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20