Dieky Adzkiya

צוטט על ידי

	הכל	מאז 2019
ציטוטים ביבליוגרפיים	765	587
H-index	15	13
i10-index	28	21

140

105

201120122013201420152016201720182019202020212022202320242 2 15 7 17 23 51 49 63 90 91 122 135 81

גישה ציבורית

הצג הכל

12 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Alessandro AbateProfessor of Verification and Control, University of Oxford, UKכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
TEGUH HERLAMBANGUniversitas Nahdlatul Ulama Surabayaכתובת אימייל מאומתת בדומיין unusa.ac.id
Didik Khusnul ArifInstitut Teknologi Sepuluh Nopemberכתובת אימייל מאומתת בדומיין matematika.its.ac.id
Hendro NurhadiDepartment of Industrial Mechanical Engineering, Institut Teknologi Sepuluh Nopemberכתובת אימייל מאומתת בדומיין me.its.ac.id
TAHIYATUL ASFIHANIDepartment of Mathematics, Institut Teknologi Sepuluh Nopemberכתובת אימייל מאומתת בדומיין matematika.its.ac.id
Erna AprilianiLecturer of Mathematics Department , Institut Teknologi Sepuluh Nopemberכתובת אימייל מאומתת בדומיין matematika.its.ac.id
Basuki WidodoDepartment of Mathematics, Institut Teknologi Sepuluh Nopemberכתובת אימייל מאומתת בדומיין matematika.its.ac.id
Bart De Schutterfull professor & head of department, Delft Center for Systems and Controlכתובת אימייל מאומתת בדומיין tudelft.nl
Muhammad Syifa'ul MufidInstitut Teknologi Sepuluh Nopember Surabayaכתובת אימייל מאומתת בדומיין matematika.its.ac.id
Imam MukhlashDepartment of Mathematics Institut Teknologi Sepuluh Nopember Surabayaכתובת אימייל מאומתת בדומיין matematika.its.ac.id
Dinita RahmaliaUniversitas Islam Darul Ulum Lamonganכתובת אימייל מאומתת בדומיין unisda.ac.id
Subchan SubchanDepartment of Mathematics, Institut Teknologi Sepuluh Nopemberכתובת אימייל מאומתת בדומיין matematika.its.ac.id
Mohammad Isa IrawanDept.of Mathematics, Institut Teknologi Sepuluh Nopember (ITS)כתובת אימייל מאומתת בדומיין its.ac.id
Helisyah Nur FadhilahTelkom Universityכתובת אימייל מאומתת בדומיין telkomuniversity.ac.id
Guisheng ZhaiProfessor of Mathematical Sciences, Shibaura Institute of Technologyכתובת אימייל מאומתת בדומיין shibaura-it.ac.jp
Sadegh SoudjaniMax Planck Institute for Software Systemsכתובת אימייל מאומתת בדומיין mpi-sws.org
Heri PurnawanInstitut Teknologi Sepuluh Nopember and Universitas Islam Lamonganכתובת אימייל מאומתת בדומיין unisla.ac.id
Manuel Mazo Jr.Associate Professor at TU Delftכתובת אימייל מאומתת בדומיין tudelft.nl
Lei BuNanjing Universityכתובת אימייל מאומתת בדומיין nju.edu.cn
Lutfi MardiantoInstitut Teknologi Sumateraכתובת אימייל מאומתת בדומיין ma.itera.ac.id

עקוב אחר

Dieky Adzkiya

Department of Mathematics, Institut Teknologi Sepuluh Nopember

כתובת אימייל מאומתת בדומיין matematika.its.ac.id - דף הבית

Max-Plus Algebra Formal Verification


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Computational techniques for reachability analysis of max-plus-linear systems‏ D Adzkiya, B De Schutter, A Abate‏ Automatica 53, 293-302, 2015‏	50	2015
Finite abstractions of max-plus-linear systems‏ D Adzkiya, B De Schutter, A Abate‏ IEEE Transactions on Automatic Control 58 (12), 3039-3053, 2013‏	37	2013
Position estimation of Touristant ASV using ensemble Kalman filter‏ H Nurhadi, T Herlambang, D Adzkiya‏ AIP Conference Proceedings 2187 (1), 2019‏	26	2019
Model reduction of unstable systems using balanced truncation method and its application to shallow water equations‏ K Mustaqim, DK Arif, E Apriliani, D Adzkiya‏ Journal of Physics: Conference Series 855 (1), 012029, 2017‏	24	2017
Membangun model petri net lampu lalu lintas dan simulasinya‏ D Adzkiya‏ Institut Teknologi Sepuluh Nopember, 2008‏	24	2008
Backward reachability of autonomous max-plus-linear systems‏ D Adzkiya, B De Schutter, A Abate‏ International Workshop on Discrete Event Systems, 117-122, 2014‏	20	2014
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems‏ D Adzkiya, Y Zhang, A Abate‏ Discrete Event Dynamic Systems 26 (1), 109-145, 2016‏	19	2016
Snakes and ghosts in a parity-time-symmetric chain of dimers‏ H Susanto, R Kusdiantara, N Li, OB Kirikchi, D Adzkiya, ERM Putri, ...‏ Physical Review E 97 (6), 062204, 2018‏	18	2018
Formal verification of stochastic max-plus-linear systems‏ SEZ Soudjani, D Adzkiya, A Abate‏ IEEE Transactions on Automatic Control 61 (10), 2861-2876, 2015‏	18	2015
The Groundwater Pollution Estimation by The Ensemble Kalman Filter‏ E Apriliani, BA Sanjoyo, D Adzkiya‏ Canadian Journal on Science and Engineering Mathematics 2 (2), 60-63, 2011‏	17	2011
The Analysis of Demand and Supply of Blood in Hospital in Surabaya City Using Panel Data Regression‏ A Muhith, IH Susanto, D Rahmalia, D Adzkiya, T Herlambang‏ Nonlinear Dynamics and System Theory 22 (5), 550-560, 2022‏	16	2022
Estimation of Closed Hotels and Restaurants in Jakarta as Impact of Corona Virus Disease (Covid-19) Spread Using Backpropagation Neural Network‏ FA Susanto, MY Anshori, D Rahmalia, K Oktafianto, D Adzkiya, P Katias, ...‏ Nonlinear Dynamics and Systems Theory: An International Journal of Research …, 2022‏	16	2022
Sliding mode control design for autonomous surface vehicle motion under the influence of environmental factor‏ H Nurhadi, E Apriliani, T Herlambang, D Adzkiya‏ International Journal of Electrical and Computer Engineering (IJECE) 10 (5 …, 2020‏	15	2020
Trajectory estimation of autonomous surface vehicle using square root ensemble Kalman Filter‏ H Nurhadi, T Herlambang, D Adzkiya‏ 2019 International Conference on Advanced Mechatronics, Intelligent …, 2019‏	15	2019
Model reduction of non-minimal discrete-time linear-time-invariant systems‏ DK Arif, D Adzkiya, E Apriliani, IN Khasanah‏ Malaysian Journal of Mathematical Sciences 11 (3), 377-391, 2017‏	15	2017
VeriSiMPL: Verification via biSimulations of MPL models‏ D Adzkiya, A Abate‏ International Conference on Quantitative Evaluation of Systems, 274-277, 2013‏	15	2013
Optimization of linear quadratic regulator with tracking applied to autonomous underwater vehicle (AUV) using cuckoo search‏ T Herlambang, D Rahmalia, H Nurhadi, D Adzkiya‏ Nonlinear Dynamics and Systems Theory: An International Journal of Research …, 2020‏	14	2020
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‏	14	2019
Symbolic abstractions for the scheduling of event-triggered control systems‏ AS Kolarijani, D Adzkiya, M Mazo‏ 2015 54th IEEE Conference on Decision and Control (CDC), 6153-6158, 2015‏	14	2015
Forward reachability computation for autonomous max-plus-linear systems‏ D Adzkiya, B De Schutter, A Abate‏ Tools and Algorithms for the Construction and Analysis of Systems, 248-262, 2014‏	14	2014

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים